Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB.Impl

19 types
1 class
4 values

Packageouroboros-consensus-4.2.1.0
Exports24
LicenceApache-2.0

valueopenDB

:: (IOLike m, LedgerSupportsProtocol blk, LedgerSupportsPeras blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, ConvertRawHash blk, SerialiseDiskConstraints blk)
=> Complete ChainDbArgs m blk
-> m (ChainDB m blk)

valueopenDBInternal

:: (IOLike m, LedgerSupportsProtocol blk, LedgerSupportsPeras blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, ConvertRawHash blk, SerialiseDiskConstraints blk, HasCallStack)
=> Complete ChainDbArgs m blk
-> Bool
-> m (ChainDB m blk, Internal m blk)

valuewithDB

:: (IOLike m, LedgerSupportsProtocol blk, LedgerSupportsPeras blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, ConvertRawHash blk, SerialiseDiskConstraints blk)
=> Complete ChainDbArgs m blk
-> ChainDB m blk -> m a
-> m a

value

defaultArgs :: (IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) => Incomplete ChainDbArgs m blk

datadata ChainDbArgs (f :: Type -> Type) (m :: Type -> Type) blk

Constructors

ChainDbArgs
- cdbImmDbArgs :: ImmutableDbArgs f m blk
- cdbVolDbArgs :: VolatileDbArgs f m blk
- cdbLgrDbArgs :: LedgerDbArgs f m blk
- cdbPerasCertDbArgs :: PerasCertDbArgs f m blk
- cdbPerasVoteDbArgs :: PerasVoteDbArgs f m blk
- cdbsArgs :: ChainDbSpecificArgs f m blk

newtypenewtype RelativeMountPoint

Constructors

RelativeMountPoint FilePath

datadata Internal (m :: Type -> Type) blk

Constructors

Internal
- intCopyToImmutableDB :: m (WithOrigin SlotNo)
- intGarbageCollect :: SlotNo -> m ()
- intTryTakeSnapshot :: m ()
- intAddBlockRunner :: m Void
- intKillBgThreads :: StrictTVar m (m ())

datadata SelectionChangedInfo blk

Constructors

SelectionChangedInfo
- newTipPoint :: RealPoint blk
- newTipEpoch :: EpochNo
- newTipSlotInEpoch :: Word64
- newTipTrigger :: Maybe (RealPoint blk)
- newSuffixSelectView :: WeightedSelectView (BlockProtocol blk)
- oldSuffixSelectView :: Maybe (WeightedSelectView (BlockProtocol blk))

Instances4Eq, Show, Generic, Rep

