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