| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tendermint.SDK.BaseApp.Store.Scope
Documentation
data ConnectionScope Source #
Instances
| (Members CoreEffs r, AuthTreeGetter s) => ResolveScope (s :: ConnectionScope) r Source # | |
Defined in Tendermint.SDK.BaseApp.CoreEff Methods resolveScope :: Sem (Tagged s RawStore ': r) a -> Sem r a Source # | |
type family ApplyScope (s :: ConnectionScope) (es :: EffectRow) :: EffectRow where ... Source #
Equations
| ApplyScope s (RawStore ': as) = Tagged s RawStore ': as | |
| ApplyScope s (a ': as) = a ': ApplyScope s as |
applyScope :: forall s r. forall a. Sem (RawStore ': r) a -> Sem (Tagged s RawStore ': r) a Source #
class ResolveScope s r where Source #
Methods
resolveScope :: Sem (Tagged s RawStore ': r) a -> Sem r a Source #
Instances
| (Members CoreEffs r, AuthTreeGetter s) => ResolveScope (s :: ConnectionScope) r Source # | |
Defined in Tendermint.SDK.BaseApp.CoreEff Methods resolveScope :: Sem (Tagged s RawStore ': r) a -> Sem r a Source # | |
data MergeScopes m a where Source #
Constructors
| MergeScopes :: MergeScopes m () |
Instances
| type DefiningModule (MergeScopes :: k -> Type -> Type) Source # | |
Defined in Tendermint.SDK.BaseApp.Store.Scope | |
mergeScopes :: forall r. MemberWithError MergeScopes r => Sem r () Source #