(Eq (TiebreakerView (BlockProtocol blk)), StandardHash blk) => Eq (SelectionChangedInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(Show (TiebreakerView (BlockProtocol blk)), StandardHash blk) => Show (SelectionChangedInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (SelectionChangedInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (SelectionChangedInfo blk) = D1 ('MetaData "SelectionChangedInfo" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "SelectionChangedInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "newTipPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: (S1 ('MetaSel ('Just "newTipEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "newTipSlotInEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "newTipTrigger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RealPoint blk))) :*: (S1 ('MetaSel ('Just "newSuffixSelectView") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WeightedSelectView (BlockProtocol blk))) :*: S1 ('MetaSel ('Just "oldSuffixSelectView") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (WeightedSelectView (BlockProtocol blk))))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

class

class (ImmutableDbSerialiseConstraints blk, LedgerDbSerialiseConstraints blk, VolatileDbSerialiseConstraints blk, EncodeDiskDep (NestedCtxt Header) blk) => SerialiseDiskConstraints blk

Instances1SerialiseDiskConstraints

SerialiseHFC xs => SerialiseDiskConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan

datadata TraceAddBlockEvent blk

Constructors

IgnoreBlockOlderThanImmTip (RealPoint blk)
IgnoreBlockAlreadyInVolatileDB (RealPoint blk)
IgnoreInvalidBlock (RealPoint blk) (ExtValidationError blk)
AddedBlockToQueue (RealPoint blk) (Enclosing' Word)
PoppingFromQueue
PoppedBlockFromQueue (RealPoint blk)
AddedReprocessLoEBlocksToQueue (Enclosing' Word)
PoppedReprocessLoEBlocksFromQueue
AddedBlockToVolatileDB (RealPoint blk) BlockNo IsEBB Enclosing
TryAddToCurrentChain (RealPoint blk)
TrySwitchToAFork (RealPoint blk) (ChainDiff (HeaderFields blk))
StoreButDontChange (RealPoint blk)
ChainSelectionLoEDebug (AnchoredFragment (Header blk)) (LoE (AnchoredFragment (Header blk)))
AddedToCurrentChain [LedgerEvent blk] (SelectionChangedInfo blk) (AnchoredFragment (Header blk)) (AnchoredFragment (Header blk)) (ReasonForSwitch' blk)
SwitchedToAFork [LedgerEvent blk] (SelectionChangedInfo blk) (AnchoredFragment (Header blk)) (AnchoredFragment (Header blk)) (ReasonForSwitch' blk)
AddBlockValidation (TraceValidationEvent blk)
PipeliningEvent (TracePipeliningEvent blk)
ChangingSelection (Point blk)

Instances4Eq, Show, Generic, Rep

(Eq (Header blk), LedgerSupportsProtocol blk, InspectLedger blk, Eq (ReasonForSwitch (WithEmptyFragment (WeightedSelectView (BlockProtocol blk)))), Eq (ReasonForSwitch (SelectView (BlockProtocol blk)))) => Eq (TraceAddBlockEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(Show (Header blk), LedgerSupportsProtocol blk, InspectLedger blk, Show (ReasonForSwitch (WithEmptyFragment (WeightedSelectView (BlockProtocol blk)))), Show (ReasonForSwitch (SelectView (BlockProtocol blk)))) => Show (TraceAddBlockEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceAddBlockEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceAddBlockEvent blk) = D1 ('MetaData "TraceAddBlockEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((((C1 ('MetaCons "IgnoreBlockOlderThanImmTip" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "IgnoreBlockAlreadyInVolatileDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)))) :+: (C1 ('MetaCons "IgnoreInvalidBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExtValidationError blk))) :+: C1 ('MetaCons "AddedBlockToQueue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Enclosing' Word))))) :+: ((C1 ('MetaCons "PoppingFromQueue" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PoppedBlockFromQueue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)))) :+: (C1 ('MetaCons "AddedReprocessLoEBlocksToQueue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Enclosing' Word))) :+: (C1 ('MetaCons "PoppedReprocessLoEBlocksFromQueue" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AddedBlockToVolatileDB" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsEBB) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Enclosing))))))) :+: (((C1 ('MetaCons "TryAddToCurrentChain" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "TrySwitchToAFork" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainDiff (HeaderFields blk))))) :+: (C1 ('MetaCons "StoreButDontChange" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "ChainSelectionLoEDebug" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LoE (AnchoredFragment (Header blk))))))) :+: ((C1 ('MetaCons "AddedToCurrentChain" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LedgerEvent blk]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SelectionChangedInfo blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ReasonForSwitch' blk))))) :+: C1 ('MetaCons "SwitchedToAFork" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LedgerEvent blk]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SelectionChangedInfo blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ReasonForSwitch' blk)))))) :+: (C1 ('MetaCons "AddBlockValidation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceValidationEvent blk))) :+: (C1 ('MetaCons "PipeliningEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TracePipeliningEvent blk))) :+: C1 ('MetaCons "ChangingSelection" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceAddPerasCertEvent blk

Constructors

AddedPerasCertToQueue PerasRoundNo (Point blk) (Enclosing' Word)
PoppedPerasCertFromQueue PerasRoundNo (Point blk)
IgnorePerasCertTooOld PerasRoundNo (Point blk) (Anchor blk)
PerasCertBoostsCurrentChain PerasRoundNo (Point blk)
PerasCertBoostsGenesis PerasRoundNo
PerasCertBoostsBlockNotYetReceived PerasRoundNo (Point blk)
ChainSelectionForBoostedBlock PerasRoundNo (Point blk)

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceAddPerasCertEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceAddPerasCertEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceAddPerasCertEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceAddPerasCertEvent blk) = D1 ('MetaData "TraceAddPerasCertEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((C1 ('MetaCons "AddedPerasCertToQueue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Enclosing' Word)))) :+: (C1 ('MetaCons "PoppedPerasCertFromQueue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "IgnorePerasCertTooOld" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Anchor blk)))))) :+: ((C1 ('MetaCons "PerasCertBoostsCurrentChain" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "PerasCertBoostsGenesis" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo))) :+: (C1 ('MetaCons "PerasCertBoostsBlockNotYetReceived" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "ChainSelectionForBoostedBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

newtypenewtype TraceChainSelStarvationEvent blk

Constructors

ChainSelStarvation (Enclosing' (RealPoint blk))

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceChainSelStarvationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceChainSelStarvationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceChainSelStarvationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceChainSelStarvationEvent blk) = D1 ('MetaData "TraceChainSelStarvationEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "ChainSelStarvation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Enclosing' (RealPoint blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceCopyToImmutableDBEvent blk

Constructors

CopiedBlockToImmutableDB (Point blk)
NoBlocksToCopyToImmutableDB

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceCopyToImmutableDBEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceCopyToImmutableDBEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceCopyToImmutableDBEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceCopyToImmutableDBEvent blk) = D1 ('MetaData "TraceCopyToImmutableDBEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "CopiedBlockToImmutableDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "NoBlocksToCopyToImmutableDB" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceEvent blk

Constructors

TraceAddBlockEvent (TraceAddBlockEvent blk)
TraceFollowerEvent (TraceFollowerEvent blk)
TraceCopyToImmutableDBEvent (TraceCopyToImmutableDBEvent blk)
TraceGCEvent (TraceGCEvent blk)
TraceInitChainSelEvent (TraceInitChainSelEvent blk)
TraceOpenEvent (TraceOpenEvent blk)
TraceIteratorEvent (TraceIteratorEvent blk)
TraceLedgerDBEvent (TraceEvent blk)
TraceImmutableDBEvent (TraceEvent blk)
TraceVolatileDBEvent (TraceEvent blk)
TracePerasCertDbEvent (TraceEvent blk)
TracePerasVoteDbEvent (TraceEvent blk)
TraceLastShutdownUnclean
TraceChainSelStarvationEvent (TraceChainSelStarvationEvent blk)
TraceAddPerasCertEvent (TraceAddPerasCertEvent blk)

Instances3Show, Generic, Rep

(Show (Header blk), LedgerSupportsProtocol blk, InspectLedger blk, Show (TraceAddBlockEvent blk)) => Show (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceEvent blk) = D1 ('MetaData "TraceEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (((C1 ('MetaCons "TraceAddBlockEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceAddBlockEvent blk))) :+: (C1 ('MetaCons "TraceFollowerEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceFollowerEvent blk))) :+: C1 ('MetaCons "TraceCopyToImmutableDBEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceCopyToImmutableDBEvent blk))))) :+: ((C1 ('MetaCons "TraceGCEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceGCEvent blk))) :+: C1 ('MetaCons "TraceInitChainSelEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceInitChainSelEvent blk)))) :+: (C1 ('MetaCons "TraceOpenEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceOpenEvent blk))) :+: C1 ('MetaCons "TraceIteratorEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceIteratorEvent blk)))))) :+: (((C1 ('MetaCons "TraceLedgerDBEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceEvent blk))) :+: C1 ('MetaCons "TraceImmutableDBEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceEvent blk)))) :+: (C1 ('MetaCons "TraceVolatileDBEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceEvent blk))) :+: C1 ('MetaCons "TracePerasCertDbEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceEvent blk))))) :+: ((C1 ('MetaCons "TracePerasVoteDbEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceEvent blk))) :+: C1 ('MetaCons "TraceLastShutdownUnclean" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TraceChainSelStarvationEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceChainSelStarvationEvent blk))) :+: C1 ('MetaCons "TraceAddPerasCertEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceAddPerasCertEvent blk)))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceFollowerEvent blk

Constructors

NewFollower
FollowerNoLongerInMem (FollowerRollState blk)
FollowerSwitchToMem (Point blk) (WithOrigin SlotNo)
FollowerNewImmIterator (Point blk) (WithOrigin SlotNo)

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceFollowerEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceFollowerEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceFollowerEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceFollowerEvent blk) = D1 ('MetaData "TraceFollowerEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((C1 ('MetaCons "NewFollower" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FollowerNoLongerInMem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FollowerRollState blk)))) :+: (C1 ('MetaCons "FollowerSwitchToMem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin SlotNo))) :+: C1 ('MetaCons "FollowerNewImmIterator" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin SlotNo)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceGCEvent blk

Constructors

ScheduledGC SlotNo Time
PerformedGC SlotNo

Instances4Eq, Show, Generic, Rep

Eq (TraceGCEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Show (TraceGCEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceGCEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceGCEvent blk) = D1 ('MetaData "TraceGCEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ScheduledGC" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Time)) :+: C1 ('MetaCons "PerformedGC" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceInitChainSelEvent blk

Constructors

Instances4Eq, Show, Generic, Rep

(Eq (Header blk), LedgerSupportsProtocol blk) => Eq (TraceInitChainSelEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(Show (Header blk), LedgerSupportsProtocol blk) => Show (TraceInitChainSelEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceInitChainSelEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceInitChainSelEvent blk) = D1 ('MetaData "TraceInitChainSelEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "StartedInitChainSelection" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "InitialChainSelected" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InitChainSelValidation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceValidationEvent blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceIteratorEvent blk

Constructors

UnknownRangeRequested (UnknownRange blk)
StreamFromVolatileDB (StreamFrom blk) (StreamTo blk) [RealPoint blk]
StreamFromImmutableDB (StreamFrom blk) (StreamTo blk)
StreamFromBoth (StreamFrom blk) (StreamTo blk) [RealPoint blk]
BlockMissingFromVolatileDB (RealPoint blk)
BlockWasCopiedToImmutableDB (RealPoint blk)
BlockGCedFromVolatileDB (RealPoint blk)
SwitchBackToVolatileDB

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceIteratorEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceIteratorEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceIteratorEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceIteratorEvent blk) = D1 ('MetaData "TraceIteratorEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (((C1 ('MetaCons "UnknownRangeRequested" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnknownRange blk))) :+: C1 ('MetaCons "StreamFromVolatileDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamFrom blk)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamTo blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RealPoint blk])))) :+: (C1 ('MetaCons "StreamFromImmutableDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamFrom blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamTo blk))) :+: C1 ('MetaCons "StreamFromBoth" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamFrom blk)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamTo blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RealPoint blk]))))) :+: ((C1 ('MetaCons "BlockMissingFromVolatileDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "BlockWasCopiedToImmutableDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)))) :+: (C1 ('MetaCons "BlockGCedFromVolatileDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "SwitchBackToVolatileDB" 'PrefixI 'False) U1)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceOpenEvent blk

Constructors

Instances4Eq, Show, Generic, Rep

StandardHash blk => Eq (TraceOpenEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (TraceOpenEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceOpenEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceOpenEvent blk) = D1 ('MetaData "TraceOpenEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (((C1 ('MetaCons "StartedOpeningDB" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OpenedDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)))) :+: (C1 ('MetaCons "ClosedDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "StartedOpeningImmutableDB" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "OpenedImmutableDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :+: C1 ('MetaCons "StartedOpeningVolatileDB" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "OpenedVolatileDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MaxSlotNo)) :+: (C1 ('MetaCons "StartedOpeningLgrDB" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OpenedLgrDB" 'PrefixI 'False) U1))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TracePipeliningEvent blk

