Safe Haskell | None |
---|---|
Language | Haskell2010 |
Tendermint.SDK.BaseApp.Transaction.Checker
Documentation
class DefaultCheckTx api (r :: EffectRow) where Source #
Associated Types
type DefaultCheckTxT api r :: Type Source #
Methods
defaultCheckTx :: Proxy api -> Proxy r -> DefaultCheckTxT api r Source #
Instances
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 () |