Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel

5 types
1 value

Packageouroboros-consensus-4.2.1.0
Exports6
LicenceApache-2.0

valueacrossEraSelection

:: (All SingleEraBlock xs, AcrossEraOutput f)
=> AcrossEraMode cfg f
-> NP cfg xs
-> Tails AcrossEraTiebreaker xs
-> NS WrapTiebreakerView xs
-> NS WrapTiebreakerView xs
-> f xs

datadata AcrossEraMode (cfg :: Type -> Type) (f :: [Type] -> Type) where

Constructors

AcrossEraCompare :: AcrossEraMode Proxy (ConstOutput Ordering)
AcrossEraPreferCandidate :: AcrossEraMode WrapChainOrderConfig SwitchOutput

datadata AcrossEraTiebreaker a b where

Constructors

NoTiebreakerAcrossEras :: AcrossEraTiebreaker a b
SameTiebreakerAcrossEras :: TiebreakerView (BlockProtocol a) ~ TiebreakerView (BlockProtocol b) => AcrossEraTiebreaker a b

newtypenewtype ConstOutput a (xs :: k)

Constructors

ConstOutput
- getConstOutput :: a

Instances2AcrossEraOutput, SingleEraOutput

AcrossEraOutput (ConstOutput a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel
type SingleEraOutput (ConstOutput a) x = aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel

newtypenewtype OneEraReasonForSwitch (xs :: [Type])

Constructors

OneEraReasonForSwitch
- getOneEraReasonForSwitch :: NS WrapReasonForSwitch xs

Instances1Show

CanHardFork xs => Show (OneEraReasonForSwitch xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras · orphan

newtypenewtype SwitchOutput (xs :: [Type])

Constructors

SwitchOutput
- getSwitchOutput :: ShouldSwitch (OneEraReasonForSwitch xs)

Instances2AcrossEraOutput, SingleEraOutput

AcrossEraOutput SwitchOutputDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel
type SingleEraOutput SwitchOutput x = ShouldSwitch (WrapReasonForSwitch x)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel