Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB.Impl.Types

Synopsis

value addBlockToAdd
value addPerasCertToQueue
value addReprocessLoEBlocks
value checkInternalChain
value closeChainSelQueue
value followerRollStatePoint
value getChainSelMessage
value getEnv
value getEnv1
value getEnv2
value getEnvSTM
value getEnvSTM1
value getEnvTrans2
value getMaxSlotNoChainSelQueue
value memberChainSelQueue
value newChainSelQueue
value processedChainSelMessage
newtype ChainSelectionPromise
data BlockToAdd
data ChainDbEnv
newtype ChainDbHandle
data ChainDbState
data ChainSelMessage
data ChainSelQueue
data FollowerHandle
newtype FollowerKey
data FollowerRollState
data FollowerState
data Internal
data InternalChain
data InvalidBlockInfo
type InvalidBlocks
newtype IteratorKey
data SelectionChangedInfo
class SerialiseDiskConstraints
data TraceAddBlockEvent
data TraceAddPerasCertEvent
newtype TraceChainSelStarvationEvent
data TraceCopyToImmutableDBEvent
data TraceEvent
data TraceFollowerEvent
data TraceGCEvent
data TraceInitChainSelEvent
data TraceIteratorEvent
data TraceOpenEvent
data TracePipeliningEvent
data TraceValidationEvent

Packageouroboros-consensus-4.2.1.0
Exports47
LicenceApache-2.0

valueaddBlockToAdd

:: (IOLike m, HasHeader blk)
=> Tracer m (TraceAddBlockEvent blk)
-> ChainSelQueue m blk
-> InvalidBlockPunishment m
-> blk
-> m (AddBlockPromise m blk)

valueaddPerasCertToQueue

:: IOLike m
=> Tracer m (TraceAddPerasCertEvent blk)
-> ChainSelQueue m blk
-> WithArrivalTime (ValidatedPerasCert blk)
-> m (AddPerasCertPromise m)

valueaddReprocessLoEBlocks

:: IOLike m
=> Tracer m (TraceAddBlockEvent blk)
-> ChainSelQueue m blk
-> m (ChainSelectionPromise m)

valuecheckInternalChain

:: (HasHeader blk, HasHeader (Header blk))
=> InternalChain blk
-> Maybe String

valuecloseChainSelQueue :: IOLike m => ChainSelQueue m blk -> STM m ()

valuefollowerRollStatePoint :: FollowerRollState blk -> Point blk

valuegetChainSelMessage

:: (HasHeader blk, IOLike m)
=> Tracer m (TraceChainSelStarvationEvent blk)
-> StrictTVar m ChainSelStarvation
-> ChainSelQueue m blk
-> m (ChainSelMessage m blk)

valuegetEnv

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> m r
-> m r

valuegetEnv1

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> a -> m r
-> a
-> m r

valuegetEnv2

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> a -> b -> m r
-> a
-> b
-> m r

valuegetEnvSTM

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> STM m r
-> STM m r

valuegetEnvSTM1

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> a -> STM m r
-> a
-> STM m r

valuegetEnvTrans2

:: (IOLike m, HasCallStack, HasHeader blk)
=> ChainDbHandle m blk
-> ChainDbEnv m blk -> a -> b -> WithEarlyExit m r
-> a
-> b
-> WithEarlyExit m r

valuegetMaxSlotNoChainSelQueue

:: IOLike m
=> ChainSelQueue m blk
-> STM m MaxSlotNo

valuememberChainSelQueue

:: (IOLike m, HasHeader blk)
=> ChainSelQueue m blk
-> STM m (RealPoint blk -> Bool)

valuenewChainSelQueue

:: (IOLike m, StandardHash blk, Typeable blk)
=> Word
-> m (ChainSelQueue m blk)

valueprocessedChainSelMessage

:: (IOLike m, HasHeader blk)
=> ChainSelQueue m blk
-> ChainSelMessage m blk
-> STM m ()

newtypenewtype ChainSelectionPromise (m :: Type -> Type)

Constructors

ChainSelectionPromise
- waitChainSelectionPromise :: m ()

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

Constructors

BlockToAdd
- blockPunish :: !InvalidBlockPunishment m
- blockToAdd :: !blk
- varBlockWrittenToDisk :: !StrictTMVar m Bool
- varBlockProcessed :: !StrictTMVar m (AddBlockResult blk)

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

Constructors

