Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Byron.Ledger.HeaderValidation
Contents
Synopsis
- data ByronOtherHeaderEnvelopeError = UnexpectedEBBInSlot !SlotNo
- data TipInfoIsEBB blk = TipInfoIsEBB !(HeaderHash blk) !IsEBB
Documentation
data ByronOtherHeaderEnvelopeError Source #
Constructors
UnexpectedEBBInSlot !SlotNo |
Instances
data TipInfoIsEBB blk Source #
Reusable strict data type for TipInfo
in case the TipInfo
should
contain IsEBB
in addition to the HeaderHash
.
Constructors
TipInfoIsEBB !(HeaderHash blk) !IsEBB |
Instances
Generic (TipInfoIsEBB blk) | |||||
Defined in Ouroboros.Consensus.HeaderValidation Associated Types
Methods from ∷ TipInfoIsEBB blk → Rep (TipInfoIsEBB blk) x # to ∷ Rep (TipInfoIsEBB blk) x → TipInfoIsEBB blk # | |||||
StandardHash blk ⇒ Show (TipInfoIsEBB blk) | |||||
Defined in Ouroboros.Consensus.HeaderValidation Methods showsPrec ∷ Int → TipInfoIsEBB blk → ShowS # show ∷ TipInfoIsEBB blk → String # showList ∷ [TipInfoIsEBB blk] → ShowS # | |||||
StandardHash blk ⇒ Eq (TipInfoIsEBB blk) | |||||
Defined in Ouroboros.Consensus.HeaderValidation Methods (==) ∷ TipInfoIsEBB blk → TipInfoIsEBB blk → Bool # (/=) ∷ TipInfoIsEBB blk → TipInfoIsEBB blk → Bool # | |||||
StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) | |||||
Defined in Ouroboros.Consensus.HeaderValidation | |||||
type Rep (TipInfoIsEBB blk) | |||||
Defined in Ouroboros.Consensus.HeaderValidation type Rep (TipInfoIsEBB blk) = D1 ('MetaData "TipInfoIsEBB" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "TipInfoIsEBB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB))) |
Orphan instances
BasicEnvelopeValidation ByronBlock Source # | |||||
Methods expectedFirstBlockNo ∷ proxy ByronBlock → BlockNo Source # expectedNextBlockNo ∷ proxy ByronBlock → TipInfo ByronBlock → TipInfo ByronBlock → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy ByronBlock → SlotNo Source # minimumNextSlotNo ∷ proxy ByronBlock → TipInfo ByronBlock → TipInfo ByronBlock → SlotNo → SlotNo Source # | |||||
HasAnnTip ByronBlock Source # | |||||
Associated Types
Methods getTipInfo ∷ Header ByronBlock → TipInfo ByronBlock Source # tipInfoHash ∷ proxy ByronBlock → TipInfo ByronBlock → HeaderHash ByronBlock Source # | |||||
ValidateEnvelope ByronBlock Source # | |||||
Associated Types
|