Documentation

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

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 #