hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Effects.PureCoreEffs

Synopsis

Documentation

type PureCoreEffs = '[Reader LogConfig, Reader DBVersions, Reader DB, Error AppError, Embed IO] Source #

CoreEffs is one level below BaseAppEffs, and provides one possible | interpretation for its effects to IO.

data PureContext Source #

Context is the environment required to run CoreEffsPure to IO

runPureCoreEffs :: PureContext -> forall a. Sem PureCoreEffs a -> IO (Either AppError a) Source #

The standard interpeter for PureCoreEffs.