Fields

• rollbackMaximum ∷ Word64
   
• rollbackRequested ∷ Word64
   

Fields

• forkerClose ∷ !(m ())

  Close the current forker (idempotent).

  Other functions on forkers should throw a ClosedForkError once the forker is closed.

  Note: always use this functions before the forker is forgotten! Otherwise, cleanup of (on-disk) state might not be prompt or guaranteed.

  This function should release any resources that are held by the forker, and not by the LedgerDB.

• forkerReadTables ∷ !(LedgerTables l KeysMK → m (LedgerTables l ValuesMK))

  Read ledger tables from disk.

• forkerRangeReadTables ∷ !(RangeQueryPrevious l → m (LedgerTables l ValuesMK))

  Range-read ledger tables from disk.

  This range read will return as many values as the QueryBatchSize that was passed when opening the LedgerDB.

• forkerGetLedgerState ∷ !(STM m (l EmptyMK))

  Get the full ledger state without tables.

  If an empty ledger state is all you need, use getVolatileTip, getImmutableTip, or getPastLedgerState instead of using a Forker.

• forkerReadStatistics ∷ !(m (Maybe Statistics))

  Get statistics about the current state of the handle if possible.

  Returns Nothing if the implementation is backed by lsm-tree.

• forkerPush ∷ !(l DiffMK → m ())

  Advance the fork handle by pushing a new ledger state to the tip of the current fork.

• forkerCommit ∷ !(STM m ())

  Commit the fork, which was constructed using forkerPush, as the current version of the LedgerDB.

Fields

• rqPrev ∷ !(RangeQueryPrevious l)
   
• rqCount ∷ !Int
   

Fields

• ledgerTableSize ∷ Int
   

Fields

• roforkerClose ∷ !(m ())

  See forkerClose

• roforkerReadTables ∷ !(LedgerTables l KeysMK → m (LedgerTables l ValuesMK))

  See forkerReadTables

• roforkerRangeReadTables ∷ !(RangeQueryPrevious l → m (LedgerTables l ValuesMK))

  See forkerRangeReadTables.

• roforkerGetLedgerState ∷ !(STM m (l EmptyMK))

  See forkerGetLedgerState

• roforkerReadStatistics ∷ !(m (Maybe Statistics))

  See forkerReadStatistics

Fields

• annLedgerState ∷ Forker m l blk

  The ledger DB just before this block was applied

• annLedgerErrRef ∷ RealPoint blk

  Reference to the block that had the error

• annLedgerErr ∷ LedgerErr l

  The ledger error itself

Fields

• resolve ∷ !(ResolveBlock m blk)

  How to retrieve blocks from headers

• validateConfig ∷ !(TopLevelConfig blk)

  The config

• addPrevApplied ∷ !([RealPoint blk] → STM m ())

  How to add a previously applied block to the set of known blocks

• prevApplied ∷ !(STM m (Set (RealPoint blk)))

  Get the current set of previously applied blocks

• forkerAtFromTip ∷ !(ResourceRegistry m → Word64 → m (Either GetForkerError (Forker' m blk)))

  Create a forker from the tip

• resourceReg ∷ !(ResourceRegistry m)

  The resource registry

• trace ∷ !(TraceValidateEvent blk → m ())

  A tracer for validate events

• blockCache ∷ BlockCache blk

  The block cache

• numRollbacks ∷ Word64

  How many blocks to roll back before applying the blocks

• hdrs ∷ [Header blk]

  The headers we want to apply

Fields

• unPushGoal ∷ RealPoint blk
   

Fields

• unPushStart ∷ RealPoint blk
   

Fields

• unPushing ∷ RealPoint blk
   

Fields

• !(PushStart blk)

  Point from which we started pushing new blocks

• (PushGoal blk)

  Point to which we are updating the ledger, the last event StartedPushingBlockToTheLedgerDb will have Pushing and PushGoal wrapping over the same RealPoint

• !(Pushing blk)

  Point which block we are about to push