hs-abci-sdk-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Transaction.Effect

Documentation

runTx :: Members [Embed IO, Tagged scope ReadStore] r => HasCodec a => Proxy scope -> TransactionContext -> Sem (TxEffs :& r) a -> Sem r (Maybe (a, Cache), TxResult) Source #

eval :: forall r scope a. Members [Embed IO, Tagged scope ReadStore] r => Proxy scope -> TransactionContext -> Sem (TxEffs :& r) a -> Sem r (Either AppError a) Source #

evalReadOnly :: forall r. forall a. Sem (TxEffs :& r) a -> Sem (ReadStore ': (Error AppError ': r)) a Source #