Merge pull request #4918 from IntersectMBO/nm/mapRdmrsL

Add `unRedeemersL` and `unTxDatsL` lenses

Author: neilmayhew

eras/alonzo/impl/CHANGELOG.md

@@ -24,6 +24,8 @@
 * Stop re-exporting deprecated `AuxiliaryDataHash` from `Cardano.Ledger.Alonzo.TxAuxData`
 * Deprecate `Alonzo` type synonym
 * Remove crypto parametrization from `AlonzoEra`
+* Add `unRedeemersL`, `unTxDatsL`
+* Deprecate `lookupRedeemer`, `nullRedeemers`, `nullDats`
 
 ### `testlib`
 

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Evaluate.hs

@@ -35,7 +35,7 @@ where
 import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Plutus.Context (ContextError, EraPlutusContext (..), LedgerTxInfo (..))
 import Cardano.Ledger.Alonzo.Scripts (lookupPlutusScript, plutusScriptLanguage, toAsItem, toAsIx)
-import Cardano.Ledger.Alonzo.TxWits (lookupRedeemer, unRedeemers)
+import Cardano.Ledger.Alonzo.TxWits (unRedeemersL)
 import Cardano.Ledger.Alonzo.UTxO (AlonzoEraUTxO, AlonzoScriptsNeeded (..))
 import Cardano.Ledger.BaseTypes (kindObject)
 import Cardano.Ledger.Binary (DecCBOR (..), EncCBOR (..))
@@ -178,7 +178,7 @@ collectPlutusScriptsWithContext epochInfo systemStart pp tx utxo =
 
     getScriptWithRedeemer ((plutusScriptHash, plutusPurpose), plutusScript) =
       let redeemerIndex = hoistPlutusPurpose toAsIx plutusPurpose
-       in case lookupRedeemer redeemerIndex $ tx ^. witsTxL . rdmrsTxWitsL of
+       in case Map.lookup redeemerIndex $ tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL of
             Just (d, exUnits) -> Right (plutusScript, plutusPurpose, d, exUnits, plutusScriptHash)
             Nothing -> Left (NoRedeemer (hoistPlutusPurpose toAsItem plutusPurpose))
     apply (plutusScript, plutusPurpose, redeemerData, exUnits, plutusScriptHash) = do
@@ -372,7 +372,7 @@ evalTxExUnitsWithLogs pp tx utxo epochInfo systemStart = Map.mapWithKey findAndC
     maxBudget = pp ^. ppMaxTxExUnitsL
     txBody = tx ^. bodyTxL
     wits = tx ^. witsTxL
-    rdmrs = unRedeemers $ wits ^. rdmrsTxWitsL
+    rdmrs = wits ^. rdmrsTxWitsL . unRedeemersL
     protVer = pp ^. ppProtocolVersionL
     costModels = costModelsValid $ pp ^. ppCostModelsL
     ScriptsProvided scriptsProvided = getScriptsProvided utxo tx

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/TxInfo.hs

@@ -50,7 +50,7 @@ import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Era (AlonzoEra)
 import Cardano.Ledger.Alonzo.Plutus.Context
 import Cardano.Ledger.Alonzo.Scripts (AlonzoPlutusPurpose (..), PlutusScript (..), toAsItem)
