Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Transaction.Types

Contents

Re-Exports

Synopsis

type TransactionApplication m = RoutingTx ByteString -> m (TxResult, Maybe Cache)
data TransactionContext = TransactionContext {
- gasRemaining :: IORef GasAmount
- txRequiresGas :: Bool
- storeCache :: IORef Cache
- events :: IORef [Event]
}
data RoutingTx msg where
- RoutingTx :: Tx alg msg -> RoutingTx msg
data RouteContext
- = CheckTx
- | DeliverTx
data EmptyTxServer = EmptyTxServer
data Return a
data TypedMessage msg
data msg :~> a
newTransactionContext :: Bool -> RoutingTx msg -> IO TransactionContext
data Tx alg msg = Tx {
- txMsg :: Msg msg
- txRoute :: Text
- txGas :: Int64
- txSignature :: RecoverableSignature alg
- txSignBytes :: Message alg
- txSigner :: PubKey alg
- txNonce :: Word64
}

Documentation

type TransactionApplication m = RoutingTx ByteString -> m (TxResult, Maybe Cache) Source #

data TransactionContext Source #

Constructors

TransactionContext
Fields gasRemaining :: IORef GasAmount txRequiresGas :: Bool storeCache :: IORef Cache events :: IORef [Event]

data RoutingTx msg where Source #

Constructors

RoutingTx :: Tx alg msg -> RoutingTx msg

Instances

Instances details

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 RouteContext Source #

Constructors

CheckTx
DeliverTx

Instances

Instances details

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 #

data EmptyTxServer Source #

Constructors

EmptyTxServer

Instances

Instances details

DefaultCheckTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker Associated Types type DefaultCheckTxT EmptyTxServer r Source # Methods defaultCheckTx :: Proxy EmptyTxServer -> Proxy r -> DefaultCheckTxT EmptyTxServer r Source #
HasTxRouter EmptyTxServer r scope Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router Associated Types type RouteTx EmptyTxServer s Source # Methods routeTx :: Proxy EmptyTxServer -> Proxy r -> Proxy scope -> Delayed (Sem r) env (RoutingTx ByteString) (RouteTx EmptyTxServer (TxEffs :& r)) -> Router env r (RoutingTx ByteString) (TxResult, Maybe Cache) Source # applyAnteHandler :: Proxy EmptyTxServer -> Proxy r -> Proxy scope -> AnteHandler r -> RouteTx EmptyTxServer r -> RouteTx EmptyTxServer r Source # hoistTxRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy EmptyTxServer -> Proxy r -> Proxy scope -> (forall a. Sem s a -> Sem s' a) -> RouteTx EmptyTxServer s -> RouteTx EmptyTxServer s' Source #
type DefaultCheckTxT EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Checker type DefaultCheckTxT EmptyTxServer r = EmptyTxServer
type RouteTx EmptyTxServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Transaction.Router type RouteTx EmptyTxServer r = EmptyTxServer

data Return a Source #

Instances

Instances details

(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 Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] 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 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 :: forall (s :: EffectRow) (s' :: EffectRow). 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

Instances details

(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 Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] 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 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 :: forall (s :: EffectRow) (s' :: EffectRow). 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

Instances details

(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 Source # Methods defaultCheckTx :: Proxy (TypedMessage msg :~> Return a) -> Proxy r -> DefaultCheckTxT (TypedMessage msg :~> Return a) r Source #
(HasMessageType msg, HasCodec msg, Members '[Tagged scope (ReadStore :: (Type -> Type) -> Type -> Type), Embed IO] 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 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 :: forall (s :: EffectRow) (s' :: EffectRow). 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

newTransactionContext :: Bool -> RoutingTx msg -> IO TransactionContext Source #

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

Instances details

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 #