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