Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Infra

Contents

Synopsis

initHardForkState :: f x -> HardForkState f (x ': xs)
fromTZ :: HardForkState f '[blk] -> f blk
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)
tip :: SListI xs => HardForkState f xs -> NS f xs
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

sequence :: forall f m xs. ( SListI xs, Functor m) => HardForkState (m :.: f) xs -> m ( HardForkState f xs) Source #

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