Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.InjectTxs

3 types
8 values

Packageouroboros-consensus-4.2.1.0
Exports13
LicenceApache-2.0

patternpattern InjectTx :: (GenTx blk -> Maybe (GenTx blk')) -> InjectTx blk blk'

patternpattern InjectValidatedTx :: (WrapValidatedGenTx blk -> Maybe (WrapValidatedGenTx blk')) -> InjectValidatedTx blk blk'

valuecannotInjectPolyTx :: InjectPolyTx tx blk blk'

valuecannotInjectTx :: InjectTx blk blk'

valuecannotInjectValidatedTx :: InjectValidatedTx blk blk'

valuematchPolyTx

:: SListI xs
=> InPairs (InjectPolyTx tx) xs
-> NS tx xs
-> HardForkState f xs
-> Either (Mismatch tx (Current f) xs) (HardForkState (Product tx f) xs)

valuematchPolyTxsTele

:: SListI xs
=> InPairs (InjectPolyTx tx) xs
-> Telescope g f xs
-> [NS tx xs]
-> ([(NS tx xs, Mismatch tx f xs)], Telescope g (Product f ([] :.: tx)) xs)

valuematchTx

:: SListI xs
=> InPairs InjectTx xs
-> NS GenTx xs
-> HardForkState f xs
-> Either (Mismatch GenTx (Current f) xs) (HardForkState (Product GenTx f) xs)

valuematchValidatedTx

:: SListI xs
=> InPairs InjectValidatedTx xs
-> NS WrapValidatedGenTx xs
-> HardForkState f xs
-> Either (Mismatch WrapValidatedGenTx (Current f) xs) (HardForkState (Product WrapValidatedGenTx f) xs)

valuematchValidatedTxsNS

:: SListI xs
=> InPairs InjectValidatedTx xs
-> NS f xs
-> [NS WrapValidatedGenTx xs]
-> ([Mismatch WrapValidatedGenTx f xs], NS (Product f ([] :.: WrapValidatedGenTx)) xs)

datadata InjectPolyTx (tx :: Type -> Type) blk blk'

Constructors

InjectPolyTx
- injectTxWith :: tx blk -> Maybe (tx blk')

typetype InjectTx = InjectPolyTx GenTx

typetype InjectValidatedTx = InjectPolyTx WrapValidatedGenTx