| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tendermint.SDK.BaseApp.Effects.PureCoreEffs
Synopsis
- type PureCoreEffs = '[Reader LogConfig, Reader DBVersions, Reader DB, Error AppError, Embed IO]
- data PureContext = PureContext {}
- pureContextLogConfig :: Lens' PureContext LogConfig
- pureContextVersions :: Lens' PureContext DBVersions
- pureContextDB :: Lens' PureContext DB
- makePureContext :: InitialLogNamespace -> IO PureContext
- runPureCoreEffs :: PureContext -> forall a. Sem PureCoreEffs a -> IO (Either AppError a)
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
Constructors
| PureContext | |
Fields | |
pureContextLogConfig :: Lens' PureContext LogConfig Source #
pureContextVersions :: Lens' PureContext DBVersions Source #
pureContextDB :: Lens' PureContext DB Source #
runPureCoreEffs :: PureContext -> forall a. Sem PureCoreEffs a -> IO (Either AppError a) Source #
The standard interpeter for PureCoreEffs.