| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tendermint.SDK.BaseApp.CoreEff
Contents
Synopsis
- type CoreEffs = '[MergeScopes, Reader LogConfig, Reader (Maybe PrometheusEnv), Reader AuthTreeState, Embed IO]
- data Context = Context {}
- contextLogConfig :: Lens' Context LogConfig
- contextPrometheusEnv :: Lens' Context (Maybe PrometheusEnv)
- contextAuthTree :: Lens' Context AuthTreeState
- makeContext :: InitialLogNamespace -> Maybe MetricsScrapingConfig -> IO Context
- runCoreEffs :: Context -> forall a. Sem CoreEffs a -> IO a
Documentation
type CoreEffs = '[MergeScopes, Reader LogConfig, Reader (Maybe PrometheusEnv), Reader AuthTreeState, 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 #
contextAuthTree :: Lens' Context AuthTreeState Source #
runCoreEffs :: Context -> forall a. Sem CoreEffs a -> IO a Source #
The standard interpeter for CoreEffs.
Orphan instances
| (Members CoreEffs r, AuthTreeGetter s) => ResolveScope (s :: ConnectionScope) r Source # | |
Methods resolveScope :: Sem (Tagged s RawStore ': r) a -> Sem r a Source # | |
| Members CoreEffs r => Katip (Sem r) Source # | |
| Members CoreEffs r => KatipContext (Sem r) Source # | |
Methods getKatipContext :: Sem r LogContexts localKatipContext :: (LogContexts -> LogContexts) -> Sem r a -> Sem r a getKatipNamespace :: Sem r Namespace localKatipNamespace :: (Namespace -> Namespace) -> Sem r a -> Sem r a | |