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 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 #

(/=) :: TipInfoIsEBB blk -> TipInfoIsEBB blk -> Bool #

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 #

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 => 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.1.0.0-GfJNvFcM6lj2s5utKAUPEp" '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)))

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 #

Show ByronOtherHeaderEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

showsPrec :: Int -> ByronOtherHeaderEnvelopeError -> ShowS #

show :: ByronOtherHeaderEnvelopeError -> String #

showList :: [ByronOtherHeaderEnvelopeError] -> ShowS #

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 #

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-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))

Orphan instances