Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Transaction.Router

Documentation

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 #