Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Transaction.Types

Contents

Synopsis

Documentation

data RoutingTx msg where Source #

Constructors

Instances

Functor RoutingTx Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods fmap :: (a -> b) -> RoutingTx a -> RoutingTx b # (<$) :: a -> RoutingTx b -> RoutingTx a #
HasPath (RoutingTx msg) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods path :: Lens' (RoutingTx msg) Text Source #

Constructors

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 #
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 #
type DefaultCheckTxT EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT EmptyTxServer r = EmptyTxServer
type RouteTx EmptyTxServer r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx EmptyTxServer r c = EmptyTxServer

Constructors

CheckTx
DeliverTx

Instances

Eq RouteContext Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods (==) :: RouteContext -> RouteContext -> Bool # (/=) :: RouteContext -> RouteContext -> Bool #
Show RouteContext Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Types Methods showsPrec :: Int -> RouteContext -> ShowS # show :: RouteContext -> String # showList :: [RouteContext] -> ShowS #

Instances

(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 #
(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 #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c = RoutingTx msg -> Sem (TxEffs :& r) (OnCheckReturn c oc a)

Constructors

OnCheckEval
OnCheckUnit

Instances

(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 #
(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 #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c = RoutingTx msg -> Sem (TxEffs :& r) (OnCheckReturn c oc a)

data msg :~> a Source #

Instances

(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 #
(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 #
type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r ()
type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx (TypedMessage msg :~> Return' oc a :: Type) r c = RoutingTx msg -> Sem (TxEffs :& r) (OnCheckReturn c oc a)

Re-Exports

data Tx alg msg Source #

Constructors

Tx
Fields txMsg :: Msg msg txRoute :: Text txGas :: Int64 txSignature :: RecoverableSignature alg txSignBytes :: Message alg txSigner :: PubKey alg txNonce :: Word64

Instances

Functor (Tx alg) Source #
Instance details Defined in Tendermint.SDK.Types.Transaction Methods fmap :: (a -> b) -> Tx alg a -> Tx alg b # (<$) :: a -> Tx alg b -> Tx alg a #