ouroboros-consensus-cardano-0.16.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Synopsis

Documentation

data ByronOtherHeaderEnvelopeError Source #

Constructors

UnexpectedEBBInSlot !SlotNo 

Instances

Instances details
Generic ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type Rep ByronOtherHeaderEnvelopeError ∷ Type → Type #

Methods

from ∷ ByronOtherHeaderEnvelopeError → Rep ByronOtherHeaderEnvelopeError x #

to ∷ Rep ByronOtherHeaderEnvelopeError x → ByronOtherHeaderEnvelopeError #

Show ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

showsPrec ∷ Int → ByronOtherHeaderEnvelopeError → ShowS #

show ∷ ByronOtherHeaderEnvelopeError → String #

showList ∷ [ByronOtherHeaderEnvelopeError] → ShowS #

Eq ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

(==) ∷ ByronOtherHeaderEnvelopeError → ByronOtherHeaderEnvelopeError → Bool #

(/=) ∷ ByronOtherHeaderEnvelopeError → ByronOtherHeaderEnvelopeError → Bool #

NoThunks ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

noThunks ∷ Context → ByronOtherHeaderEnvelopeError → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ByronOtherHeaderEnvelopeError → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ByronOtherHeaderEnvelopeError → String Source #

type Rep ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

type Rep ByronOtherHeaderEnvelopeError = D1 ('MetaData "ByronOtherHeaderEnvelopeError" "Ouroboros.Consensus.Byron.Ledger.HeaderValidation" "ouroboros-consensus-cardano-0.16.0.0-inplace" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))

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

Instances details
Generic (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (TipInfoIsEBB blk) ∷ Type → Type #

Methods

from ∷ TipInfoIsEBB blk → Rep (TipInfoIsEBB blk) x #

to ∷ Rep (TipInfoIsEBB blk) x → TipInfoIsEBB blk #

StandardHash blk ⇒ Show (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

showsPrec ∷ Int → TipInfoIsEBB blk → ShowS #

show ∷ TipInfoIsEBB blk → String #

showList ∷ [TipInfoIsEBB blk] → ShowS #

StandardHash blk ⇒ Eq (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

(==) ∷ TipInfoIsEBB blk → TipInfoIsEBB blk → Bool #

(/=) ∷ TipInfoIsEBB blk → TipInfoIsEBB blk → Bool #

StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TipInfoIsEBB blk) → String Source #

type Rep (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (TipInfoIsEBB blk) = D1 ('MetaData "TipInfoIsEBB" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.18.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