Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family OnCheckReturn (ctx :: RouteContext) (oc :: OnCheck) a where ... Source #
OnCheckReturn CheckTx OnCheckEval a = a | |
OnCheckReturn CheckTx OnCheckUnit a = () | |
OnCheckReturn DeliverTx _ a = a |