| 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))
- foeSecurityParam ∷ !SecurityParam
- foeTracer ∷ !(Tracer m TraceForkerEvent)
- foeResourcesToRelease ∷ !(StrictTVar m (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)
- 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) 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 #