hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Transaction.Checker

Documentation

class DefaultCheckTx api (r :: EffectRow) where Source #

Associated Types

type DefaultCheckTxT api r :: * Source #

Methods

defaultCheckTx :: Proxy api -> Proxy r -> DefaultCheckTxT api r Source #

Instances
DefaultCheckTx EmptyTxServer r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Checker

Associated Types

type DefaultCheckTxT EmptyTxServer r :: Type Source #

(DefaultCheckTx a r, DefaultCheckTx b r) => DefaultCheckTx (a :<|> b :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Checker

Associated Types

type DefaultCheckTxT (a :<|> b) r :: Type Source #

Methods

defaultCheckTx :: Proxy (a :<|> b) -> Proxy r -> DefaultCheckTxT (a :<|> b) r Source #

DefaultCheckTx rest r => DefaultCheckTx (path :> rest :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Checker

Associated Types

type DefaultCheckTxT (path :> rest) r :: Type Source #

Methods

defaultCheckTx :: Proxy (path :> rest) -> Proxy r -> DefaultCheckTxT (path :> rest) r Source #

(Member (Error AppError :: (Type -> Type) -> Type -> Type) r, ValidateMessage msg) => DefaultCheckTx (TypedMessage msg :~> Return a :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Checker

Associated Types

type DefaultCheckTxT (TypedMessage msg :~> Return a) r :: Type Source #

type family VoidReturn (api :: *) :: * where ... Source #

Equations

VoidReturn (a :<|> b) = VoidReturn a :<|> VoidReturn b 
VoidReturn (path :> a) = path :> VoidReturn a 
VoidReturn (TypedMessage msg :~> Return a) = TypedMessage msg :~> Return ()