Ouroboros.Consensus.HardFork.Combinator.InjectTxs
data InjectTx blk blk' Source #
Constructors
Fields
cannotInjectTx :: InjectTx blk blk' Source #
matchTx :: SListI xs => InPairs InjectTx xs -> NS GenTx xs -> HardForkState f xs -> Either (Mismatch GenTx (Current f) xs) (HardForkState (Product GenTx f) xs) Source #