CDB
- cdbImmutableDB :: !ImmutableDB m blk
- cdbImmutableDBLock :: !RAWLock m ()
- cdbVolatileDB :: !VolatileDB m blk
- cdbLedgerDB :: !LedgerDB' m blk
- cdbChain :: !StrictTVar m (InternalChain blk)
- cdbTentativeState :: !StrictTVar m (TentativeHeaderState blk)
- cdbTentativeHeader :: !StrictTVar m (StrictMaybe (Header blk))
- cdbIterators :: !StrictTVar m (Map IteratorKey (m ()))
- cdbFollowers :: !StrictTVar m (Map FollowerKey (FollowerHandle m blk))
- cdbTopLevelConfig :: !TopLevelConfig blk
- cdbInvalid :: !StrictTVar m (WithFingerprint (InvalidBlocks blk))
- cdbNextIteratorKey :: !StrictTVar m IteratorKey
- cdbNextFollowerKey :: !StrictTVar m FollowerKey
- cdbChainSelFuse :: !Fuse m
- cdbTracer :: !Tracer m (TraceEvent blk)
- cdbRegistry :: !ResourceRegistry m
- cdbGcDelay :: !DiffTime
- cdbGcInterval :: !DiffTime
- cdbKillBgThreads :: !StrictTVar m (m ())
- cdbChainSelQueue :: !ChainSelQueue m blk
- cdbLoE :: !m (LoE (AnchoredFragment (HeaderWithTime blk)))
- cdbChainSelStarvation :: !StrictTVar m ChainSelStarvation
- cdbSnapshotDelayRNG :: !StrictTVar m StdGen
- cdbPerasCertDB :: !PerasCertDB m blk
- cdbPerasVoteDB :: !PerasVoteDB m blk

Instances3Generic, NoThunks, Rep

