Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.InjectTxs

Synopsis

pattern InjectTx
pattern InjectValidatedTx
value cannotInjectPolyTx
value cannotInjectTx
value cannotInjectValidatedTx
value matchPolyTx
value matchPolyTxsTele
value matchTx
value matchValidatedTx
value matchValidatedTxsNS
data InjectPolyTx
type InjectTx
type InjectValidatedTx

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