Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel

Description

Infrastructure for doing chain selection across eras

Documentation

data AcrossEraSelection ∷ Type → Type → Type where Source #

Constructors

CompareBlockNo ∷ AcrossEraSelection x y

Just compare block numbers

This is a useful default when two eras run totally different consensus protocols, and we just want to choose the longer chain.

CompareSameSelectView ∷ SelectView (BlockProtocol x) ~ SelectView (BlockProtocol y) ⇒ AcrossEraSelection x y

Two eras using the same SelectView. In this case, we can just compare chains even across eras, as the chain ordering is fully captured by SelectView and its Ord instance.

data WithBlockNo (f ∷ k → Type) (a ∷ k) Source #

Constructors

WithBlockNo
Fields getBlockNo ∷ BlockNo dropBlockNo ∷ f a

Instances

Instances details

Eq (f a) ⇒ Eq (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods (==) ∷ WithBlockNo f a → WithBlockNo f a → Bool Source # (/=) ∷ WithBlockNo f a → WithBlockNo f a → Bool Source #
Show (f a) ⇒ Show (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods showsPrec ∷ Int → WithBlockNo f a → ShowS Source # show ∷ WithBlockNo f a → String Source # showList ∷ [WithBlockNo f a] → ShowS Source #
Generic (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Associated Types type Rep (WithBlockNo f a) ∷ Type → Type Source # Methods from ∷ WithBlockNo f a → Rep (WithBlockNo f a) x Source # to ∷ Rep (WithBlockNo f a) x → WithBlockNo f a Source #
NoThunks (f a) ⇒ NoThunks (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods noThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (WithBlockNo f a) → String #
type Rep (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel type Rep (WithBlockNo f a) = D1 ('MetaData "WithBlockNo" "Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel" "ouroboros-consensus-0.3.1.0-inplace" 'False) (C1 ('MetaCons "WithBlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "getBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "dropBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

acrossEraSelection ∷ All SingleEraBlock xs ⇒ Tails AcrossEraSelection xs → WithBlockNo (NS WrapSelectView) xs → WithBlockNo (NS WrapSelectView) xs → Ordering Source #

mapWithBlockNo ∷ (f x → g y) → WithBlockNo f x → WithBlockNo g y Source #