-import Cardano.Ledger.Alonzo.TxWits (unTxDats)
+import Cardano.Ledger.Alonzo.TxWits (unTxDatsL)
 import Cardano.Ledger.BaseTypes (ProtVer, StrictMaybe (..), strictMaybeToMaybe)
 import Cardano.Ledger.Binary (DecCBOR (..), EncCBOR (..))
 import Cardano.Ledger.Binary.Coders (
@@ -288,7 +288,7 @@ transTxBodyReqSignerHashes txBody = transKeyHash <$> Set.toList (txBody ^. reqSi
 
 -- | Translate all `TxDats`s from within `TxWits`
 transTxWitsDatums :: AlonzoEraTxWits era => TxWits era -> [(PV1.DatumHash, PV1.Datum)]
-transTxWitsDatums txWits = transDataPair <$> Map.toList (unTxDats $ txWits ^. datsTxWitsL)
+transTxWitsDatums txWits = transDataPair <$> Map.toList (txWits ^. datsTxWitsL . unTxDatsL)
 
 -- ==================================
 -- translate Values

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs

@@ -54,7 +54,7 @@ import Cardano.Ledger.Alonzo.TxBody (
   AlonzoEraTxOut (..),
   MaryEraTxBody (..),
  )
-import Cardano.Ledger.Alonzo.TxWits (AlonzoEraTxWits (..), nullRedeemers)
+import Cardano.Ledger.Alonzo.TxWits (AlonzoEraTxWits (..), unRedeemersL)
 import Cardano.Ledger.BaseTypes (
   Mismatch (..),
   Network,
@@ -285,7 +285,7 @@ feesOK pp tx u@(UTxO utxo) =
             (minFee <= theFee)
             (FeeTooSmallUTxO Mismatch {mismatchSupplied = theFee, mismatchExpected = minFee})
         , -- Part 2: (txrdmrs tx ≠ ∅ ⇒ validateCollateral)
-          unless (nullRedeemers (tx ^. witsTxL . rdmrsTxWitsL)) $
+          unless (null $ tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL) $
             validateCollateral pp txBody utxoCollateral
         ]
 
@@ -367,7 +367,7 @@ validateOutsideForecast ei slotNo sysSt tx =
   {-   (_,i_f) := txvldt tx   -}
   case tx ^. bodyTxL . vldtTxBodyL of
     ValidityInterval _ (SJust ifj)
-      | not (nullRedeemers (tx ^. witsTxL . rdmrsTxWitsL)) ->
+      | not . null $ tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL ->
           let ei' = unsafeLinearExtendEpochInfo slotNo ei
            in -- ◇ ∉ { txrdmrs tx, i_f } ⇒
               failureUnless (isRight (epochInfoSlotToUTCTime ei' sysSt ifj)) $ OutsideForecast ifj

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxow.hs

@@ -39,8 +39,8 @@ import Cardano.Ledger.Alonzo.Rules.Utxos (AlonzoUtxosPredFailure)
 import Cardano.Ledger.Alonzo.Scripts (plutusScriptLanguage, toAsItem, toAsIx)
 import Cardano.Ledger.Alonzo.Tx (hashScriptIntegrity)
 import Cardano.Ledger.Alonzo.TxWits (
-  unRedeemers,
-  unTxDats,
+  unRedeemersL,
+  unTxDatsL,
  )
 import Cardano.Ledger.Alonzo.UTxO (
   AlonzoEraUTxO (..),
@@ -237,7 +237,7 @@ missingRequiredDatums utxo tx = do
   let txBody = tx ^. bodyTxL
       scriptsProvided = getScriptsProvided utxo tx
       (inputHashes, txInsNoDataHash) = getInputDataHashesTxBody utxo txBody scriptsProvided
-      txHashes = domain (unTxDats $ tx ^. witsTxL . datsTxWitsL)
+      txHashes = domain (tx ^. witsTxL . datsTxWitsL . unTxDatsL)
       unmatchedDatumHashes = eval (inputHashes ➖ txHashes)
       allowedSupplementalDataHashes = getSupplementalDataHashes utxo txBody
       supplimentalDatumHashes = eval (txHashes ➖ inputHashes)
@@ -274,7 +274,7 @@ hasExactSetOfRedeemers tx (ScriptsProvided scriptsProvided) (AlonzoScriptsNeeded
         ]
       (extraRdmrs, missingRdmrs) =
         extSymmetricDifference
-          (Map.keys $ unRedeemers $ tx ^. witsTxL . rdmrsTxWitsL)
+          (Map.keys $ tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL)
           id
           redeemersNeeded
           fst

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs

@@ -93,10 +93,9 @@ import Cardano.Ledger.Alonzo.TxWits (
   AlonzoTxWits (..),
   Redeemers (..),
   TxDats (..),
-  nullDats,
-  nullRedeemers,
   txrdmrs,
-  unRedeemers,
+  unRedeemersL,
+  unTxDatsL,
  )
 import Cardano.Ledger.Binary (
   Annotator (..),
@@ -124,14 +123,12 @@ import Control.Arrow (left)
 import Control.DeepSeq (NFData (..))
 import Data.Aeson (ToJSON (..))
 import qualified Data.ByteString.Lazy as LBS
-import qualified Data.Map.Strict as Map
 import Data.Maybe.Strict (
   StrictMaybe (..),
   maybeToStrictMaybe,
   strictMaybeToMaybe,
  )
 import Data.Set (Set)
-import qualified Data.Set as Set
 import Data.Typeable (Typeable)
 import Data.Word (Word32)
 import GHC.Generics (Generic)
@@ -292,7 +289,7 @@ deriving instance AlonzoEraScript era => NoThunks (ScriptIntegrity era)
 -- Instead, we must use a reproducable serialization
 instance Era era => SafeToHash (ScriptIntegrity era) where
   originalBytes (ScriptIntegrity m d l) =
-    let dBytes = if nullDats d then mempty else originalBytes d
+    let dBytes = if null (d ^. unTxDatsL) then mempty else originalBytes d
         lBytes = serialize' (eraProtVerLow @era) (encodeLangViews l)
      in originalBytes m <> dBytes <> lBytes
 
@@ -308,7 +305,7 @@ hashScriptIntegrity ::
   TxDats era ->
   StrictMaybe ScriptIntegrityHash
 hashScriptIntegrity langViews rdmrs dats =
-  if nullRedeemers rdmrs && Set.null langViews && nullDats dats
+  if null (rdmrs ^. unRedeemersL) && null langViews && null (dats ^. unTxDatsL)
     then SNothing
     else SJust (hashAnnotated (ScriptIntegrity rdmrs dats langViews))
 
@@ -351,8 +348,7 @@ totExUnits ::
   (EraTx era, AlonzoEraTxWits era) =>
   Tx era ->
   ExUnits
-totExUnits tx =
-  foldMap snd . Map.elems . unRedeemers $ tx ^. witsTxL . rdmrsTxWitsL
+totExUnits tx = foldMap snd $ tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL
 
 --------------------------------------------------------------------------------
 -- Serialisation

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/TxWits.hs

@@ -25,6 +25,7 @@
 module Cardano.Ledger.Alonzo.TxWits (
   Redeemers (Redeemers),
   RedeemersRaw,
+  unRedeemersL,
   unRedeemers,
   nullRedeemers,
   lookupRedeemer,
@@ -55,6 +56,7 @@ module Cardano.Ledger.Alonzo.TxWits (
   AlonzoEraTxWits (..),
   hashDataTxWitsL,
   unTxDats,
+  unTxDatsL,
   nullDats,
   alonzoEqTxWitsRaw,
 )
@@ -202,8 +204,16 @@ pattern Redeemers rs <-
 unRedeemers :: Redeemers era -> Map (PlutusPurpose AsIx era) (Data era, ExUnits)
 unRedeemers = unRedeemersRaw . getMemoRawType
 
+-- Conceptually, this is an Iso' but vanilla microlens doesn't have Iso's
+unRedeemersL ::
+  forall era.
+  AlonzoEraScript era => Lens' (Redeemers era) (Map.Map (PlutusPurpose AsIx era) (Data era, ExUnits))
+unRedeemersL f = fmap Redeemers . f . unRedeemers
+{-# INLINE unRedeemersL #-}
+
 nullRedeemers :: Redeemers era -> Bool
 nullRedeemers = Map.null . unRedeemers
+{-# DEPRECATED nullRedeemers "In favor of `unRedeemersL`" #-}
 
 emptyTxWitness :: AlonzoEraScript era => AlonzoTxWitsRaw era
 emptyTxWitness = AlonzoTxWitsRaw mempty mempty mempty mempty emptyRedeemers
@@ -217,6 +227,7 @@ lookupRedeemer ::
   Redeemers era ->
   Maybe (Data era, ExUnits)
 lookupRedeemer key = Map.lookup key . unRedeemers
+{-# DEPRECATED lookupRedeemer "In favor of `unRedeemersL`" #-}
 
 -- | Upgrade redeemers from one era to another. The underlying data structure
 -- will remain identical, but the memoised serialisation may change to reflect
@@ -294,7 +305,7 @@ deriving instance
 
 isEmptyTxWitness :: AlonzoEraScript era => AlonzoTxWits era -> Bool
 isEmptyTxWitness (getMemoRawType -> AlonzoTxWitsRaw a b c d (Redeemers e)) =
-  Set.null a && Set.null b && Map.null c && nullDats d && Map.null e
+  Set.null a && Set.null b && Map.null c && Map.null (d ^. unTxDatsL) && Map.null e
 
 -- =====================================================
 newtype TxDatsRaw era = TxDatsRaw {unTxDatsRaw :: Map DataHash (Data era)}
@@ -321,8 +332,14 @@ pattern TxDats m <- (getMemoRawType -> TxDatsRaw m)
 unTxDats :: TxDats era -> Map DataHash (Data era)
 unTxDats (TxDats' m) = m
 
+-- Conceptually, this is an Iso' but vanilla microlens doesn't have Iso's
+unTxDatsL :: forall era. Era era => Lens' (TxDats era) (Map DataHash (Data era))
+unTxDatsL f = fmap TxDats . f . unTxDats
+{-# INLINE unTxDatsL #-}
+
 nullDats :: TxDats era -> Bool
 nullDats (TxDats' d) = Map.null d
+{-# DEPRECATED nullDats "In favor of `unTxDatsL`" #-}
 
 instance Era era => DecCBOR (Annotator (TxDatsRaw era)) where
   decCBOR =
@@ -547,8 +564,8 @@ instance AlonzoEraScript era => EncCBOR (AlonzoTxWitsRaw era) where
         !> Omit null (Key 3 $ encodePlutus SPlutusV1)
         !> Omit null (Key 6 $ encodePlutus SPlutusV2)
         !> Omit null (Key 7 $ encodePlutus SPlutusV3)
-        !> Omit nullDats (Key 4 $ To dats)
-        !> Omit nullRedeemers (Key 5 $ To rdmrs)
+        !> Omit (null . unTxDats) (Key 4 $ To dats)
+        !> Omit (null . unRedeemers) (Key 5 $ To rdmrs)
     where
       encodePlutus ::
         PlutusLanguage l =>

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/UTxO.hs

@@ -37,7 +37,7 @@ import Cardano.Ledger.Alonzo.CertState ()
 import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Era (AlonzoEra)
 import Cardano.Ledger.Alonzo.Scripts (lookupPlutusScript, plutusScriptLanguage)
-import Cardano.Ledger.Alonzo.TxWits (unTxDats)
+import Cardano.Ledger.Alonzo.TxWits (unTxDatsL)
 import Cardano.Ledger.BaseTypes (StrictMaybe (..))
 import Cardano.Ledger.CertState (EraCertState (..))
 import Cardano.Ledger.Credential (credScriptHash)
@@ -144,7 +144,7 @@ getAlonzoSpendingDatum (UTxO m) tx sp = do
   AsItem txIn <- toSpendingPurpose sp
   txOut <- Map.lookup txIn m
   SJust hash <- Just $ txOut ^. dataHashTxOutL
-  Map.lookup hash (unTxDats $ tx ^. witsTxL . datsTxWitsL)
+  Map.lookup hash $ tx ^. witsTxL . datsTxWitsL . unTxDatsL
 
 getAlonzoScriptsHashesNeeded :: AlonzoScriptsNeeded era -> Set.Set ScriptHash
 getAlonzoScriptsHashesNeeded (AlonzoScriptsNeeded sn) = Set.fromList (map snd sn)

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxoSpec.hs

@@ -11,7 +11,7 @@ import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Rules (AlonzoUtxoPredFailure (..))
 import Cardano.Ledger.Alonzo.Scripts (eraLanguages)
 import Cardano.Ledger.Alonzo.TxAuxData (mkAlonzoTxAuxData)
-import Cardano.Ledger.Alonzo.TxWits (Redeemers (..))
+import Cardano.Ledger.Alonzo.TxWits (unRedeemersL)
 import Cardano.Ledger.BaseTypes (Mismatch (..), Network (..), StrictMaybe (..))
 import Cardano.Ledger.Coin (Coin (..), toDeltaCoin)
 import qualified Cardano.Ledger.Metadata as M
@@ -20,7 +20,7 @@ import Cardano.Ledger.Shelley.LedgerState (curPParamsEpochStateL, nesEsL)
 import Control.Monad (forM)
 import qualified Data.Map.Strict as Map
 import Data.Ratio ((%))
-import Lens.Micro (to, (&), (.~), (<>~), (^.))
+import Lens.Micro (to, (%~), (&), (.~), (<>~), (^.))
 import qualified PlutusLedgerApi.Common as P
 import Test.Cardano.Ledger.Alonzo.ImpTest
 import Test.Cardano.Ledger.Imp.Common
@@ -53,7 +53,7 @@ spec = describe "UTXO" $ do
             tx =
               mkBasicTx mkBasicTxBody
                 & bodyTxL . inputsTxBodyL .~ [txIn]
-                & witsTxL . rdmrsTxWitsL <>~ Redeemers (Map.singleton prp (dat, txExUnits))
+                & witsTxL . rdmrsTxWitsL . unRedeemersL %~ Map.insert prp (dat, txExUnits)
           submitFailingTx
             tx
             [ injectFailure $

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxosSpec.hs

@@ -18,7 +18,7 @@ import Cardano.Ledger.Alonzo.Rules (
  )
 import Cardano.Ledger.Alonzo.Scripts (eraLanguages)
 import Cardano.Ledger.Alonzo.Tx (IsValid (..))
-import Cardano.Ledger.Alonzo.TxWits (Redeemers (..))
+import Cardano.Ledger.Alonzo.TxWits (unRedeemersL)
 import Cardano.Ledger.Plutus.Data (Data (..))
 import Cardano.Ledger.Plutus.Language (hashPlutusScript, withSLanguage)
 import Cardano.Ledger.Shelley.LedgerState (curPParamsEpochStateL, nesEsL)
@@ -83,12 +83,8 @@ spec = describe "UTXOS" $
             mkBasicTx mkBasicTxBody
               & bodyTxL . inputsTxBodyL .~ Set.singleton txIn0
               & isValidTxL .~ IsValid False
-              & witsTxL . rdmrsTxWitsL
-                .~ Redeemers
-                  ( Map.singleton
-                      (mkSpendingPurpose $ AsIx 0)
-                      (Data $ P.I 32, exUnits)
-                  )
+              & witsTxL . rdmrsTxWitsL . unRedeemersL
+                .~ Map.singleton (mkSpendingPurpose $ AsIx 0) (Data $ P.I 32, exUnits)
 
         describe "Scripts pass in phase 2" $ do
           let scripts' = drop 1 scripts

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxowSpec/Invalid.hs

@@ -18,7 +18,7 @@ import Cardano.Ledger.Alonzo.Rules (
   AlonzoUtxowPredFailure (..),
  )
 import Cardano.Ledger.Alonzo.Scripts (eraLanguages)
-import Cardano.Ledger.Alonzo.TxWits (Redeemers (..), TxDats (..), unRedeemers)
+import Cardano.Ledger.Alonzo.TxWits (TxDats (..), unRedeemersL)
 import Cardano.Ledger.BaseTypes (Mismatch (..), StrictMaybe (..), natVersion)
 import Cardano.Ledger.Coin (Coin (..))
 import Cardano.Ledger.Credential (Credential (..), StakeReference (..))
@@ -37,7 +37,7 @@ import qualified Data.Map.Strict as Map
 import Data.Maybe (isJust)
 import Data.Sequence.Strict (StrictSeq ((:<|)))
 import qualified Data.Set as Set
-import Lens.Micro (Lens', lens, (%~), (&), (.~), (<>~), (^.))
+import Lens.Micro ((%~), (&), (.~), (<>~), (^.))
 import qualified PlutusLedgerApi.Common as P
 import Test.Cardano.Ledger.Alonzo.Arbitrary ()
 import Test.Cardano.Ledger.Alonzo.ImpTest
@@ -67,8 +67,6 @@ spec = describe "Invalid transactions" $ do
 
   let resetAddrWits tx = updateAddrTxWits $ tx & witsTxL . addrTxWitsL .~ []
       fixupResetAddrWits = fixupPPHash >=> resetAddrWits
-      redeemersL :: Lens' (Redeemers era) (Map.Map (PlutusPurpose AsIx era) (Data era, ExUnits))
-      redeemersL = lens unRedeemers (const $ Redeemers @era)
       -- PlutusPurpose serialization wasn't fixed until Conway
       withPlutusPurposeRoundTripFailures =
         if eraProtVerLow @era < natVersion @9
@@ -176,7 +174,7 @@ spec = describe "Invalid transactions" $ do
                 , mkUnRegTxCert cred
                 ]
           tx <- submitTx $ mkBasicTx (mkBasicTxBody & certsTxBodyL .~ certs)
-          let redeemers = tx ^. witsTxL . rdmrsTxWitsL . redeemersL
+          let redeemers = tx ^. witsTxL . rdmrsTxWitsL . unRedeemersL
           Map.keys redeemers
             `shouldBe` [ mkCertifyingPurpose $ AsIx 1
                        , mkCertifyingPurpose $ AsIx 2
@@ -201,11 +199,11 @@ spec = describe "Invalid transactions" $ do
           let tx =
                 mkBasicTx mkBasicTxBody
                   & bodyTxL . inputsTxBodyL .~ [txIn]
-                  & witsTxL . rdmrsTxWitsL . redeemersL .~ mintingRedeemers
+                  & witsTxL . rdmrsTxWitsL . unRedeemersL .~ mintingRedeemers
               mintingRedeemers = Map.singleton (mkMintingPurpose $ AsIx 0) (Data $ P.I 32, ExUnits 0 0)
               isSpender = isJust . toSpendingPurpose @era @AsIx
               removeSpenders = Map.filterWithKey (const . not . isSpender)
-              dropSpendingRedeemers = pure . (witsTxL . rdmrsTxWitsL . redeemersL %~ removeSpenders)
+              dropSpendingRedeemers = pure . (witsTxL . rdmrsTxWitsL . unRedeemersL %~ removeSpenders)
           withPostFixup (dropSpendingRedeemers >=> fixupPPHash >=> resetAddrWits) $
             withPlutusPurposeRoundTripFailures $
               submitFailingTx
@@ -245,10 +243,10 @@ spec = describe "Invalid transactions" $ do
                     tx =
                       mkBasicTx mkBasicTxBody
                         & bodyTxL . inputsTxBodyL <>~ [txIn]
-                        & witsTxL . rdmrsTxWitsL . redeemersL <>~ Map.singleton purpose redeemer
+                        & witsTxL . rdmrsTxWitsL . unRedeemersL %~ Map.insert purpose redeemer
                 txFixed <- fixupTx tx
                 -- The `Ix` of the redeemer may have been changed by `fixupRedeemerIndices`
-                let fixedRedeemers = txFixed ^. witsTxL . rdmrsTxWitsL . redeemersL
+                let fixedRedeemers = txFixed ^. witsTxL . rdmrsTxWitsL . unRedeemersL
                     extraRedeemers = Map.keys $ Map.filter (== redeemer) fixedRedeemers
                 withNoFixup $
                   withPlutusPurposeRoundTripFailures $
@@ -278,7 +276,7 @@ spec = describe "Invalid transactions" $ do
                   tx =
                     mkBasicTx mkBasicTxBody
                       & bodyTxL . certsTxBodyL <>~ certs
-                      & witsTxL . rdmrsTxWitsL . redeemersL <>~ redeemers
+                      & witsTxL . rdmrsTxWitsL . unRedeemersL <>~ redeemers
               withPlutusPurposeRoundTripFailures $
                 submitFailingTx
                   tx