Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB

Contents

Initialization
TraceReplayEvent decorator
Wrappers
Validation
Previously applied blocks
Re-exports
Exported for testing purposes

Description

Thin wrapper around the LedgerDB

Synopsis

data LgrDB m blk
type LedgerDB' blk = LedgerDB ( ExtLedgerState blk)
type LgrDbSerialiseConstraints blk = ( Serialise ( HeaderHash blk), EncodeDisk blk ( LedgerState blk), DecodeDisk blk ( LedgerState blk), EncodeDisk blk ( AnnTip blk), DecodeDisk blk ( AnnTip blk), EncodeDisk blk ( ChainDepState ( BlockProtocol blk)), DecodeDisk blk ( ChainDepState ( BlockProtocol blk)))
data LgrDbArgs f m blk = LgrDbArgs {
- lgrDiskPolicy :: DiskPolicy
- lgrGenesis :: HKD f (m ( ExtLedgerState blk))
- lgrHasFS :: SomeHasFS m
- lgrTopLevelConfig :: HKD f ( TopLevelConfig blk)
- lgrTraceLedger :: Tracer m ( LedgerDB' blk)
- lgrTracer :: Tracer m ( TraceEvent blk)
}
defaultArgs :: Applicative m => SomeHasFS m -> DiskPolicy -> LgrDbArgs Defaults m blk
openDB :: forall m blk. ( IOLike m, LedgerSupportsProtocol blk, LgrDbSerialiseConstraints blk, InspectLedger blk, HasCallStack ) => LgrDbArgs Identity m blk -> Tracer m ( ReplayGoal blk -> TraceReplayEvent blk) -> ImmutableDB m blk -> ( RealPoint blk -> m blk) -> m ( LgrDB m blk, Word64 )
decorateReplayTracerWithGoal :: Point blk -> Tracer m ( TraceReplayEvent blk) -> Tracer m ( ReplayGoal blk -> TraceReplayEvent blk)
currentPoint :: forall blk. UpdateLedger blk => LedgerDB' blk -> Point blk
getCurrent :: IOLike m => LgrDB m blk -> STM m ( LedgerDB' blk)
getDiskPolicy :: LgrDB m blk -> DiskPolicy
setCurrent :: IOLike m => LgrDB m blk -> LedgerDB' blk -> STM m ()
takeSnapshot :: forall m blk. ( IOLike m, LgrDbSerialiseConstraints blk, HasHeader blk, IsLedger ( LedgerState blk)) => LgrDB m blk -> m ( Maybe ( DiskSnapshot , RealPoint blk))
trimSnapshots :: forall m blk. ( MonadCatch m, HasHeader blk) => LgrDB m blk -> m [ DiskSnapshot ]
data ValidateResult blk
- = ValidateSuccessful ( LedgerDB' blk)
- | ValidateLedgerError ( AnnLedgerError' blk)
- | ValidateExceededRollBack ExceededRollback
validate :: forall m blk. ( IOLike m, LedgerSupportsProtocol blk, HasCallStack ) => LgrDB m blk -> LedgerDB' blk -> BlockCache blk -> Word64 -> ( UpdateLedgerDbTraceEvent blk -> m ()) -> [ Header blk] -> m ( ValidateResult blk)
garbageCollectPrevApplied :: IOLike m => LgrDB m blk -> SlotNo -> STM m ()
getPrevApplied :: IOLike m => LgrDB m blk -> STM m ( Set ( RealPoint blk))
data DiskPolicy = DiskPolicy {
- onDiskNumSnapshots :: Word
- onDiskShouldTakeSnapshot :: TimeSinceLast DiffTime -> Word64 -> Bool
}
data DiskSnapshot
data ExceededRollback = ExceededRollback {
- rollbackMaximum :: Word64
- rollbackRequested :: Word64
}
data AnnLedgerError l blk = AnnLedgerError {
- annLedgerState :: LedgerDB l
- annLedgerErrRef :: RealPoint blk
- annLedgerErr :: LedgerErr l
}
ledgerDbCurrent :: GetTip l => LedgerDB l -> l
data TraceEvent blk
- = InvalidSnapshot DiskSnapshot ( InitFailure blk)
- | TookSnapshot DiskSnapshot ( RealPoint blk)
- | DeletedSnapshot DiskSnapshot
data TraceReplayEvent blk
- = ReplayFromGenesis ( ReplayGoal blk)
- | ReplayFromSnapshot DiskSnapshot ( RealPoint blk) ( ReplayStart blk) ( ReplayGoal blk)
- | ReplayedBlock ( RealPoint blk) [ LedgerEvent blk] ( ReplayStart blk) ( ReplayGoal blk)
mkLgrDB :: StrictTVar m ( LedgerDB' blk) -> StrictTVar m ( Set ( RealPoint blk)) -> ( RealPoint blk -> m blk) -> LgrDbArgs Identity m blk -> LgrDB m blk

Documentation

data LgrDB m blk Source #

Thin wrapper around the ledger database

Instances

Instances details

Generic ( LgrDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB Associated Types type Rep ( LgrDB m blk) :: Type -> Type Source # Methods from :: LgrDB m blk -> Rep ( LgrDB m blk) x Source # to :: Rep ( LgrDB m blk) x -> LgrDB m blk Source #
( IOLike m, LedgerSupportsProtocol blk) => NoThunks ( LgrDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB Methods noThunks :: Context -> LgrDB m blk -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LgrDB m blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LgrDB m blk) -> String Source #
type Rep ( LgrDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB type Rep ( LgrDB m blk) = D1 (' MetaData "LgrDB" "Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "LgrDB" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "varDB") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictTVar m ( LedgerDB' blk))) :: ( S1 (' MetaSel (' Just "varPrevApplied") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictTVar m ( Set ( RealPoint blk)))) :: S1 (' MetaSel (' Just "resolveBlock") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RealPoint blk -> m blk)))) :: (( S1 (' MetaSel (' Just "cfg") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TopLevelConfig blk)) :: S1 (' MetaSel (' Just "diskPolicy") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 DiskPolicy )) :: ( S1 (' MetaSel (' Just "hasFS") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SomeHasFS m)) :: S1 (' MetaSel (' Just "tracer") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Tracer m ( TraceEvent blk)))))))

