Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.InjectTxs
Description
Injecting a transaction from one block type to another
Synopsis
-
data
InjectPolyTx
tx blk blk' =
InjectPolyTx
{
- injectTxWith :: tx blk -> Maybe (tx blk')
- cannotInjectPolyTx :: InjectPolyTx tx blk blk'
- matchPolyTx :: SListI xs => InPairs ( InjectPolyTx tx) xs -> NS tx xs -> HardForkState f xs -> Either ( Mismatch tx ( Current f) xs) ( HardForkState ( Product tx f) xs)
- matchPolyTxsNS :: forall tx f xs. SListI xs => InPairs ( InjectPolyTx tx) xs -> NS f xs -> [ NS tx xs] -> ([ Mismatch tx f xs], NS ( Product f ([] :.: tx)) xs)
- type InjectTx = InjectPolyTx GenTx
- cannotInjectTx :: InjectTx blk blk'
- matchTx :: SListI xs => InPairs InjectTx xs -> NS GenTx xs -> HardForkState f xs -> Either ( Mismatch GenTx ( Current f) xs) ( HardForkState ( Product GenTx f) xs)
- pattern InjectTx :: ( GenTx blk -> Maybe ( GenTx blk')) -> InjectTx blk blk'
- type InjectValidatedTx = InjectPolyTx WrapValidatedGenTx
- cannotInjectValidatedTx :: InjectValidatedTx blk blk'
- matchValidatedTx :: SListI xs => InPairs InjectValidatedTx xs -> NS WrapValidatedGenTx xs -> HardForkState f xs -> Either ( Mismatch WrapValidatedGenTx ( Current f) xs) ( HardForkState ( Product WrapValidatedGenTx f) xs)
- matchValidatedTxsNS :: forall f xs. SListI xs => InPairs InjectValidatedTx xs -> NS f xs -> [ NS WrapValidatedGenTx xs] -> ([ Mismatch WrapValidatedGenTx f xs], NS ( Product f ([] :.: WrapValidatedGenTx )) xs)
- pattern InjectValidatedTx :: ( WrapValidatedGenTx blk -> Maybe ( WrapValidatedGenTx blk')) -> InjectValidatedTx blk blk'
Polymorphic
data InjectPolyTx tx blk blk' Source #
tx
is either
GenTx
or
WrapValidatedGenTx
See
InjectTx
and
InjectValidatedTx
, respectively.
Constructors
InjectPolyTx | |
Fields
|
cannotInjectPolyTx :: InjectPolyTx tx blk blk' Source #
The injection that always fails
matchPolyTx :: SListI xs => InPairs ( InjectPolyTx tx) xs -> NS tx xs -> HardForkState f xs -> Either ( Mismatch tx ( Current f) xs) ( HardForkState ( Product tx f) xs) Source #
matchPolyTxsNS :: forall tx f xs. SListI xs => InPairs ( InjectPolyTx tx) xs -> NS f xs -> [ NS tx xs] -> ([ Mismatch tx f xs], NS ( Product f ([] :.: tx)) xs) Source #
Match a list of transactions with an
NS
, attempting to inject where
possible
Unvalidated transactions
type InjectTx = InjectPolyTx GenTx Source #
cannotInjectTx :: InjectTx blk blk' Source #
cannotInjectPolyTx
at type
InjectTx
matchTx :: SListI xs => InPairs InjectTx xs -> NS GenTx xs -> HardForkState f xs -> Either ( Mismatch GenTx ( Current f) xs) ( HardForkState ( Product GenTx f) xs) Source #
matchPolyTx
at type
InjectTx
pattern InjectTx :: ( GenTx blk -> Maybe ( GenTx blk')) -> InjectTx blk blk' Source #
InjectPolyTx
at type
InjectTx
Validated transactions
cannotInjectValidatedTx :: InjectValidatedTx blk blk' Source #
cannotInjectPolyTx
at type
InjectValidatedTx
matchValidatedTx :: SListI xs => InPairs InjectValidatedTx xs -> NS WrapValidatedGenTx xs -> HardForkState f xs -> Either ( Mismatch WrapValidatedGenTx ( Current f) xs) ( HardForkState ( Product WrapValidatedGenTx f) xs) Source #
matchPolyTx
at type
InjectValidatedTx
matchValidatedTxsNS :: forall f xs. SListI xs => InPairs InjectValidatedTx xs -> NS f xs -> [ NS WrapValidatedGenTx xs] -> ([ Mismatch WrapValidatedGenTx f xs], NS ( Product f ([] :.: WrapValidatedGenTx )) xs) Source #
matchPolyTxsNS
at type
InjectValidatedTx
pattern InjectValidatedTx :: ( WrapValidatedGenTx blk -> Maybe ( WrapValidatedGenTx blk')) -> InjectValidatedTx blk blk' Source #
InjectPolyTx
at type
InjectValidatedTx