Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Storage.ChainDB.Impl.Args

Synopsis

data ChainDbArgs f m blk = ChainDbArgs {
- cdbImmDbArgs ∷ ImmutableDbArgs f m blk
- cdbVolDbArgs ∷ VolatileDbArgs f m blk
- cdbLgrDbArgs ∷ LgrDbArgs f m blk
- cdbsArgs ∷ ChainDbSpecificArgs f m blk
}
data ChainDbSpecificArgs f m blk = ChainDbSpecificArgs {
- cdbsBlocksToAddSize ∷ Word
- cdbsCheckInFuture ∷ HKD f (CheckInFuture m blk)
- cdbsGcDelay ∷ DiffTime
- cdbsGcInterval ∷ DiffTime
- cdbsRegistry ∷ HKD f (ResourceRegistry m)
- cdbsTracer ∷ Tracer m (TraceEvent blk)
- cdbsHasFSGsmDB ∷ HKD f (SomeHasFS m)
- cdbsTopLevelConfig ∷ HKD f (TopLevelConfig blk)
- cdbsLoE ∷ GetLoEFragment m blk
}
newtype RelativeMountPoint = RelativeMountPoint FilePath
completeChainDbArgs ∷ ∀ m blk. (ConsensusProtocol (BlockProtocol blk), IOLike m) ⇒ ResourceRegistry m → CheckInFuture m blk → TopLevelConfig blk → ExtLedgerState blk → ChunkInfo → (blk → Bool) → (RelativeMountPoint → SomeHasFS m) → Incomplete ChainDbArgs m blk → Complete ChainDbArgs m blk
defaultArgs ∷ ∀ m blk. Monad m ⇒ Incomplete ChainDbArgs m blk
ensureValidateAll ∷ ChainDbArgs f m blk → ChainDbArgs f m blk
updateDiskPolicyArgs ∷ DiskPolicyArgs → ChainDbArgs f m blk → ChainDbArgs f m blk
updateTracer ∷ Tracer m (TraceEvent blk) → ChainDbArgs f m blk → ChainDbArgs f m blk

Documentation

data ChainDbArgs f m blk Source #

Constructors

ChainDbArgs
Fields cdbImmDbArgs ∷ ImmutableDbArgs f m blk cdbVolDbArgs ∷ VolatileDbArgs f m blk cdbLgrDbArgs ∷ LgrDbArgs f m blk cdbsArgs ∷ ChainDbSpecificArgs f m blk

data ChainDbSpecificArgs f m blk Source #

Arguments specific to the ChainDB, not to the ImmutableDB, VolatileDB, or LedgerDB.

Constructors

ChainDbSpecificArgs

Fields

cdbsBlocksToAddSize ∷ Word
Size of the queue used to store asynchronously added blocks. This is the maximum number of blocks that could be kept in memory at the same time when the background thread processing the blocks can't keep up.
cdbsCheckInFuture ∷ HKD f (CheckInFuture m blk)
cdbsGcDelay ∷ DiffTime
Delay between copying a block to the ImmutableDB and triggering a garbage collection for the corresponding slot on the VolatileDB.
The goal of the delay is to ensure that the write to the ImmutableDB has been flushed to disk before deleting the block from the VolatileDB, so that a crash won't result in the loss of the block.
cdbsGcInterval ∷ DiffTime
Batch all scheduled GCs so that at most one GC happens every cdbsGcInterval.
cdbsRegistry ∷ HKD f (ResourceRegistry m)
cdbsTracer ∷ Tracer m (TraceEvent blk)
cdbsHasFSGsmDB ∷ HKD f (SomeHasFS m)
cdbsTopLevelConfig ∷ HKD f (TopLevelConfig blk)
cdbsLoE ∷ GetLoEFragment m blk
If this is LoEEnabled, it contains an action that returns the current LoE fragment.

newtype RelativeMountPoint Source #

A relative path for a MountPoint

The root is determined by context.

Constructors

RelativeMountPoint FilePath

completeChainDbArgs Source #

Arguments

∷ ∀ m blk. (ConsensusProtocol (BlockProtocol blk), IOLike m)
⇒ ResourceRegistry m
→ CheckInFuture m blk
→ TopLevelConfig blk
→ ExtLedgerState blk	Initial ledger
→ ChunkInfo
→ (blk → Bool)	Check integrity
→ (RelativeMountPoint → SomeHasFS m)
→ Incomplete ChainDbArgs m blk	A set of incomplete arguments, possibly modified wrt `defaultArgs`
→ Complete ChainDbArgs m blk

defaultArgs ∷ ∀ m blk. Monad m ⇒ Incomplete ChainDbArgs m blk Source #

Default arguments

See defaultArgs, defaultArgs, defaultArgs, and defaultSpecificArgs for a list of which fields are not given a default and must therefore be set explicitly.

ensureValidateAll ∷ ChainDbArgs f m blk → ChainDbArgs f m blk Source #

updateDiskPolicyArgs ∷ DiskPolicyArgs → ChainDbArgs f m blk → ChainDbArgs f m blk Source #

updateTracer ∷ Tracer m (TraceEvent blk) → ChainDbArgs f m blk → ChainDbArgs f m blk Source #