Generic (ChainDbEnv m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk) => NoThunks (ChainDbEnv m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (ChainDbEnv m blk) = D1 ('MetaData "ChainDbEnv" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "CDB" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "cdbImmutableDB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ImmutableDB m blk)) :*: (S1 ('MetaSel ('Just "cdbImmutableDBLock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RAWLock m ())) :*: S1 ('MetaSel ('Just "cdbVolatileDB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VolatileDB m blk)))) :*: (S1 ('MetaSel ('Just "cdbLedgerDB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerDB' m blk)) :*: (S1 ('MetaSel ('Just "cdbChain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (InternalChain blk))) :*: S1 ('MetaSel ('Just "cdbTentativeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (TentativeHeaderState blk)))))) :*: ((S1 ('MetaSel ('Just "cdbTentativeHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (StrictMaybe (Header blk)))) :*: (S1 ('MetaSel ('Just "cdbIterators") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (Map IteratorKey (m ())))) :*: S1 ('MetaSel ('Just "cdbFollowers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (Map FollowerKey (FollowerHandle m blk)))))) :*: (S1 ('MetaSel ('Just "cdbTopLevelConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TopLevelConfig blk)) :*: (S1 ('MetaSel ('Just "cdbInvalid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (WithFingerprint (InvalidBlocks blk)))) :*: S1 ('MetaSel ('Just "cdbNextIteratorKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m IteratorKey)))))) :*: (((S1 ('MetaSel ('Just "cdbNextFollowerKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m FollowerKey)) :*: (S1 ('MetaSel ('Just "cdbChainSelFuse") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Fuse m)) :*: S1 ('MetaSel ('Just "cdbTracer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tracer m (TraceEvent blk))))) :*: (S1 ('MetaSel ('Just "cdbRegistry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ResourceRegistry m)) :*: (S1 ('MetaSel ('Just "cdbGcDelay") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DiffTime) :*: S1 ('MetaSel ('Just "cdbGcInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DiffTime)))) :*: ((S1 ('MetaSel ('Just "cdbKillBgThreads") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (m ()))) :*: (S1 ('MetaSel ('Just "cdbChainSelQueue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainSelQueue m blk)) :*: S1 ('MetaSel ('Just "cdbLoE") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m (LoE (AnchoredFragment (HeaderWithTime blk))))))) :*: ((S1 ('MetaSel ('Just "cdbChainSelStarvation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m ChainSelStarvation)) :*: S1 ('MetaSel ('Just "cdbSnapshotDelayRNG") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m StdGen))) :*: (S1 ('MetaSel ('Just "cdbPerasCertDB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCertDB m blk)) :*: S1 ('MetaSel ('Just "cdbPerasVoteDB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVoteDB m blk))))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

newtypenewtype ChainDbHandle (m :: Type -> Type) blk

Constructors

CDBHandle (StrictTVar m (ChainDbState m blk))

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

Constructors

ChainDbOpen !(ChainDbEnv m blk)
ChainDbClosed

Instances3Generic, NoThunks, Rep

Generic (ChainDbState m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk) => NoThunks (ChainDbState m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (ChainDbState m blk) = D1 ('MetaData "ChainDbState" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "ChainDbOpen" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainDbEnv m blk))) :+: C1 ('MetaCons "ChainDbClosed" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

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

Constructors

ChainSelAddBlock !(BlockToAdd m blk)
ChainSelAddPerasCert !(WithArrivalTime (ValidatedPerasCert blk)) !(StrictTMVar m AddPerasCertChainSelOutcome)
ChainSelReprocessLoEBlocks !(StrictTMVar m ())

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

Instances1NoThunks

NoThunks (ChainSelQueue m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

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

Constructors

FollowerHandle
- fhChainType :: ChainType
- fhSwitchFork :: AnchoredFragment (Header blk) -> STM m ()
- fhClose :: m ()

Instances1NoThunks

NoThunks (FollowerHandle m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

newtypenewtype FollowerKey

Constructors

FollowerKey Word

Instances5Enum, Eq, Ord, Show, NoThunks

Enum FollowerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Eq FollowerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Ord FollowerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Show FollowerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
NoThunks FollowerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata FollowerRollState blk

Constructors

RollBackTo !(Point blk)
RollForwardFrom !(Point blk)

Instances5Eq, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (FollowerRollState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => Show (FollowerRollState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (FollowerRollState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => NoThunks (FollowerRollState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (FollowerRollState blk) = D1 ('MetaData "FollowerRollState" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "RollBackTo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))) :+: C1 ('MetaCons "RollForwardFrom" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata FollowerState (m :: Type -> Type) blk b

Constructors

FollowerInit
FollowerInImmutableDB !(FollowerRollState blk) !(Iterator m blk (Point blk, b))
FollowerInMem !(FollowerRollState blk)

Instances3Generic, NoThunks, Rep

Generic (FollowerState m blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
StandardHash blk => NoThunks (FollowerState m blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (FollowerState m blk b) = D1 ('MetaData "FollowerState" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "FollowerInit" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "FollowerInImmutableDB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FollowerRollState blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Iterator m blk (Point blk, b)))) :+: C1 ('MetaCons "FollowerInMem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FollowerRollState blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

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 InternalChain blk

Constructors

InternalChain
- icWithoutTime :: !AnchoredFragment (Header blk)
- icWithTime :: !AnchoredFragment (HeaderWithTime blk)

Instances3Generic, NoThunks, Rep

Generic (InternalChain blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
(HasHeader blk, NoThunks (Header blk)) => NoThunks (InternalChain blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (InternalChain blk) = D1 ('MetaData "InternalChain" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "InternalChain" 'PrefixI 'True) (S1 ('MetaSel ('Just "icWithoutTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AnchoredFragment (Header blk))) :*: S1 ('MetaSel ('Just "icWithTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AnchoredFragment (HeaderWithTime blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

datadata InvalidBlockInfo blk

Constructors

InvalidBlockInfo
- invalidBlockReason :: !ExtValidationError blk
- invalidBlockSlotNo :: !SlotNo

Instances5Eq, Show, Generic, NoThunks, Rep

LedgerSupportsProtocol blk => Eq (InvalidBlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
LedgerSupportsProtocol blk => Show (InvalidBlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Generic (InvalidBlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
LedgerSupportsProtocol blk => NoThunks (InvalidBlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
type Rep (InvalidBlockInfo blk) = D1 ('MetaData "InvalidBlockInfo" "Ouroboros.Consensus.Storage.ChainDB.Impl.Types" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "InvalidBlockInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBlockReason") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtValidationError blk)) :*: S1 ('MetaSel ('Just "invalidBlockSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

typetype InvalidBlocks blk = Map (HeaderHash blk) (InvalidBlockInfo blk)

newtypenewtype IteratorKey

Constructors

IteratorKey Word

Instances5Enum, Eq, Ord, Show, NoThunks

Enum IteratorKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Eq IteratorKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Ord IteratorKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
Show IteratorKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types
NoThunks IteratorKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Types

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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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

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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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

StartedInitChainSelection
InitialChainSelected
InitChainSelValidation (TraceValidationEvent blk)

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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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

StartedOpeningDB
OpenedDB (Point blk) (Point blk)
ClosedDB (Point blk) (Point blk)
StartedOpeningImmutableDB
OpenedImmutableDB (Point blk) ChunkNo
StartedOpeningVolatileDB
OpenedVolatileDB MaxSlotNo
StartedOpeningLgrDB
OpenedLgrDB

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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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