Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HeaderValidation

6 types
3 classes
24 values

Packageouroboros-consensus-4.2.1.0
Exports36
LicenceApache-2.0

valueannTipHash :: HasAnnTip blk => AnnTip blk -> HeaderHash blk

valueannTipPoint :: HasAnnTip blk => AnnTip blk -> Point blk

valueannTipRealPoint :: HasAnnTip blk => AnnTip blk -> RealPoint blk

valuecastAnnTip :: TipInfo blk ~ TipInfo blk' => AnnTip blk -> AnnTip blk'

valuecastHeaderEnvelopeError

:: (HeaderHash blk ~ HeaderHash blk', OtherHeaderEnvelopeError blk ~ OtherHeaderEnvelopeError blk')
=> HeaderEnvelopeError blk
-> HeaderEnvelopeError blk'

valuecastHeaderError

:: (ValidationErr (BlockProtocol blk) ~ ValidationErr (BlockProtocol blk'), HeaderHash blk ~ HeaderHash blk', OtherHeaderEnvelopeError blk ~ OtherHeaderEnvelopeError blk')
=> HeaderError blk
-> HeaderError blk'

valuecastHeaderState

:: (Coercible (ChainDepState (BlockProtocol blk)) (ChainDepState (BlockProtocol blk')), TipInfo blk ~ TipInfo blk')
=> HeaderState blk
-> HeaderState blk'

valuedecodeAnnTipIsEBB

:: TipInfo blk ~ TipInfoIsEBB blk
=> forall s. Decoder s (HeaderHash blk)
-> forall s. Decoder s (AnnTip blk)

valuedecodeHeaderState

:: forall s. Decoder s (ChainDepState (BlockProtocol blk))
-> forall s. Decoder s (AnnTip blk)
-> forall s. Decoder s (HeaderState blk)

valuedefaultDecodeAnnTip

:: TipInfo blk ~ HeaderHash blk
=> forall s. Decoder s (HeaderHash blk)
-> forall s. Decoder s (AnnTip blk)

valuedefaultEncodeAnnTip

:: TipInfo blk ~ HeaderHash blk
=> HeaderHash blk -> Encoding
-> AnnTip blk
-> Encoding

valueencodeAnnTipIsEBB

:: TipInfo blk ~ TipInfoIsEBB blk
=> HeaderHash blk -> Encoding
-> AnnTip blk
-> Encoding

valueencodeHeaderState

:: ChainDepState (BlockProtocol blk) -> Encoding
-> AnnTip blk -> Encoding
-> HeaderState blk
-> Encoding

valuegenesisHeaderState :: ChainDepState (BlockProtocol blk) -> HeaderState blk

valuegetAnnTip

:: (HasHeader (Header blk), HasAnnTip blk)
=> Header blk
-> AnnTip blk

valueheaderStateBlockNo :: HeaderState blk -> WithOrigin BlockNo

valueheaderStatePoint :: HasAnnTip blk => HeaderState blk -> Point blk

valuemapAnnTip :: (TipInfo blk -> TipInfo blk') -> AnnTip blk -> AnnTip blk'

valuemkHeaderWithTime

:: (HasHardForkHistory blk, HasHeader (Header blk))
=> LedgerConfig blk
-> LedgerState blk mk
-> Header blk
-> HeaderWithTime blk

valuerevalidateHeader

:: (BlockSupportsProtocol blk, ValidateEnvelope blk, HasCallStack)
=> TopLevelConfig blk
-> LedgerView (BlockProtocol blk)
-> Header blk
-> Ticked (HeaderState blk)
-> HeaderState blk

valuetickHeaderState

:: ConsensusProtocol (BlockProtocol blk)
=> ConsensusConfig (BlockProtocol blk)
-> LedgerView (BlockProtocol blk)
-> SlotNo
-> HeaderState blk
-> Ticked (HeaderState blk)

valuevalidateHeader

:: (BlockSupportsProtocol blk, ValidateEnvelope blk)
=> TopLevelConfig blk
-> LedgerView (BlockProtocol blk)
-> Header blk
-> Ticked (HeaderState blk)
-> Except (HeaderError blk) (HeaderState blk)

datadata AnnTip blk

Constructors

AnnTip
- annTipSlotNo :: !SlotNo
- annTipBlockNo :: !BlockNo
- annTipInfo :: !TipInfo blk

Instances9Inject, Isomorphic, Eq, Show, Generic, NoThunks, …

Inject AnnTipDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic AnnTipDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
HasAnnTip blk => Eq (AnnTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
HasAnnTip blk => Show (AnnTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (AnnTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
HasAnnTip blk => NoThunks (AnnTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
type Rep (AnnTip blk) = D1 ('MetaData "AnnTip" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "AnnTip" 'PrefixI 'True) (S1 ('MetaSel ('Just "annTipSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "annTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "annTipInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TipInfo blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

classclass (HasHeader (Header blk), HasAnnTip blk) => BasicEnvelopeValidation blk where

Methods

expectedFirstBlockNo :: proxy blk -> BlockNo
expectedNextBlockNo :: proxy blk -> TipInfo blk -> TipInfo blk -> BlockNo -> BlockNo
minimumPossibleSlotNo :: Proxy blk -> SlotNo
minimumNextSlotNo :: proxy blk -> TipInfo blk -> TipInfo blk -> SlotNo -> SlotNo

Instances2BasicEnvelopeValidation

CanHardFork xs => BasicEnvelopeValidation (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => BasicEnvelopeValidation (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass (StandardHash blk, Show (TipInfo blk), Eq (TipInfo blk), NoThunks (TipInfo blk)) => HasAnnTip blk where

Associated types

type family TipInfo blk

Methods

getTipInfo :: Header blk -> TipInfo blk
tipInfoHash :: proxy blk -> TipInfo blk -> HeaderHash blk

Instances2HasAnnTip

CanHardFork xs => HasAnnTip (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => HasAnnTip (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata HeaderEnvelopeError blk

Constructors

UnexpectedBlockNo !BlockNo !BlockNo
UnexpectedSlotNo !SlotNo !SlotNo
UnexpectedPrevHash !(WithOrigin (HeaderHash blk)) !(ChainHash blk)
CheckpointMismatch !BlockNo !(HeaderHash blk) !(HeaderHash blk)
OtherHeaderEnvelopeError !(OtherHeaderEnvelopeError blk)

Instances5Eq, Show, Generic, NoThunks, Rep

ValidateEnvelope blk => Eq (HeaderEnvelopeError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
ValidateEnvelope blk => Show (HeaderEnvelopeError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (HeaderEnvelopeError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(ValidateEnvelope blk, Typeable blk) => NoThunks (HeaderEnvelopeError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type Rep (HeaderEnvelopeError blk) = D1 ('MetaData "HeaderEnvelopeError" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((C1 ('MetaCons "UnexpectedBlockNo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo)) :+: C1 ('MetaCons "UnexpectedSlotNo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo))) :+: (C1 ('MetaCons "UnexpectedPrevHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (HeaderHash blk))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash blk))) :+: (C1 ('MetaCons "CheckpointMismatch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)))) :+: C1 ('MetaCons "OtherHeaderEnvelopeError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OtherHeaderEnvelopeError blk))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

datadata HeaderError blk

Constructors

HeaderProtocolError !(ValidationErr (BlockProtocol blk))
HeaderEnvelopeError !(HeaderEnvelopeError blk)

Instances5Eq, Show, Generic, NoThunks, Rep

(BlockSupportsProtocol blk, ValidateEnvelope blk) => Eq (HeaderError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(BlockSupportsProtocol blk, ValidateEnvelope blk) => Show (HeaderError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (HeaderError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(BlockSupportsProtocol blk, ValidateEnvelope blk) => NoThunks (HeaderError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type Rep (HeaderError blk) = D1 ('MetaData "HeaderError" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HeaderProtocolError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ValidationErr (BlockProtocol blk)))) :+: C1 ('MetaCons "HeaderEnvelopeError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderEnvelopeError blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

datadata HeaderState blk

Constructors

HeaderState
- headerStateTip :: !WithOrigin (AnnTip blk)
- headerStateChainDep :: !ChainDepState (BlockProtocol blk)

Instances8Inject, Isomorphic, Eq, Show, Generic, NoThunks, …

Inject HeaderStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
(BlockSupportsProtocol blk, HasAnnTip blk) => Eq (HeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(BlockSupportsProtocol blk, HasAnnTip blk) => Show (HeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (HeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(BlockSupportsProtocol blk, HasAnnTip blk) => NoThunks (HeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type Rep (HeaderState blk) = D1 ('MetaData "HeaderState" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HeaderState" 'PrefixI 'True) (S1 ('MetaSel ('Just "headerStateTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (AnnTip blk))) :*: S1 ('MetaSel ('Just "headerStateChainDep") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainDepState (BlockProtocol blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
data Ticked (HeaderState blk)
- TickedHeaderStateuntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

datadata HeaderWithTime blk

Constructors

HeaderWithTime
- hwtHeader :: !Header blk
- hwtSlotRelativeTime :: !RelativeTime

Instances9GetHeader1, StandardHash, Eq, Show, Generic, NoThunks, …

GetHeader1 HeaderWithTimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(Show (HeaderHash blk), Eq (HeaderHash blk), Ord (HeaderHash blk), Typeable (HeaderHash blk), NoThunks (HeaderHash blk), NFData (HeaderHash blk)) => StandardHash (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Eq (Header blk) => Eq (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Show (Header blk) => Show (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
NoThunks (Header blk) => NoThunks (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
(HasHeader (Header blk), StandardHash (HeaderWithTime blk), Typeable blk) => HasHeader (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type Rep (HeaderWithTime blk) = D1 ('MetaData "HeaderWithTime" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HeaderWithTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "hwtHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Header blk)) :*: S1 ('MetaSel ('Just "hwtSlotRelativeTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelativeTime)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type HeaderHash (HeaderWithTime blk) = HeaderHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

datadata TipInfoIsEBB blk

Constructors

TipInfoIsEBB !(HeaderHash blk) !IsEBB

Instances5Eq, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (TipInfoIsEBB blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
StandardHash blk => Show (TipInfoIsEBB blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Generic (TipInfoIsEBB blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
StandardHash blk => NoThunks (TipInfoIsEBB blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type Rep (TipInfoIsEBB blk) = D1 ('MetaData "TipInfoIsEBB" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "TipInfoIsEBB" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

class

class (BasicEnvelopeValidation blk, GetPrevHash blk, Eq (OtherHeaderEnvelopeError blk), Show (OtherHeaderEnvelopeError blk), NoThunks (OtherHeaderEnvelopeError blk)) => ValidateEnvelope blk where

Associated types

type family OtherHeaderEnvelopeError blk

Methods

additionalEnvelopeChecks :: TopLevelConfig blk -> LedgerView (BlockProtocol blk) -> Header blk -> Except (OtherHeaderEnvelopeError blk) ()

Instances2ValidateEnvelope

CanHardFork xs => ValidateEnvelope (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => ValidateEnvelope (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family Ticked (st :: k) :: k

Instances19HasLedgerTables, GetTip, Show, NoThunks, HeaderHash, Ticked, …

Show (Ticked ())Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) => HasLedgerTables (Ticked ExtLedgerState) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
IsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Ticked (f a)) => Show ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
NoThunks (Ticked (f a)) => NoThunks ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
type HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
data Ticked LedgerState (HardForkBlock xs)
- TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Ticked ExtLedgerState
- TickedExtLedgerStatetickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
data Ticked (HardForkChainDepState xs)
- TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
data Ticked (HeaderState blk)
- TickedHeaderStateuntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
data Ticked (PBftState c)
- TickedPBftStategetPBftLedgerView :: LedgerView (PBft c)getTickedPBftState :: PBftState c
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT · orphan
data Ticked (WrapChainDepState blk)
- WrapTickedChainDepStateunwrapTickedChainDepState :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
data Ticked ()
- TickedTrivial
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked

constructorTickedHeaderState

Fields

untickedHeaderStateTip :: WithOrigin (AnnTip blk)
tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))

valuetickedHeaderStateChainDep

:: Ticked (HeaderState blk)
-> Ticked (ChainDepState (BlockProtocol blk))

valueuntickedHeaderStateTip

:: Ticked (HeaderState blk)
-> WithOrigin (AnnTip blk)

constructorTickedTrivial