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.Forging

3 types
1 value

Packageouroboros-consensus-4.2.1.0
Exports4
LicenceApache-2.0

valuehardForkBlockForging

:: (CanHardFork xs, Monad m)
=> NonEmptyOptNP (BlockForging m) xs -> Text
-> NonEmptyOptNP (MkBlockForging m) xs
-> MkBlockForging m (HardForkBlock xs)

typetype HardForkCannotForge (xs :: [Type]) = OneEraCannotForge xs

datadata HardForkForgeStateInfo (xs :: [Type]) where

Constructors

CurrentEraLacksBlockForging :: EraIndex (x ': y ': xs1) -> HardForkForgeStateInfo (x ': y ': xs1)
CurrentEraForgeStateUpdated :: OneEraForgeStateInfo xs -> HardForkForgeStateInfo xs

Instances1Show

CanHardFork xs => Show (HardForkForgeStateInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging

typetype HardForkForgeStateUpdateError (xs :: [Type]) = OneEraForgeStateUpdateError xs