type LedgerDB' blk = LedgerDB ( ExtLedgerState blk) Source #

type LgrDbSerialiseConstraints blk = ( Serialise ( HeaderHash blk), EncodeDisk blk ( LedgerState blk), DecodeDisk blk ( LedgerState blk), EncodeDisk blk ( AnnTip blk), DecodeDisk blk ( AnnTip blk), EncodeDisk blk ( ChainDepState ( BlockProtocol blk)), DecodeDisk blk ( ChainDepState ( BlockProtocol blk))) Source #

EncodeDisk and DecodeDisk constraints needed for the LgrDB.

Initialization

data LgrDbArgs f m blk Source #

Constructors

LgrDbArgs
Fields lgrDiskPolicy :: DiskPolicy lgrGenesis :: HKD f (m ( ExtLedgerState blk)) lgrHasFS :: SomeHasFS m lgrTopLevelConfig :: HKD f ( TopLevelConfig blk) lgrTraceLedger :: Tracer m ( LedgerDB' blk) lgrTracer :: Tracer m ( TraceEvent blk)

defaultArgs :: Applicative m => SomeHasFS m -> DiskPolicy -> LgrDbArgs Defaults m blk Source #

Default arguments

openDB Source #

Arguments

:: forall m blk. ( IOLike m, LedgerSupportsProtocol blk, LgrDbSerialiseConstraints blk, InspectLedger blk, HasCallStack )
=> LgrDbArgs Identity m blk	Stateless initializaton arguments
-> Tracer m ( ReplayGoal blk -> TraceReplayEvent blk)	Used to trace the progress while replaying blocks against the ledger.
-> ImmutableDB m blk	Reference to the immutable DB After reading a snapshot from disk, the ledger DB will be brought up to date with tip of the immutable DB. The corresponding ledger state can then be used as the starting point for chain selection in the ChainDB driver.
-> ( RealPoint blk -> m blk)	Read a block from disk The block may be in the immutable DB or in the volatile DB; the ledger DB does not know where the boundary is at any given point.
-> m ( LgrDB m blk, Word64 )

Open the ledger DB

In addition to the ledger DB also returns the number of immutable blocks that were replayed.

`TraceReplayEvent` decorator

decorateReplayTracerWithGoal Source #

Arguments

:: Point blk	Tip of the ImmutableDB
-> Tracer m ( TraceReplayEvent blk)
-> Tracer m ( ReplayGoal blk -> TraceReplayEvent blk)

Add the tip of the Immutable DB to the trace event

Between the tip of the immutable DB and the point of the starting block, the node could (if it so desired) easily compute a "percentage complete".

Wrappers

currentPoint :: forall blk. UpdateLedger blk => LedgerDB' blk -> Point blk Source #

getCurrent :: IOLike m => LgrDB m blk -> STM m ( LedgerDB' blk) Source #

getDiskPolicy :: LgrDB m blk -> DiskPolicy Source #

setCurrent :: IOLike m => LgrDB m blk -> LedgerDB' blk -> STM m () Source #

PRECONDITION: The new LedgerDB must be the result of calling either ledgerDbSwitch or ledgerDbPushMany on the current LedgerDB .

takeSnapshot :: forall m blk. ( IOLike m, LgrDbSerialiseConstraints blk, HasHeader blk, IsLedger ( LedgerState blk)) => LgrDB m blk -> m ( Maybe ( DiskSnapshot , RealPoint blk)) Source #

trimSnapshots :: forall m blk. ( MonadCatch m, HasHeader blk) => LgrDB m blk -> m [ DiskSnapshot ] Source #

Validation

data ValidateResult blk Source #

Constructors

ValidateSuccessful ( LedgerDB' blk)
ValidateLedgerError ( AnnLedgerError' blk)
ValidateExceededRollBack ExceededRollback

validate Source #

Arguments

:: forall m blk. ( IOLike m, LedgerSupportsProtocol blk, HasCallStack )
=> LgrDB m blk
-> LedgerDB' blk	This is used as the starting point for validation, not the one in the `LgrDB` .
-> BlockCache blk
-> Word64	How many blocks to roll back
-> ( UpdateLedgerDbTraceEvent blk -> m ())
-> [ Header blk]
-> m ( ValidateResult blk)

Previously applied blocks

garbageCollectPrevApplied :: IOLike m => LgrDB m blk -> SlotNo -> STM m () Source #

Remove all points with a slot older than the given slot from the set of previously applied points.

getPrevApplied :: IOLike m => LgrDB m blk -> STM m ( Set ( RealPoint blk)) Source #

Re-exports

data DiskPolicy Source #

On-disk policy

We only write ledger states that are older than k blocks to disk (that is, snapshots that are guaranteed valid). The on-disk policy determines how often we write to disk and how many checkpoints we keep.

Constructors

DiskPolicy

Fields

onDiskNumSnapshots :: Word
How many snapshots do we want to keep on disk?

A higher number of on-disk snapshots is primarily a safe-guard against disk corruption: it trades disk space for reliability.

Examples:
- 0 : Delete the snapshot immediately after writing. Probably not a useful value :-D
- 1 : Delete the previous snapshot immediately after writing the next Dangerous policy: if for some reason the deletion happens before the new snapshot is written entirely to disk (we don't fsync ), we have no choice but to start at the genesis snapshot on the next startup.
- 2 : Always keep 2 snapshots around. This means that when we write the next snapshot, we delete the oldest one, leaving the middle one available in case of truncation of the write. This is probably a sane value in most circumstances.
onDiskShouldTakeSnapshot :: TimeSinceLast DiffTime -> Word64 -> Bool
Should we write a snapshot of the ledger state to disk?

This function is passed two bits of information:
- The time since the last snapshot, or NoSnapshotTakenYet if none was taken yet. Note that NoSnapshotTakenYet merely means no snapshot had been taking yet since the node was started; it does not necessarily mean that none exist on disk.
- The distance in terms of blocks applied to the oldest ledger snapshot in memory. During normal operation, this is the number of blocks written to the ImmutableDB since the last snapshot. On startup, it is computed by counting how many immutable blocks we had to reapply to get to the chain tip. This is useful, as it allows the policy to decide to take a snapshot on node startup if a lot of blocks had to be replayed.
See also defaultDiskPolicy

Instances

Instances details

NoThunks DiskPolicy Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.DiskPolicy Methods noThunks :: Context -> DiskPolicy -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> DiskPolicy -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy DiskPolicy -> String Source #

data DiskSnapshot Source #

Instances

Instances details

Eq DiskSnapshot Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods (==) :: DiskSnapshot -> DiskSnapshot -> Bool Source # (/=) :: DiskSnapshot -> DiskSnapshot -> Bool Source #
Ord DiskSnapshot Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods compare :: DiskSnapshot -> DiskSnapshot -> Ordering Source # (<) :: DiskSnapshot -> DiskSnapshot -> Bool Source # (<=) :: DiskSnapshot -> DiskSnapshot -> Bool Source # (>) :: DiskSnapshot -> DiskSnapshot -> Bool Source # (>=) :: DiskSnapshot -> DiskSnapshot -> Bool Source # max :: DiskSnapshot -> DiskSnapshot -> DiskSnapshot Source # min :: DiskSnapshot -> DiskSnapshot -> DiskSnapshot Source #
Show DiskSnapshot Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods showsPrec :: Int -> DiskSnapshot -> ShowS Source # show :: DiskSnapshot -> String Source # showList :: [ DiskSnapshot ] -> ShowS Source #
Generic DiskSnapshot Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Associated Types type Rep DiskSnapshot :: Type -> Type Source # Methods from :: DiskSnapshot -> Rep DiskSnapshot x Source # to :: Rep DiskSnapshot x -> DiskSnapshot Source #
type Rep DiskSnapshot Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk type Rep DiskSnapshot = D1 (' MetaData "DiskSnapshot" "Ouroboros.Consensus.Storage.LedgerDB.OnDisk" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "DiskSnapshot" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "dsNumber") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "dsSuffix") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe String ))))

data ExceededRollback Source #

Exceeded maximum rollback supported by the current ledger DB state

Under normal circumstances this will not arise. It can really only happen in the presence of data corruption (or when switching to a shorter fork, but that is disallowed by all currently known Ouroboros protocols).

Records both the supported and the requested rollback.

Constructors

ExceededRollback
Fields rollbackMaximum :: Word64 rollbackRequested :: Word64

data AnnLedgerError l blk Source #

Annotated ledger errors

Constructors

AnnLedgerError
Fields annLedgerState :: LedgerDB l 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

Instances

Instances details

Monad m => ThrowsLedgerError ( ExceptT ( AnnLedgerError l blk) m) l blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods throwLedgerError :: LedgerDB l -> RealPoint blk -> LedgerErr l -> ExceptT ( AnnLedgerError l blk) m a Source #

ledgerDbCurrent :: GetTip l => LedgerDB l -> l Source #

The ledger state at the tip of the chain

data TraceEvent blk Source #

Constructors

InvalidSnapshot DiskSnapshot ( InitFailure blk)	An on disk snapshot was skipped because it was invalid.
TookSnapshot DiskSnapshot ( RealPoint blk)	A snapshot was written to disk.
DeletedSnapshot DiskSnapshot	An old or invalid on-disk snapshot was deleted

Instances

Instances details

StandardHash blk => Eq ( TraceEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods (==) :: TraceEvent blk -> TraceEvent blk -> Bool Source # (/=) :: TraceEvent blk -> TraceEvent blk -> Bool Source #
StandardHash blk => Show ( TraceEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods showsPrec :: Int -> TraceEvent blk -> ShowS Source # show :: TraceEvent blk -> String Source # showList :: [ TraceEvent blk] -> ShowS Source #
Generic ( TraceEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Associated Types type Rep ( TraceEvent blk) :: Type -> Type Source # Methods from :: TraceEvent blk -> Rep ( TraceEvent blk) x Source # to :: Rep ( TraceEvent blk) x -> TraceEvent blk Source #
type Rep ( TraceEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk type Rep ( TraceEvent blk) = D1 (' MetaData "TraceEvent" "Ouroboros.Consensus.Storage.LedgerDB.OnDisk" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "InvalidSnapshot" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DiskSnapshot ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( InitFailure blk))) :+: ( C1 (' MetaCons "TookSnapshot" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DiskSnapshot ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( RealPoint blk))) :+: C1 (' MetaCons "DeletedSnapshot" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DiskSnapshot ))))

data TraceReplayEvent blk Source #

Events traced while replaying blocks against the ledger to bring it up to date w.r.t. the tip of the ImmutableDB during initialisation. As this process takes a while, we trace events to inform higher layers of our progress.

Constructors

ReplayFromGenesis ( ReplayGoal blk)	There were no LedgerDB snapshots on disk, so we're replaying all blocks starting from Genesis against the initial ledger.
ReplayFromSnapshot
Fields DiskSnapshot ( RealPoint blk) ( ReplayStart blk) the block at which this replay started ( ReplayGoal blk) the block at the tip of the ImmutableDB \| We replayed the given block (reference) on the genesis snapshot during the initialisation of the LedgerDB. Used during ImmutableDB replay.
ReplayedBlock
Fields ( RealPoint blk) the block being replayed [ LedgerEvent blk] ( ReplayStart blk) the block at which this replay started ( ReplayGoal blk) the block at the tip of the ImmutableDB

Instances

Instances details

( StandardHash blk, InspectLedger blk) => Eq ( TraceReplayEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods (==) :: TraceReplayEvent blk -> TraceReplayEvent blk -> Bool Source # (/=) :: TraceReplayEvent blk -> TraceReplayEvent blk -> Bool Source #
( StandardHash blk, InspectLedger blk) => Show ( TraceReplayEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Methods showsPrec :: Int -> TraceReplayEvent blk -> ShowS Source # show :: TraceReplayEvent blk -> String Source # showList :: [ TraceReplayEvent blk] -> ShowS Source #
Generic ( TraceReplayEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk Associated Types type Rep ( TraceReplayEvent blk) :: Type -> Type Source # Methods from :: TraceReplayEvent blk -> Rep ( TraceReplayEvent blk) x Source # to :: Rep ( TraceReplayEvent blk) x -> TraceReplayEvent blk Source #
type Rep ( TraceReplayEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.OnDisk type Rep ( TraceReplayEvent blk) = D1 (' MetaData "TraceReplayEvent" "Ouroboros.Consensus.Storage.LedgerDB.OnDisk" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "ReplayFromGenesis" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ReplayGoal blk))) :+: ( C1 (' MetaCons "ReplayFromSnapshot" ' PrefixI ' False ) (( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DiskSnapshot ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( RealPoint blk))) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ReplayStart blk)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ReplayGoal blk)))) :+: C1 (' MetaCons "ReplayedBlock" ' PrefixI ' False ) (( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( RealPoint blk)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ LedgerEvent blk])) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ReplayStart blk)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ReplayGoal blk))))))

Exported for testing purposes

mkLgrDB :: StrictTVar m ( LedgerDB' blk) -> StrictTVar m ( Set ( RealPoint blk)) -> ( RealPoint blk -> m blk) -> LgrDbArgs Identity m blk -> LgrDB m blk Source #

For testing purposes

Documentation

Instances

Initialization

TraceReplayEvent decorator

Wrappers

Validation

Previously applied blocks

Re-exports

Instances

Instances

Instances

Instances

Instances

Exported for testing purposes

`TraceReplayEvent` decorator