Safe Haskell	Safe-Inferred
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 ∷ ∀ 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 ∷ ∀ 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

Arguments