ouroboros-consensus-byron-0.1.0.0: Byron ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Synopsis

Documentation

data ByronOtherHeaderEnvelopeError Source #

Instances

Instances details
Eq ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Show ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Generic ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type Rep ByronOtherHeaderEnvelopeErrorTypeType Source #

NoThunks ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

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-byron-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

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

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

StandardHash blk ⇒ Show (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Generic (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (TipInfoIsEBB blk) ∷ TypeType Source #

Methods

fromTipInfoIsEBB blk → Rep (TipInfoIsEBB blk) x Source #

toRep (TipInfoIsEBB blk) x → TipInfoIsEBB blk Source #

StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

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

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

showTypeOfProxy (TipInfoIsEBB blk) → String #

type Rep (TipInfoIsEBB blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (TipInfoIsEBB blk) = D1 ('MetaData "TipInfoIsEBB" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TipInfoIsEBB" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB)))

Orphan instances