hs-abci-sdk-0.1.0.0

Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Store.MemoryStore

Contents

Environment
Eval

Synopsis

data DBVersions = DBVersions {
- latest :: IORef Version
- committed :: IORef Version
}
initDBVersions :: IO DBVersions
data DB
initDB :: IO DB
evalStoreEffs :: Members [Embed IO, Reader DBVersions, Reader DB] r => forall a. Sem (StoreEffs :& r) a -> Sem r a
evalRead :: Member (Embed IO) r => DB -> IORef Version -> forall a. Sem (ReadStore ': r) a -> Sem r a
evalWrite :: Member (Embed IO) r => DB -> forall a. Sem (WriteStore ': r) a -> Sem r a

Environment

data DBVersions Source #

Constructors

DBVersions
Fields latest :: IORef Version committed :: IORef Version

initDBVersions :: IO DBVersions Source #

data DB Source #

initDB :: IO DB Source #

Eval

evalStoreEffs :: Members [Embed IO, Reader DBVersions, Reader DB] r => forall a. Sem (StoreEffs :& r) a -> Sem r a Source #

evalRead :: Member (Embed IO) r => DB -> IORef Version -> forall a. Sem (ReadStore ': r) a -> Sem r a Source #

evalWrite :: Member (Embed IO) r => DB -> forall a. Sem (WriteStore ': r) a -> Sem r a Source #