hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Transaction.Types

Contents

Synopsis

Documentation

data RoutingTx msg where Source #

Constructors

RoutingTx :: Tx alg msg -> RoutingTx msg 
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 #

data Return 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 #

(HasMessageType msg, HasCodec msg, Members (Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type) ': (Embed IO ': ([] :: [(Type -> Type) -> Type -> Type]))) r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

Associated Types

type RouteTx (TypedMessage msg :~> Return a) s :: Type Source #

Methods

routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source #

applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source #

hoistTxRouter :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' 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 a :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

data TypedMessage msg 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 #

(HasMessageType msg, HasCodec msg, Members (Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type) ': (Embed IO ': ([] :: [(Type -> Type) -> Type -> Type]))) r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

Associated Types

type RouteTx (TypedMessage msg :~> Return a) s :: Type Source #

Methods

routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source #

applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source #

hoistTxRouter :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' 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 a :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r 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 #

(HasMessageType msg, HasCodec msg, Members (Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type) ': (Embed IO ': ([] :: [(Type -> Type) -> Type -> Type]))) r, HasCodec a) => HasTxRouter (TypedMessage msg :~> Return a :: Type) r scope Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

Associated Types

type RouteTx (TypedMessage msg :~> Return a) s :: Type Source #

Methods

routeTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx (TypedMessage msg :~> Return a) (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source #

applyAnteHandler :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx (TypedMessage msg :~> Return a) r -> RouteTx (TypedMessage msg :~> Return a) r Source #

hoistTxRouter :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> Proxy scope -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteTx (TypedMessage msg :~> Return a) s -> RouteTx (TypedMessage msg :~> Return a) s' 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 a :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Router

type RouteTx (TypedMessage msg :~> Return a :: Type) r = RoutingTx msg -> Sem r a

Re-Exports

data Tx alg msg Source #

Constructors

Tx 

Fields

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 #