Ouroboros.Consensus.HardFork.Combinator.Embed.Nary · ouroboros-consensus-4.2.1.0

valueforgetInjectionIndex :: SListI xs => InjectionIndex xs x -> Index xs x

valueinject'

:: (Inject f, CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs, Coercible a (f x), Coercible b (f (HardForkBlock xs)))
=> Proxy f
-> InjectionIndex xs x
-> a
-> b

valueinjectHardForkState :: InjectionIndex xs x -> f x -> HardForkState f xs

valueinjectInitialExtLedgerState

:: (CanHardFork (x ': xs), HasLedgerTables LedgerState (HardForkBlock (x ': xs)))
=> TopLevelConfig (HardForkBlock (x ': xs))
-> ExtLedgerState x ValuesMK
-> ExtLedgerState (HardForkBlock (x ': xs)) ValuesMK

valueinjectNestedCtxt_

:: Index xs x
-> NestedCtxt_ x f a
-> NestedCtxt_ (HardForkBlock xs) f a

valueinjectQuery

:: Index xs x
-> BlockQuery x fp result
-> QueryIfCurrent xs fp result

valueoracularInjectionIndex

:: SListI xs
=> Exactly xs Bound
-> Index xs x
-> InjectionIndex xs x

classclass Inject (f :: Type -> Type) where

Methods

inject :: (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => InjectionIndex xs x -> f x -> f (HardForkBlock xs)

Instances14Inject, …

Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject AnnTipDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject HeaderStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject SerialisedHeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject WrapApplyTxErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject WrapChainDepStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject WrapGenTxIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject WrapHeaderHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject IDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject (K a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject (SomeBlockQuery :.: BlockQuery)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Inject (Flip ExtLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

newtypenewtype InjectionIndex (xs :: [Type]) x

Constructors

InjectionIndex (Telescope (K Bound) (Current ((:~:) x)) xs)