hs-abci-sdk-0.1.0.0

Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.Application.Handlers

Documentation

type Handler mt r = Request mt -> Sem r (Response mt) Source #

data HandlersContext alg ms core Source #

Constructors

HandlersContext
Fields signatureAlgP :: Proxy alg modules :: ModuleList ms (Effs ms core) beginBlocker :: BeginBlock -> Sem (Effs ms core) () endBlocker :: EndBlock -> Sem (Effs ms core) EndBlockResult anteHandler :: AnteHandler (Effs ms core) compileToCore :: forall a. Sem (BaseAppEffs core) a -> Sem core a

makeApp :: forall alg ms core. RecoverableSignatureSchema alg => Message alg ~ Digest SHA256 => Member (Embed IO) core => ToApplication ms (Effs ms core) => HasTxRouter (ApplicationC ms) (Effs ms core) 'QueryAndMempool => HasTxRouter (ApplicationC ms) (BaseAppEffs core) 'QueryAndMempool => HasTxRouter (ApplicationD ms) (Effs ms core) 'Consensus => HasTxRouter (ApplicationD ms) (BaseAppEffs core) 'Consensus => HasQueryRouter (ApplicationQ ms) (Effs ms core) => HasQueryRouter (ApplicationQ ms) (BaseAppEffs core) => Eval ms core => HandlersContext alg ms core -> App (Sem core) Source #