Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Transaction

Contents

Re-Exports

Synopsis

serveTxApplication :: HasTxRouter layout r c => Proxy layout -> Proxy r -> Proxy (c :: RouteContext) -> RouteTx layout r c -> TransactionApplication (Sem r)
serveDefaultTxChecker :: HasTxRouter layout r CheckTx => DefaultCheckTx layout r => RouteTx layout r CheckTx ~ DefaultCheckTxT layout r => Proxy layout -> Proxy r -> TransactionApplication (Sem r)
module Tendermint.SDK.BaseApp.Transaction.Types
class HasTxRouter layout r (c :: RouteContext) where
- type RouteTx layout r c :: *
- routeTx :: Proxy layout -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx layout r c) -> Router env r (RoutingTx ByteString) TxResult
emptyTxServer :: RouteTx EmptyTxServer r c
class DefaultCheckTx api (r :: EffectRow) where
- type DefaultCheckTxT api r :: *
- defaultCheckTx :: Proxy api -> Proxy r -> DefaultCheckTxT api r
type TxEffs = [Output Event, GasMeter, Error AppError]

Documentation

serveTxApplication :: HasTxRouter layout r c => Proxy layout -> Proxy r -> Proxy (c :: RouteContext) -> RouteTx layout r c -> TransactionApplication (Sem r) Source #

serveDefaultTxChecker :: HasTxRouter layout r CheckTx => DefaultCheckTx layout r => RouteTx layout r CheckTx ~ DefaultCheckTxT layout r => Proxy layout -> Proxy r -> TransactionApplication (Sem r) Source #

Re-Exports

module Tendermint.SDK.BaseApp.Transaction.Types

class HasTxRouter layout r (c :: RouteContext) where Source #

Associated Types

type RouteTx layout r c :: * Source #

Methods

routeTx :: Proxy layout -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx layout r c) -> Router env r (RoutingTx ByteString) TxResult Source #

Instances

HasTxRouter EmptyTxServer r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx EmptyTxServer r c :: Type Source # Methods routeTx :: Proxy EmptyTxServer -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx EmptyTxServer r c) -> Router env r (RoutingTx ByteString) TxResult Source #
(HasTxRouter a r c, HasTxRouter b r c) => HasTxRouter (a :<\|> b :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (a :<\|> b) r c :: Type Source # Methods routeTx :: Proxy (a :<\|> b) -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (a :<\|> b) r c) -> Router env r (RoutingTx ByteString) TxResult Source #
(HasTxRouter sublayout r c, KnownSymbol path) => HasTxRouter (path :> sublayout :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (path :> sublayout) r c :: Type Source # Methods routeTx :: Proxy (path :> sublayout) -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (path :> sublayout) r c) -> Router env r (RoutingTx ByteString) TxResult Source #
(HasMessageType msg, HasCodec msg, HasCodec (OnCheckReturn c oc a), Member (Embed IO) r) => HasTxRouter (TypedMessage msg :~> Return' oc a :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx (TypedMessage msg :~> Return' oc a) r c :: Type Source # Methods routeTx :: Proxy (TypedMessage msg :~> Return' oc a) -> Proxy r -> Proxy c -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return' oc a) r c) -> Router env r (RoutingTx ByteString) TxResult Source #

emptyTxServer :: RouteTx EmptyTxServer r c Source #

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 # 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 :: 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 # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #

type TxEffs = [Output Event, GasMeter, Error AppError] Source #