Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Infra

Contents

Synopsis

initHardForkState :: f x -> HardForkState f (x ': xs)
tip :: SListI xs => HardForkState f xs -> NS f xs
match :: SListI xs => NS h xs -> HardForkState f xs -> Either (Mismatch h (Current f) xs) (HardForkState (Product h f) xs)
sequence :: forall f m xs. (SListI xs, Functor m) => HardForkState (m :.: f) xs -> m (HardForkState f xs)
fromTZ :: HardForkState f '[blk] -> f blk
data Situated h f xs where
- SituatedCurrent :: Current f x -> h x -> Situated h f (x ': xs)
- SituatedNext :: Current f x -> h y -> Situated h f (x ': (y ': xs))
- SituatedFuture :: Current f x -> NS h xs -> Situated h f (x ': (y ': xs))
- SituatedPast :: K Past x -> h x -> Situated h f (x ': xs)
- SituatedShift :: Situated h f xs -> Situated h f (x ': xs)
situate :: NS h xs -> HardForkState f xs -> Situated h f xs
align :: forall xs f f' f''. All SingleEraBlock xs => InPairs (Translate f) xs -> NP (f' -.-> (f -.-> f'')) xs -> HardForkState f' xs -> HardForkState f xs -> HardForkState f'' xs
reconstructSummary :: Shape xs -> TransitionInfo -> HardForkState f xs -> Summary xs

Initialization

Lifting `Telescope` operations

data Situated h f xs where Source #

A h situated in time

Constructors

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

Arguments

:: forall xs f f' f''. All SingleEraBlock xs
=> InPairs (Translate f) xs
-> NP (f' -.-> (f -.-> f'')) xs
-> HardForkState f' xs	State we are aligning with
-> HardForkState f xs	State we are aligning
-> HardForkState f'' xs

Arguments