Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Contents

Orphan instances

Synopsis

data ByronOtherHeaderEnvelopeError = UnexpectedEBBInSlot ! SlotNo
data TipInfoIsEBB blk = TipInfoIsEBB !( HeaderHash blk) ! IsEBB

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 Source # (/=) :: ByronOtherHeaderEnvelopeError -> ByronOtherHeaderEnvelopeError -> Bool 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 #
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 #
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.1-1xx7v4AzrF0A75LZoaNMal" ' 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)
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 Methods showsPrec :: Int -> TipInfoIsEBB blk -> ShowS Source # show :: TipInfoIsEBB blk -> String Source # showList :: [ TipInfoIsEBB blk] -> ShowS Source #
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 => 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.1-DT4Cvwf63DZKctsEvaJqCU" ' 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

HasAnnTip ByronBlock Source #
Instance details Associated Types type TipInfo ByronBlock Source # Methods getTipInfo :: Header ByronBlock -> TipInfo ByronBlock Source # tipInfoHash :: proxy ByronBlock -> TipInfo ByronBlock -> HeaderHash ByronBlock Source #
BasicEnvelopeValidation ByronBlock Source #
Instance details Methods expectedFirstBlockNo :: proxy ByronBlock -> BlockNo Source # expectedNextBlockNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> BlockNo -> BlockNo Source # minimumPossibleSlotNo :: Proxy ByronBlock -> SlotNo Source # minimumNextSlotNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> SlotNo -> SlotNo Source #
ValidateEnvelope ByronBlock Source #
Instance details Associated Types type OtherHeaderEnvelopeError ByronBlock Source # Methods additionalEnvelopeChecks :: TopLevelConfig ByronBlock -> Ticked ( LedgerView ( BlockProtocol ByronBlock )) -> Header ByronBlock -> Except ( OtherHeaderEnvelopeError ByronBlock ) () Source #