| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tendermint.SDK.BaseApp.Effects.CoreEffs
Synopsis
- type CoreEffs = '[Reader LogConfig, Reader (Maybe PrometheusEnv), Reader IAVLVersions, Reader GrpcClient, Embed IO]
- data Context = Context {}
- contextLogConfig :: Lens' Context LogConfig
- contextPrometheusEnv :: Lens' Context (Maybe PrometheusEnv)
- contextVersions :: Lens' Context IAVLVersions
- contextGrpcClient :: Lens' Context GrpcClient
- makeContext :: InitialLogNamespace -> Maybe MetricsScrapingConfig -> IAVLVersions -> GrpcConfig -> IO Context
- runCoreEffs :: Context -> forall a. Sem CoreEffs a -> IO a
Documentation
type CoreEffs = '[Reader LogConfig, Reader (Maybe PrometheusEnv), Reader IAVLVersions, Reader GrpcClient, Embed IO] Source #
CoreEffs is one level below BaseAppEffs, and provides one possible | interpretation for its effects to IO.
Constructors
| Context | |
contextLogConfig :: Lens' Context LogConfig Source #
contextPrometheusEnv :: Lens' Context (Maybe PrometheusEnv) Source #
contextVersions :: Lens' Context IAVLVersions Source #
contextGrpcClient :: Lens' Context GrpcClient Source #
makeContext :: InitialLogNamespace -> Maybe MetricsScrapingConfig -> IAVLVersions -> GrpcConfig -> IO Context Source #