Documentation

type BaseAppEffs core = StoreEffs :& (BaseEffs :& core) Source #

defaultCompileToCore :: forall a. Sem (BaseAppEffs CoreEffs) a -> Sem CoreEffs a Source #

defaultCompileToPureCore :: forall a. Sem (BaseAppEffs PureCoreEffs) a -> Sem PureCoreEffs a Source #

module Tendermint.SDK.BaseApp.Effects.BaseEffs

module Tendermint.SDK.BaseApp.Effects.CoreEffs

module Tendermint.SDK.BaseApp.Effects.PureCoreEffs