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.State.Infra

1 type
8 values

Packageouroboros-consensus-4.2.1.0
Exports9
LicenceApache-2.0

valuealign

:: All SingleEraBlock xs
=> InPairs (Translate f) xs
-> NP (f' -.-> (f -.-> f'')) xs
-> HardForkState f' xs
-> HardForkState f xs
-> HardForkState f'' xs

valuefromTZ :: HardForkState f '[blk] -> f blk

valueinitHardForkState :: f x -> HardForkState f (x ': xs)

valuematch

:: SListI xs
=> NS h xs
-> HardForkState f xs
-> Either (Mismatch h (Current f) xs) (HardForkState (Product h f) xs)

valuereconstructSummary

:: Shape xs
-> TransitionInfo
-> HardForkState f xs
-> Summary xs

valuesequence

:: (SListI xs, Functor m)
=> HardForkState (m :.: f) xs
-> m (HardForkState f xs)

valuesituate :: NS h xs -> HardForkState f xs -> Situated h f xs

valuetip :: SListI xs => HardForkState f xs -> NS f xs

datadata Situated (h :: Type -> Type) (f :: Type -> Type) (xs :: [Type]) where

Constructors

SituatedCurrent :: Current f x -> h x -> Situated h f (x ': xs1)
SituatedNext :: Current f x -> h y -> Situated h f (x ': y ': xs1)
SituatedFuture :: Current f x -> NS h xs1 -> Situated h f (x ': y ': xs1)
SituatedPast :: K Past x -> h x -> Situated h f (x ': xs1)
SituatedShift :: Situated h f xs1 -> Situated h f (x ': xs1)