Documentation

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

data TransactionContext Source #

newTransactionContext :: RoutingTx msg -> IO TransactionContext Source #

eval :: forall r a. HasCodec a => Member (Embed IO) r => TransactionContext -> Sem (TxEffs :& r) a -> Sem r TxResult Source #