Constructors

SetTentativeHeader (Header blk) Enclosing
TrapTentativeHeader (Header blk)
OutdatedTentativeHeader (Header blk)

Instances2Eq, Show

Eq (Header blk) => Eq (TracePipeliningEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Show (Header blk) => Show (TracePipeliningEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata TraceValidationEvent blk

Constructors

InvalidBlock (ExtValidationError blk) (RealPoint blk)
ValidCandidate (AnchoredFragment (Header blk))
UpdateLedgerDbTraceEvent (TraceValidateEvent blk)

Instances4Eq, Show, Generic, Rep

(Eq (Header blk), LedgerSupportsProtocol blk) => Eq (TraceValidationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(Show (Header blk), LedgerSupportsProtocol blk) => Show (TraceValidationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (TraceValidationEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (TraceValidationEvent blk) = D1 ('MetaData "TraceValidationEvent" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "InvalidBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExtValidationError blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: (C1 ('MetaCons "ValidCandidate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment (Header blk)))) :+: C1 ('MetaCons "UpdateLedgerDbTraceEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceValidateEvent blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

type

type ImmutableDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, ReconstructNestedCtxt Header blk, HasBinaryBlockInfo blk)

type

type LedgerDbSerialiseConstraints blk = (Serialise (HeaderHash blk), EncodeDisk blk (LedgerState blk EmptyMK), DecodeDisk blk (LedgerState blk EmptyMK), EncodeDisk blk (AnnTip blk), DecodeDisk blk (AnnTip blk), EncodeDisk blk (ChainDepState (BlockProtocol blk)), DecodeDisk blk (ChainDepState (BlockProtocol blk)), IndexedMemPack LedgerState blk (TxOut blk), MemPack (TxIn blk), SerializeTablesWithHint LedgerState blk)

type

type VolatileDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, HasNestedContent Header blk, HasBinaryBlockInfo blk)