Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Transaction.Checker

Documentation

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

Associated Types

Methods

Instances details

DefaultCheckTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT EmptyTxServer r Source # Methods defaultCheckTx :: Proxy EmptyTxServer -> Proxy r -> DefaultCheckTxT EmptyTxServer r 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 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 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 Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #

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

Equations

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