ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Synopsis

Documentation

data ByronOtherHeaderEnvelopeError Source #

Constructors

UnexpectedEBBInSlot !SlotNo 

Instances

Instances details
Eq ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

(==) ∷ ByronOtherHeaderEnvelopeError → ByronOtherHeaderEnvelopeError → Bool #

(/=) ∷ ByronOtherHeaderEnvelopeError → ByronOtherHeaderEnvelopeError → Bool #

Generic ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type Rep ByronOtherHeaderEnvelopeError 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

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

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 #

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-4.0.0.0-inplace-cardano" '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
StandardHash blk ⇒ Eq (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

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

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

Generic (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

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

Methods

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

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

StandardHash blk ⇒ Show (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

showsPrec ∷ Int → TipInfoIsEBB blk → ShowS #

show ∷ TipInfoIsEBB blk → String #

showList ∷ [TipInfoIsEBB blk] → ShowS #

StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) Source # 
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) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

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