Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB

42 types
1 class
24 values

Packageouroboros-consensus-4.2.1.0
Exports67
LicenceApache-2.0

valueaddBlock

:: IOLike m
=> ChainDB m blk
-> InvalidBlockPunishment m
-> blk
-> m (AddBlockResult blk)

valueaddBlockWaitWrittenToDisk

:: IOLike m
=> ChainDB m blk
-> InvalidBlockPunishment m
-> blk
-> m Bool

valueaddBlock_

:: IOLike m
=> ChainDB m blk
-> InvalidBlockPunishment m
-> blk
-> m ()

valueaddPerasCertSync

:: IOLike m
=> ChainDB m blk
-> WithArrivalTime (ValidatedPerasCert blk)
-> m AddPerasCertChainSelOutcome

valueaddPerasVoteSync

:: IOLike m
=> ChainDB m blk
-> WithArrivalTime (ValidatedPerasVote blk)
-> m (AddPerasVoteResult blk, Maybe AddPerasCertChainSelOutcome)

valueemptyIterator :: Monad m => Iterator m blk b

valuefromChain :: IOLike m => m (ChainDB m blk) -> Chain blk -> m (ChainDB m blk)

valuegetCurrentTip

:: (Monad (STM m), HasHeader (Header blk))
=> ChainDB m blk
-> STM m (Tip blk)

valuegetPoint :: BlockComponent blk (Point blk)

valuegetSerialisedBlockWithPoint :: BlockComponent blk (WithPoint blk (Serialised blk))

valuegetSerialisedHeaderWithPoint :: BlockComponent blk (WithPoint blk (SerialisedHeader blk))

valuegetTipBlockNo

:: (Monad (STM m), HasHeader (Header blk))
=> ChainDB m blk
-> STM m (WithOrigin BlockNo)

valuestreamAll

:: (MonadSTM m, HasHeader blk, HasCallStack)
=> ChainDB m blk
-> ResourceRegistry m
-> BlockComponent blk b
-> m (Iterator m blk b)

valuestreamFrom

:: (MonadSTM m, HasHeader blk, HasCallStack)
=> StreamFrom blk
-> ChainDB m blk
-> ResourceRegistry m
-> BlockComponent blk b
-> m (Iterator m blk b)

valuetoChain

:: (HasCallStack, IOLike m, HasHeader blk)
=> ChainDB m blk
-> m (Chain blk)

valuetraverseFollower

:: Monad m
=> b -> m b'
-> Follower m blk b
-> Follower m blk b'

valuetraverseIterator

:: Monad m
=> b -> m b'
-> Iterator m blk b
-> Iterator m blk b'

valuetriggerChainSelection :: IOLike m => ChainDB m blk -> m ()

valuetriggerChainSelectionAsync :: ChainDB m blk -> m (ChainSelectionPromise m)

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

valuevalidBounds :: StandardHash blk => StreamFrom blk -> StreamTo blk -> Bool

datadata IsEBB

IsEBB IsNotEBB

Instances8Eq, Show, Generic, NFData, Serialise, NoThunks, …

