| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Contents
Synopsis
- class Inject f where
- inject ∷ ∀ x xs. CanHardFork xs ⇒ Exactly xs Bound → Index xs x → f x → f (HardForkBlock xs)
- inject' ∷ ∀ f a b x xs. (Inject f, CanHardFork xs, Coercible a (f x), Coercible b (f (HardForkBlock xs))) ⇒ Proxy f → Exactly xs Bound → Index xs x → a → b
- injectHardForkState ∷ ∀ f x xs. Exactly xs Bound → Index xs x → f x → HardForkState f xs
- injectNestedCtxt_ ∷ ∀ f x xs a. Index xs x → NestedCtxt_ x f a → NestedCtxt_ (HardForkBlock xs) f a
- injectQuery ∷ ∀ x xs result. Index xs x → BlockQuery x result → QueryIfCurrent xs result
- injectInitialExtLedgerState ∷ ∀ x xs. CanHardFork (x ': xs) ⇒ TopLevelConfig (HardForkBlock (x ': xs)) → ExtLedgerState x → ExtLedgerState (HardForkBlock (x ': xs))
Documentation
Methods
Arguments
| ∷ ∀ x xs. CanHardFork xs | |
| ⇒ Exactly xs Bound | Start bound of each era |
| → Index xs x | |
| → f x | |
| → f (HardForkBlock xs) |
Instances
inject' ∷ ∀ f a b x xs. (Inject f, CanHardFork xs, Coercible a (f x), Coercible b (f (HardForkBlock xs))) ⇒ Proxy f → Exactly xs Bound → Index xs x → a → b Source #
Defaults
Arguments
| ∷ ∀ f x xs. Exactly xs Bound | Start bound of each era |
| → Index xs x | |
| → f x | |
| → HardForkState f xs |
injectNestedCtxt_ ∷ ∀ f x xs a. Index xs x → NestedCtxt_ x f a → NestedCtxt_ (HardForkBlock xs) f a Source #
injectQuery ∷ ∀ x xs result. Index xs x → BlockQuery x result → QueryIfCurrent xs result Source #
Initial ExtLedgerState
injectInitialExtLedgerState ∷ ∀ x xs. CanHardFork (x ': xs) ⇒ TopLevelConfig (HardForkBlock (x ': xs)) → ExtLedgerState x → ExtLedgerState (HardForkBlock (x ': xs)) Source #
Inject the first era's initial ExtLedgerState and trigger any
translations that should take place in the very first slot.
Performs any hard forks scheduled via TriggerHardForkAtEpoch.
Note: we can translate across multiple eras when computing the initial ledger
state, but we do not support translation across multiple eras in general;
extending applyChainTick to translate across more than one era is not
problematic, but extending ledgerViewForecastAt is a lot more subtle; see
forecastNotFinal.