Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Contents

Orphan instances

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 Source # Methods from :: ByronOtherHeaderEnvelopeError -> Rep ByronOtherHeaderEnvelopeError x Source # to :: Rep ByronOtherHeaderEnvelopeError x -> ByronOtherHeaderEnvelopeError Source #
Show ByronOtherHeaderEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Methods showsPrec :: Int -> ByronOtherHeaderEnvelopeError -> ShowS Source # show :: ByronOtherHeaderEnvelopeError -> String Source # showList :: [ByronOtherHeaderEnvelopeError] -> ShowS Source #
Eq ByronOtherHeaderEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Methods (==) :: ByronOtherHeaderEnvelopeError -> ByronOtherHeaderEnvelopeError -> Bool Source # (/=) :: ByronOtherHeaderEnvelopeError -> ByronOtherHeaderEnvelopeError -> Bool Source #
NoThunks ByronOtherHeaderEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Methods noThunks :: Context -> ByronOtherHeaderEnvelopeError -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ByronOtherHeaderEnvelopeError -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ByronOtherHeaderEnvelopeError -> String
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.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))

data TipInfoIsEBB blk #

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 Source # Methods from :: TipInfoIsEBB blk -> Rep (TipInfoIsEBB blk) x Source # to :: Rep (TipInfoIsEBB blk) x -> TipInfoIsEBB blk Source #
StandardHash blk => Show (TipInfoIsEBB blk)
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods showsPrec :: Int -> TipInfoIsEBB blk -> ShowS Source # show :: TipInfoIsEBB blk -> String Source # showList :: [TipInfoIsEBB blk] -> ShowS Source #
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 => 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) showTypeOf :: Proxy (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.14.0.0-121Znn1OCbJFCod8haNyF" '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 #
Instance details Methods expectedFirstBlockNo :: proxy ByronBlock -> BlockNo expectedNextBlockNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> BlockNo -> BlockNo minimumPossibleSlotNo :: Proxy ByronBlock -> SlotNo minimumNextSlotNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> SlotNo -> SlotNo
HasAnnTip ByronBlock Source #
Instance details Associated Types type TipInfo ByronBlock Methods getTipInfo :: Header ByronBlock -> TipInfo ByronBlock tipInfoHash :: proxy ByronBlock -> TipInfo ByronBlock -> HeaderHash ByronBlock
ValidateEnvelope ByronBlock Source #
Instance details Associated Types type OtherHeaderEnvelopeError ByronBlock Methods additionalEnvelopeChecks :: TopLevelConfig ByronBlock -> LedgerView (BlockProtocol ByronBlock) -> Header ByronBlock -> Except (OtherHeaderEnvelopeError ByronBlock) ()