Eq IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Show IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Generic IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
NFData IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Serialise IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
NoThunks IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Condense IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
type Rep IsEBB = D1 ('MetaData "IsEBB" "Ouroboros.Consensus.Block.EBB" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "IsEBB" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IsNotEBB" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB

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

Constructors

AddBlockPromise
- blockWrittenToDisk :: STM m Bool
- blockProcessed :: STM m (AddBlockResult blk)

datadata AddBlockResult blk

Constructors

SuccesfullyAddedBlock (Point blk)
FailedToAddBlock String

Instances2Eq, Show

StandardHash blk => Eq (AddBlockResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
StandardHash blk => Show (AddBlockResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata AddPerasCertChainSelOutcome

Constructors

Instances6Eq, Ord, Show, Generic, NoThunks, Rep

Eq AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Ord AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Show AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Generic AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
NoThunks AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type Rep AddPerasCertChainSelOutcome = D1 ('MetaData "AddPerasCertChainSelOutcome" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasCertIgnoredTooOld" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PerasCertNotProcessedClosing" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PerasCertProcessed" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddPerasCertResult))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

newtypenewtype AddPerasCertPromise (m :: Type -> Type)

Constructors

AddPerasCertPromise
- waitPerasCertProcessed :: m AddPerasCertChainSelOutcome

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

Constructors

ChainDB
- addBlockAsync :: InvalidBlockPunishment m -> blk -> m (AddBlockPromise m blk)
- chainSelAsync :: m (ChainSelectionPromise m)
- getCurrentChain :: STM m (AnchoredFragment (Header blk))
- getCurrentChainWithTime :: STM m (AnchoredFragment (HeaderWithTime blk))
- getCurrentLedger :: STM m (ExtLedgerState blk EmptyMK)
- getImmutableLedger :: STM m (ExtLedgerState blk EmptyMK)
- getPastLedger :: Point blk -> STM m (Maybe (ExtLedgerState blk EmptyMK))
- getHeaderStateHistory :: STM m (HeaderStateHistory blk)
- allocInRegistryReadOnlyForkerAtPoint :: Target (Point blk) -> ResourceRegistry m -> m (Either GetForkerError (ResourceKey m, ReadOnlyForker' m blk))
- openReadOnlyForkerAtPoint :: Target (Point blk) -> m (Either GetForkerError (ReadOnlyForker' m blk))
- withReadOnlyForkerAtPoint :: forall r. Target (Point blk) -> (Either GetForkerError (ReadOnlyForker' m blk) -> WithEarlyExit m r) -> WithEarlyExit m r
- getTipBlock :: m (Maybe blk)
- getTipHeader :: m (Maybe (Header blk))
- getTipPoint :: STM m (Point blk)
- getBlockComponent :: forall b. BlockComponent blk b -> RealPoint blk -> m (Maybe b)
- getIsFetched :: STM m (Point blk -> Bool)
- getIsValid :: STM m (RealPoint blk -> Maybe Bool)
- getMaxSlotNo :: STM m MaxSlotNo
- stream :: forall b. ResourceRegistry m -> BlockComponent blk b -> StreamFrom blk -> StreamTo blk -> m (Either (UnknownRange blk) (Iterator m blk b))
- newFollower :: forall b. ResourceRegistry m -> ChainType -> BlockComponent blk b -> m (Follower m blk b)
- getIsInvalidBlock :: STM m (WithFingerprint (HeaderHash blk -> Maybe (ExtValidationError blk)))
- getChainSelStarvation :: STM m ChainSelStarvation
- getStatistics :: m Statistics
- getPerasWeightSnapshot :: STM m (WithFingerprint (PerasWeightSnapshot blk))
- getLatestPerasCertSeen :: STM m (Maybe (WithArrivalTime (ValidatedPerasCert blk)))
- getLatestPerasCertOnChainRound :: STM m (Maybe PerasRoundNo)
- addPerasCertAsync :: WithArrivalTime (ValidatedPerasCert blk) -> m (AddPerasCertPromise m)
- getPerasCertsAfter :: PerasCertTicketNo -> STM m (Map PerasCertTicketNo (m (WithArrivalTime (ValidatedPerasCert blk))))
- getPerasCertIds :: STM m (Set PerasRoundNo)
- addPerasVoteWithAsyncCertHandling :: WithArrivalTime (ValidatedPerasVote blk) -> m (AddPerasVoteResult blk, Maybe (AddPerasCertPromise m))
- getPerasVotesAfter :: PerasVoteTicketNo -> STM m (Map PerasVoteTicketNo (WithArrivalTime (ValidatedPerasVote blk)))
- getPerasVoteIds :: STM m (Set (PerasVoteId blk))
- waitForImmutableBlock :: RealPoint blk -> m (Either SeekBlockError (RealPoint blk))
- closeDB :: m ()
- isOpen :: STM m Bool

datadata ChainDbError blk

Constructors

ClosedDBError PrettyCallStack
ClosedFollowerError
InvalidIteratorRange (StreamFrom blk) (StreamTo blk)

Instances2Show, Exception

(Typeable blk, StandardHash blk) => Show (ChainDbError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
(Typeable blk, StandardHash blk) => Exception (ChainDbError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata ChainDbFailure blk

Constructors

LgrDbFailure FsError
ChainDbMissingBlock (RealPoint blk)

Instances2Show, Exception

StandardHash blk => Show (ChainDbFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
(Typeable blk, StandardHash blk) => Exception (ChainDbFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

newtypenewtype ChainSelectionPromise (m :: Type -> Type)

Constructors

ChainSelectionPromise
- waitChainSelectionPromise :: m ()

datadata ChainType

SelectedChain TentativeChain

Instances4Eq, Show, Generic, Rep

Eq ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Show ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Generic ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type Rep ChainType = D1 ('MetaData "ChainType" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "SelectedChain" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TentativeChain" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata Follower (m :: Type -> Type) blk a

Constructors

Follower
- followerInstruction :: m (Maybe (ChainUpdate blk a))
- followerInstructionBlocking :: m (ChainUpdate blk a)
- followerForward :: [Point blk] -> m (Maybe (Point blk))
- followerClose :: m ()

Instances1Functor

Functor m => Functor (Follower m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

typetype GetLoEFragment (m :: Type -> Type) blk = m (LoE (AnchoredFragment (HeaderWithTime blk)))

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

Constructors

Iterator
- iteratorNext :: m (IteratorResult blk b)
- iteratorClose :: m ()

Instances3Functor, Foldable, Traversable

Functor m => Functor (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Foldable m => Foldable (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Traversable m => Traversable (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata IteratorResult blk b

Constructors

Instances5Functor, Foldable, Traversable, Eq, Show

Functor (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Foldable (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Traversable (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
(Eq blk, Eq b, StandardHash blk) => Eq (IteratorResult blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
(Show blk, Show b, StandardHash blk) => Show (IteratorResult blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata LoE a

Constructors

LoEDisabled
LoEEnabled !a

Instances8Functor, Foldable, Traversable, Eq, Show, Generic, …

Functor LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Foldable LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Traversable LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Eq a => Eq (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Show a => Show (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Generic (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
NoThunks a => NoThunks (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type Rep (LoE a) = D1 ('MetaData "LoE" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "LoEDisabled" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LoEEnabled" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata UnknownRange blk

Constructors

MissingBlock (RealPoint blk)
ForkTooOld (StreamFrom blk)

Instances2Eq, Show

StandardHash blk => Eq (UnknownRange blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
StandardHash blk => Show (UnknownRange blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata WithPoint blk b

Constructors

WithPoint
- withoutPoint :: !b
- point :: !Point blk

Instances2StandardHash, HeaderHash

StandardHash blk => StandardHash (WithPoint blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type HeaderHash (WithPoint blk b) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

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

datadata BlockComponent blk a where

Constructors

GetVerifiedBlock :: BlockComponent blk blk
GetBlock :: BlockComponent blk blk
GetRawBlock :: BlockComponent blk ByteString
GetHeader :: BlockComponent blk (Header blk)
GetRawHeader :: BlockComponent blk ByteString
GetHash :: BlockComponent blk (HeaderHash blk)
GetSlot :: BlockComponent blk SlotNo
GetIsEBB :: BlockComponent blk IsEBB
GetBlockSize :: BlockComponent blk SizeInBytes
GetHeaderSize :: BlockComponent blk Word16
GetNestedCtxt :: BlockComponent blk (SomeSecond (NestedCtxt Header) blk)
GetPure :: a -> BlockComponent blk a
GetApply :: BlockComponent blk (a1 -> a) -> BlockComponent blk a1 -> BlockComponent blk a

Instances2Functor, Applicative

Functor (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
Applicative (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common

datadata StreamFrom blk

Constructors

StreamFromInclusive !(RealPoint blk)
StreamFromExclusive !(Point blk)

Instances5Eq, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
StandardHash blk => Show (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
Generic (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
(StandardHash blk, Typeable blk) => NoThunks (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
type Rep (StreamFrom blk) = D1 ('MetaData "StreamFrom" "Ouroboros.Consensus.Storage.Common" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "StreamFromInclusive" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "StreamFromExclusive" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common

newtypenewtype StreamTo blk

Constructors

StreamToInclusive (RealPoint blk)

Instances5Eq, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
StandardHash blk => Show (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
Generic (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
(StandardHash blk, Typeable blk) => NoThunks (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
type Rep (StreamTo blk) = D1 ('MetaData "StreamTo" "Ouroboros.Consensus.Storage.Common" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "StreamToInclusive" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common

datadata SeekBlockError

TargetNewerThanTip TipIsOrigin

Instances2Eq, Show

Eq SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Show SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API

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)

datadata AddPerasCertResult

AddedPerasCertToDB PerasCertAlreadyInDB

Instances6Eq, Ord, Show, Generic, NoThunks, Rep

Eq AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API
Ord AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API
Show AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API
Generic AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API
NoThunks AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API
type Rep AddPerasCertResult = D1 ('MetaData "AddPerasCertResult" "Ouroboros.Consensus.Storage.PerasCertDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "AddedPerasCertToDB" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PerasCertAlreadyInDB" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API

datadata AddPerasVoteResult blk

Constructors

Instances6Eq, Ord, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API
StandardHash blk => Ord (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API
StandardHash blk => Show (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API
Generic (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API
StandardHash blk => NoThunks (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API
type Rep (AddPerasVoteResult blk) = D1 ('MetaData "AddPerasVoteResult" "Ouroboros.Consensus.Storage.PerasVoteDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasVoteAlreadyInDB" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "AddedPerasVoteButDidntGenerateNewCert" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AddedPerasVoteAndGeneratedNewCert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValidatedPerasCert blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API

type

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