| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.LedgerDB.V1.Forker
Synopsis
- data ForkerEnv (m ∷ Type → Type) (l ∷ LedgerStateKind) blk = ForkerEnv {
- foeBackingStoreValueHandle ∷ !(LedgerBackingStoreValueHandle m l)
- foeChangelog ∷ !(StrictTVar m (DbChangelog l))
- foeSwitchVar ∷ !(StrictTVar m (DbChangelog l))
- foeSecurityParam ∷ !SecurityParam
- foeTracer ∷ !(Tracer m TraceForkerEvent)
- closeForkerEnv ∷ ∀ m (l ∷ LedgerStateKind) blk. ForkerEnv m l blk → m ()
- implForkerCommit ∷ ∀ (m ∷ Type → Type) (l ∷ LedgerStateKind) blk. (MonadSTM m, GetTip l, HasLedgerTables 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 ∷ (MonadSTM m, GetTip l, HasLedgerTables l) ⇒ ForkerEnv m l blk → l DiffMK → m ()
- implForkerRangeReadTables ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l) ⇒ QueryBatchSize → ForkerEnv m l blk → RangeQueryPrevious l → m (LedgerTables l ValuesMK)
- implForkerReadStatistics ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l, GetTip l) ⇒ ForkerEnv m l blk → m (Maybe Statistics)
- implForkerReadTables ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l, GetTip l) ⇒ ForkerEnv m l blk → LedgerTables l KeysMK → m (LedgerTables l ValuesMK)
Documentation
data ForkerEnv (m ∷ Type → Type) (l ∷ LedgerStateKind) blk Source #
Constructors
| ForkerEnv | |
Fields
| |
Instances
closeForkerEnv ∷ ∀ m (l ∷ LedgerStateKind) blk. ForkerEnv m l blk → m () Source #
implForkerCommit ∷ ∀ (m ∷ Type → Type) (l ∷ LedgerStateKind) blk. (MonadSTM m, GetTip l, HasLedgerTables 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 ∷ (MonadSTM m, GetTip l, HasLedgerTables l) ⇒ ForkerEnv m l blk → l DiffMK → m () Source #
implForkerRangeReadTables ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l) ⇒ QueryBatchSize → ForkerEnv m l blk → RangeQueryPrevious l → m (LedgerTables l ValuesMK) Source #
implForkerReadStatistics ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l, GetTip l) ⇒ ForkerEnv m l blk → m (Maybe Statistics) Source #
Obtain statistics for a combination of backing store value handle and changelog.
implForkerReadTables ∷ ∀ m (l ∷ LedgerStateKind) blk. (MonadSTM m, HasLedgerTables l, GetTip l) ⇒ ForkerEnv m l blk → LedgerTables l KeysMK → m (LedgerTables l ValuesMK) Source #