| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.LedgerDB.V2.Forker
Contents
Synopsis
- data ForkerEnv (m ∷ Type → Type) (l ∷ Type → (Type → Type → Type) → Type) blk = ForkerEnv {
- foeLedgerSeq ∷ !(StrictTVar m (LedgerSeq m l blk))
- foeSwitchVar ∷ !(StrictTVar m (LedgerSeq m l blk))
- foeTracer ∷ !(Tracer m TraceForkerEvent)
- foeLedgerDbLock ∷ !(RAWLock m ())
- foeWasCommitted ∷ !(StrictTVar m Bool)
- implForkerCommit ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk), StandardHash (l blk)) ⇒ ForkerEnv m l blk → STM m (m ())
- implForkerGetLedgerState ∷ ∀ (m ∷ Type → Type) l blk. (MonadSTM m, GetTip (l blk)) ⇒ ForkerEnv m l blk → STM m (l blk EmptyMK)
- implForkerPush ∷ (IOLike m, GetTip (l blk), HasLedgerTables l blk, HasCallStack) ⇒ ForkerEnv m l blk → l blk DiffMK → m ()
- implForkerRangeReadTables ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk), HasLedgerTables l blk) ⇒ QueryBatchSize → ForkerEnv m l blk → RangeQueryPrevious blk → m (LedgerTables blk ValuesMK, Maybe (TxIn blk))
- implForkerReadStatistics ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (MonadSTM m, GetTip (l blk)) ⇒ ForkerEnv m l blk → m Statistics
- implForkerReadTables ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk)) ⇒ ForkerEnv m l blk → LedgerTables blk KeysMK → m (LedgerTables blk ValuesMK)
- module Ouroboros.Consensus.Storage.LedgerDB.Forker
Documentation
data ForkerEnv (m ∷ Type → Type) (l ∷ Type → (Type → Type → Type) → Type) blk Source #
The state inside a forker.
Constructors
| ForkerEnv | |
Fields
| |
Instances
implForkerCommit ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk), StandardHash (l blk)) ⇒ ForkerEnv m l blk → STM m (m ()) Source #
implForkerGetLedgerState ∷ ∀ (m ∷ Type → Type) l blk. (MonadSTM m, GetTip (l blk)) ⇒ ForkerEnv m l blk → STM m (l blk EmptyMK) Source #
implForkerPush ∷ (IOLike m, GetTip (l blk), HasLedgerTables l blk, HasCallStack) ⇒ ForkerEnv m l blk → l blk DiffMK → m () Source #
implForkerRangeReadTables ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk), HasLedgerTables l blk) ⇒ QueryBatchSize → ForkerEnv m l blk → RangeQueryPrevious blk → m (LedgerTables blk ValuesMK, Maybe (TxIn blk)) Source #
implForkerReadStatistics ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (MonadSTM m, GetTip (l blk)) ⇒ ForkerEnv m l blk → m Statistics Source #
implForkerReadTables ∷ ∀ m (l ∷ Type → LedgerStateKind) blk. (IOLike m, GetTip (l blk)) ⇒ ForkerEnv m l blk → LedgerTables blk KeysMK → m (LedgerTables blk ValuesMK) Source #