Fields

• liveLMDBFs ∷ SomeHasFS m
   

Fields

• snapshotsFs ∷ SomeHasFS m
   

Fields

• bsClose ∷ !(m ())

  Close the backing store

  Other methods throw exceptions if called on a closed store. bsClose itself is idempotent.

• bsCopy ∷ !(SerializeTablesHint values → FsPath → m ())

  Create a persistent copy

  Each backing store implementation will offer a way to initialize itself from such a path.

  The destination path must not already exist. After this operation, it will be a directory.

• bsValueHandle ∷ !(m (BackingStoreValueHandle m keys values))

  Open a BackingStoreValueHandle capturing the current value of the entire database

• bsWrite ∷ !(SlotNo → WriteHint diff → diff → m ())

  Apply a valid diff to the contents of the backing store

• bsSnapshotBackend ∷ !SnapshotBackend

  The name of the BackingStore backend, for loading and writing snapshots to disk

Fields

• toFlushDiffs ∷ !(LedgerTables l DiffMK)

  The set of differences that should be flushed into the BackingStore

• toFlushState ∷ !(l EmptyMK, l EmptyMK)

  The last flushed state and the newly flushed state. This will be the immutable tip.

• toFlushSlot ∷ !SlotNo

  At which slot the diffs were split. This must be the slot of the state considered as "last flushed" in the kept DbChangelog

Fields

• bsvhAtSlot ∷ !(WithOrigin SlotNo)

  At which slot this handle was created

• bsvhClose ∷ !(m ())

  Close the handle

  Other methods throw exceptions if called on a closed handle. bsvhClose itself is idempotent.

• bsvhRangeRead ∷ !(ReadHint values → RangeQuery keys → m values)

  See RangeQuery

• bsvhReadAll ∷ !(ReadHint values → m values)

  Costly read all operation, not to be used in Consensus but only in snapshot-converter executable.

• bsvhRead ∷ !(ReadHint values → keys → m values)

  Read the given keys from the handle

  Absent keys will merely not be present in the result instead of causing a failure or an exception.

• bsvhStat ∷ !(m Statistics)

  Retrieve statistics

Fields

• rqPrev ∷ !(Maybe keys)

  The result of this range query begin at first key that is strictly greater than the greatest key in rqPrev.

  If the given set of keys is Just but contains no keys, then the query will return no results. (This is the steady-state once a looping range query reaches the end of the table.)

• rqCount ∷ !Int

  Roughly how many values to read.

  The query may return a different number of values than this even if it has not reached the last key. The only crucial invariant is that the query only returns an empty map if there are no more keys to read on disk, or if QueryBatchSize consecutive values have been deleted in the changelog, which is extremely unlikely due to the random access pattern of the UTxO set.

Fields

• sequenceNumber ∷ !(WithOrigin SlotNo)

  The last slot number for which key-value pairs were stored.

  INVARIANT: the sequenceNumber returned by using bsvhStat on a value handle should match bsvhAtSlot for that same value handle.

• numEntries ∷ !Int

  The total number of key-value pair entries that are stored.

Fields

• !(Maybe Int)

  The index of the value handle

• !BackingStoreValueHandleTrace