From 9f5cf5cd143b3f397070628264e3196eb2c326e4 Mon Sep 17 00:00:00 2001 From: Jordan Millar Date: Wed, 28 Jan 2026 12:20:02 -0400 Subject: [PATCH] Remove makeShelleyTransactionBody and accompanying functions --- cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs | 2 +- cardano-api/src/Cardano/Api/Tx.hs | 1 - .../src/Cardano/Api/Tx/Internal/Body.hs | 652 ------------------ 3 files changed, 1 insertion(+), 654 deletions(-) diff --git a/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs b/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs index 16ab7ef359..3288b5f32e 100644 --- a/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs +++ b/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs @@ -1125,7 +1125,7 @@ genValidTxBody sbe = Gen.mapMaybe ( \content -> either (const Nothing) (Just . (,content)) $ - createAndValidateTransactionBody sbe content + createTransactionBody sbe content ) (genTxBodyContent sbe) diff --git a/cardano-api/src/Cardano/Api/Tx.hs b/cardano-api/src/Cardano/Api/Tx.hs index c9137a6d4f..5da6318cfc 100644 --- a/cardano-api/src/Cardano/Api/Tx.hs +++ b/cardano-api/src/Cardano/Api/Tx.hs @@ -177,7 +177,6 @@ module Cardano.Api.Tx -- ** Transaction body TxBody (..) , createTransactionBody - , createAndValidateTransactionBody , TxBodyContent (..) -- ** Byron only diff --git a/cardano-api/src/Cardano/Api/Tx/Internal/Body.hs b/cardano-api/src/Cardano/Api/Tx/Internal/Body.hs index f7ae62f5fe..19308651c6 100644 --- a/cardano-api/src/Cardano/Api/Tx/Internal/Body.hs +++ b/cardano-api/src/Cardano/Api/Tx/Internal/Body.hs @@ -22,7 +22,6 @@ module Cardano.Api.Tx.Internal.Body -- ** Transaction bodies TxBody (.., TxBody) , createTransactionBody - , createAndValidateTransactionBody , TxBodyContent (..) -- ** Byron only @@ -306,14 +305,6 @@ import Cardano.Ledger.Shelley.TxCert qualified as Shelley import Cardano.Ledger.TxIn qualified as L import Cardano.Ledger.Val as L (isZero) import Cardano.Slotting.Slot (SlotNo (..)) -import Ouroboros.Consensus.Shelley.Eras qualified as E - ( AllegraEra - , AlonzoEra - , BabbageEra - , ConwayEra - , MaryEra - , ShelleyEra - ) import Control.Monad import Data.Aeson (object, (.=)) @@ -1380,76 +1371,6 @@ getScriptIntegrityHash apiProtocolParameters languages = \case TxBodyScriptData w datums redeemers -> convPParamsToScriptIntegrityHash w apiProtocolParameters redeemers datums languages -validateTxBodyContent - :: ShelleyBasedEra era - -> TxBodyContent BuildTx era - -> Either TxBodyError () -validateTxBodyContent - sbe - txBodContent@TxBodyContent - { txIns - , txInsCollateral - , txOuts - , txProtocolParams - , txMetadata - } = - let witnesses = collectTxBodyScriptWitnesses sbe txBodContent - languages = - fromList - [ toAlonzoLanguage (AnyPlutusScriptVersion v) - | (_, AnyScriptWitness (PlutusScriptWitness _ v _ _ _ _)) <- witnesses - ] - :: Set Plutus.Language - in case sbe of - ShelleyBasedEraShelley -> do - validateTxIns txIns - guardShelleyTxInsOverflow (map fst txIns) - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - ShelleyBasedEraAllegra -> do - validateTxIns txIns - guardShelleyTxInsOverflow (map fst txIns) - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - ShelleyBasedEraMary -> do - validateTxIns txIns - guardShelleyTxInsOverflow (map fst txIns) - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - ShelleyBasedEraAlonzo -> do - validateTxIns txIns - guardShelleyTxInsOverflow (map fst txIns) - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - validateTxInsCollateral txInsCollateral languages - validateProtocolParameters txProtocolParams languages - ShelleyBasedEraBabbage -> do - validateTxIns txIns - guardShelleyTxInsOverflow (map fst txIns) - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - validateTxInsCollateral txInsCollateral languages - validateProtocolParameters txProtocolParams languages - ShelleyBasedEraConway -> do - validateTxIns txIns - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - validateTxInsCollateral txInsCollateral languages - validateProtocolParameters txProtocolParams languages - ShelleyBasedEraDijkstra -> do - validateTxIns txIns - first TxBodyOutputError $ - validateTxOuts sbe txOuts - validateMetadata txMetadata - validateTxInsCollateral txInsCollateral languages - validateProtocolParameters txProtocolParams languages - validateMetadata :: TxMetadataInEra era -> Either TxBodyError () validateMetadata txMetadata = case txMetadata of @@ -1495,14 +1416,6 @@ txBodyContentHasTxIns txIns = guard (not (null txIns)) ?! TxBodyEmptyTxIns maxShelleyTxInIx :: Word maxShelleyTxInIx = fromIntegral $ maxBound @Word16 -{-# DEPRECATED createAndValidateTransactionBody "Use createTransactionBody instead" #-} -createAndValidateTransactionBody - :: () - => ShelleyBasedEra era - -> TxBodyContent BuildTx era - -> Either TxBodyError (TxBody era) -createAndValidateTransactionBody = makeShelleyTransactionBody - {-# DEPRECATED TxBody "Use getTxBodyContent $ getTxBody instead" #-} pattern TxBody :: TxBodyContent ViewTx era -> TxBody era pattern TxBody txbodycontent <- (getTxBodyContent -> txbodycontent) @@ -2069,571 +1982,6 @@ mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData = & L.auxDataHashTxBodyL .~ maybe SNothing (SJust . Ledger.hashTxAuxData) txAuxData -{-# DEPRECATED - makeShelleyTransactionBody - "Use 'createTransactionBody' instead. 'makeShelleyTransactionBody' will be removed after 11.0.0.0 release" - #-} -makeShelleyTransactionBody - :: forall era - . () - => ShelleyBasedEra era - -> TxBodyContent BuildTx era - -> Either TxBodyError (TxBody era) -makeShelleyTransactionBody - sbe@ShelleyBasedEraShelley - txbodycontent@TxBodyContent - { txIns - , txOuts - , txFee - , txValidityUpperBound - , txMetadata - , txWithdrawals - , txCertificates - , txUpdateProposal - } = do - let s2b = ShelleyToBabbageEraShelley - validateTxBodyContent sbe txbodycontent - update <- convTxUpdateProposal sbe txUpdateProposal - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.updateTxBodyL s2b - .~ update - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts_ - TxBodyNoScriptData - txAuxData - TxScriptValidityNone - where - scripts_ :: [Ledger.Script E.ShelleyEra] - scripts_ = - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- - collectTxBodyScriptWitnesses sbe txbodycontent - ] - - txAuxData :: Maybe (L.TxAuxData E.ShelleyEra) - txAuxData = toAuxiliaryData sbe txMetadata TxAuxScriptsNone -makeShelleyTransactionBody - sbe@ShelleyBasedEraAllegra - txbodycontent@TxBodyContent - { txIns - , txOuts - , txFee - , txValidityLowerBound - , txValidityUpperBound - , txMetadata - , txAuxScripts - , txWithdrawals - , txCertificates - , txUpdateProposal - } = do - let aOn = AllegraEraOnwardsAllegra - let s2b = ShelleyToBabbageEraAllegra - validateTxBodyContent sbe txbodycontent - update <- convTxUpdateProposal sbe txUpdateProposal - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.invalidBeforeTxBodyL aOn - .~ convValidityLowerBound txValidityLowerBound - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - & A.updateTxBodyL s2b - .~ update - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts_ - TxBodyNoScriptData - txAuxData - TxScriptValidityNone - where - scripts_ :: [Ledger.Script E.AllegraEra] - scripts_ = - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- - collectTxBodyScriptWitnesses sbe txbodycontent - ] - - txAuxData :: Maybe (L.TxAuxData E.AllegraEra) - txAuxData = toAuxiliaryData sbe txMetadata txAuxScripts -makeShelleyTransactionBody - sbe@ShelleyBasedEraMary - txbodycontent@TxBodyContent - { txIns - , txOuts - , txFee - , txValidityLowerBound - , txValidityUpperBound - , txMetadata - , txAuxScripts - , txWithdrawals - , txCertificates - , txUpdateProposal - , txMintValue - } = do - let aOn = AllegraEraOnwardsMary - let s2b = ShelleyToBabbageEraMary - let mOn = MaryEraOnwardsMary - validateTxBodyContent sbe txbodycontent - update <- convTxUpdateProposal sbe txUpdateProposal - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.invalidBeforeTxBodyL aOn - .~ convValidityLowerBound txValidityLowerBound - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - & A.updateTxBodyL s2b - .~ update - & A.mintTxBodyL mOn - .~ convMintValue txMintValue - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts - TxBodyNoScriptData - txAuxData - TxScriptValidityNone - where - scripts :: [Ledger.Script E.MaryEra] - scripts = - List.nub $ - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- - collectTxBodyScriptWitnesses sbe txbodycontent - ] - - txAuxData :: Maybe (L.TxAuxData E.MaryEra) - txAuxData = toAuxiliaryData sbe txMetadata txAuxScripts -makeShelleyTransactionBody - sbe@ShelleyBasedEraAlonzo - txbodycontent@TxBodyContent - { txIns - , txInsCollateral - , txOuts - , txFee - , txValidityLowerBound - , txValidityUpperBound - , txMetadata - , txAuxScripts - , txExtraKeyWits - , txProtocolParams - , txWithdrawals - , txCertificates - , txUpdateProposal - , txMintValue - , txScriptValidity - } = do - let aOn = AllegraEraOnwardsAlonzo - let s2b = ShelleyToBabbageEraAlonzo - let mOn = MaryEraOnwardsAlonzo - validateTxBodyContent sbe txbodycontent - update <- convTxUpdateProposal sbe txUpdateProposal - let scriptIntegrityHash = - convPParamsToScriptIntegrityHash AlonzoEraOnwardsAlonzo txProtocolParams redeemers datums languages - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.collateralInputsTxBodyL azOn - .~ convCollateralTxIns txInsCollateral - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.invalidBeforeTxBodyL aOn - .~ convValidityLowerBound txValidityLowerBound - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - & A.updateTxBodyL s2b - .~ update - & A.reqSignerHashesTxBodyL azOn - .~ convExtraKeyWitnesses txExtraKeyWits - & A.mintTxBodyL mOn - .~ convMintValue txMintValue - & A.scriptIntegrityHashTxBodyL azOn - .~ scriptIntegrityHash - -- TODO Alonzo: support optional network id in TxBodyContent - -- & L.networkIdTxBodyL .~ SNothing - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts - (TxBodyScriptData AlonzoEraOnwardsAlonzo datums redeemers) - txAuxData - txScriptValidity - where - azOn = AlonzoEraOnwardsAlonzo - - witnesses :: [(ScriptWitnessIndex, AnyScriptWitness AlonzoEra)] - witnesses = collectTxBodyScriptWitnesses sbe txbodycontent - - scripts :: [Ledger.Script E.AlonzoEra] - scripts = - List.nub $ - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- witnesses - ] - - datums :: Alonzo.TxDats E.AlonzoEra - datums = - Alonzo.TxDats $ - fromList - [ (L.hashData d, d) - | d <- toAlonzoData <$> scriptdata - ] - - scriptdata :: [HashableScriptData] - scriptdata = - [d | TxOut _ _ (TxOutSupplementalDatum _ d) _ <- txOuts] - ++ [ d - | ( _ - , AnyScriptWitness - ( PlutusScriptWitness - _ - _ - _ - (ScriptDatumForTxIn (Just d)) - _ - _ - ) - ) <- - witnesses - ] - - redeemers :: Alonzo.Redeemers E.AlonzoEra - redeemers = - Alonzo.Redeemers $ - fromList - [ (i, (toAlonzoData d, toAlonzoExUnits e)) - | ( idx - , AnyScriptWitness - (PlutusScriptWitness _ _ _ _ d e) - ) <- - witnesses - , Just i <- [fromScriptWitnessIndex azOn idx] - ] - - languages :: Set Plutus.Language - languages = - fromList - [ toAlonzoLanguage (AnyPlutusScriptVersion v) - | (_, AnyScriptWitness (PlutusScriptWitness _ v _ _ _ _)) <- witnesses - ] - - txAuxData :: Maybe (L.TxAuxData E.AlonzoEra) - txAuxData = toAuxiliaryData sbe txMetadata txAuxScripts -makeShelleyTransactionBody - sbe@ShelleyBasedEraBabbage - txbodycontent@TxBodyContent - { txIns - , txInsCollateral - , txInsReference - , txReturnCollateral - , txTotalCollateral - , txOuts - , txFee - , txValidityLowerBound - , txValidityUpperBound - , txMetadata - , txAuxScripts - , txExtraKeyWits - , txProtocolParams - , txWithdrawals - , txCertificates - , txUpdateProposal - , txMintValue - , txScriptValidity - } = do - let aOn = AllegraEraOnwardsBabbage - let mOn = MaryEraOnwardsBabbage - let bOn = BabbageEraOnwardsBabbage - let s2b = ShelleyToBabbageEraBabbage - validateTxBodyContent sbe txbodycontent - update <- convTxUpdateProposal sbe txUpdateProposal - let scriptIntegrityHash = - convPParamsToScriptIntegrityHash AlonzoEraOnwardsBabbage txProtocolParams redeemers datums languages - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.collateralInputsTxBodyL azOn - .~ convCollateralTxIns txInsCollateral - & A.referenceInputsTxBodyL bOn - .~ convReferenceInputs txInsReference - & A.collateralReturnTxBodyL bOn - .~ convReturnCollateral sbe txReturnCollateral - & A.totalCollateralTxBodyL bOn - .~ convTotalCollateral txTotalCollateral - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.invalidBeforeTxBodyL aOn - .~ convValidityLowerBound txValidityLowerBound - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - & A.updateTxBodyL s2b - .~ update - & A.reqSignerHashesTxBodyL azOn - .~ convExtraKeyWitnesses txExtraKeyWits - & A.mintTxBodyL mOn - .~ convMintValue txMintValue - & A.scriptIntegrityHashTxBodyL azOn - .~ scriptIntegrityHash - -- TODO Babbage: support optional network id in TxBodyContent - -- & L.networkIdTxBodyL .~ SNothing - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts - ( TxBodyScriptData - AlonzoEraOnwardsBabbage - datums - redeemers - ) - txAuxData - txScriptValidity - where - azOn = AlonzoEraOnwardsBabbage - - witnesses :: [(ScriptWitnessIndex, AnyScriptWitness BabbageEra)] - witnesses = collectTxBodyScriptWitnesses sbe txbodycontent - - scripts :: [Ledger.Script E.BabbageEra] - scripts = - List.nub $ - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- witnesses - ] - - -- Note these do not include inline datums! - datums :: Alonzo.TxDats E.BabbageEra - datums = - Alonzo.TxDats $ - fromList - [ (L.hashData d', d') - | d <- scriptdata - , let d' = toAlonzoData d - ] - - scriptdata :: [HashableScriptData] - scriptdata = - [d | TxOut _ _ (TxOutSupplementalDatum _ d) _ <- txOuts] - ++ [ d - | ( _ - , AnyScriptWitness - ( PlutusScriptWitness - _ - _ - _ - (ScriptDatumForTxIn (Just d)) - _ - _ - ) - ) <- - witnesses - ] - - redeemers :: Alonzo.Redeemers E.BabbageEra - redeemers = - Alonzo.Redeemers $ - fromList - [ (i, (toAlonzoData d, toAlonzoExUnits e)) - | ( idx - , AnyScriptWitness - (PlutusScriptWitness _ _ _ _ d e) - ) <- - witnesses - , Just i <- [fromScriptWitnessIndex azOn idx] - ] - - languages :: Set Plutus.Language - languages = - fromList $ - catMaybes - [ getScriptLanguage sw - | (_, AnyScriptWitness sw) <- witnesses - ] - - getScriptLanguage :: ScriptWitness witctx era -> Maybe Plutus.Language - getScriptLanguage (PlutusScriptWitness _ v _ _ _ _) = - Just $ toAlonzoLanguage (AnyPlutusScriptVersion v) - getScriptLanguage SimpleScriptWitness{} = Nothing - - txAuxData :: Maybe (L.TxAuxData E.BabbageEra) - txAuxData = toAuxiliaryData sbe txMetadata txAuxScripts -makeShelleyTransactionBody - sbe@ShelleyBasedEraConway - txbodycontent@TxBodyContent - { txIns - , txInsCollateral - , txInsReference - , txReturnCollateral - , txTotalCollateral - , txOuts - , txFee - , txValidityLowerBound - , txValidityUpperBound - , txMetadata - , txAuxScripts - , txExtraKeyWits - , txProtocolParams - , txWithdrawals - , txCertificates - , txMintValue - , txScriptValidity - , txProposalProcedures - , txVotingProcedures - , txCurrentTreasuryValue - , txTreasuryDonation - } = do - let aOn = AllegraEraOnwardsConway - let cOn = ConwayEraOnwardsConway - let mOn = MaryEraOnwardsConway - let bOn = BabbageEraOnwardsConway - validateTxBodyContent sbe txbodycontent - let scriptIntegrityHash = - convPParamsToScriptIntegrityHash AlonzoEraOnwardsConway txProtocolParams redeemers datums languages - let txbody = - ( mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData - & A.collateralInputsTxBodyL azOn - .~ case txInsCollateral of - TxInsCollateralNone -> Set.empty - TxInsCollateral _ txins -> fromList (map toShelleyTxIn txins) - & A.referenceInputsTxBodyL bOn - .~ convReferenceInputs txInsReference - & A.collateralReturnTxBodyL bOn - .~ convReturnCollateral sbe txReturnCollateral - & A.totalCollateralTxBodyL bOn - .~ convTotalCollateral txTotalCollateral - & A.certsTxBodyL sbe - .~ convCertificates sbe txCertificates - & A.invalidBeforeTxBodyL aOn - .~ convValidityLowerBound txValidityLowerBound - & A.invalidHereAfterTxBodyL sbe - .~ convValidityUpperBound sbe txValidityUpperBound - & A.reqSignerHashesTxBodyL azOn - .~ convExtraKeyWitnesses txExtraKeyWits - & A.mintTxBodyL mOn - .~ convMintValue txMintValue - & A.scriptIntegrityHashTxBodyL azOn - .~ scriptIntegrityHash - & A.votingProceduresTxBodyL cOn - .~ convVotingProcedures (maybe TxVotingProceduresNone unFeatured txVotingProcedures) - & A.proposalProceduresTxBodyL cOn - .~ convProposalProcedures (maybe TxProposalProceduresNone unFeatured txProposalProcedures) - & A.currentTreasuryValueTxBodyL cOn - .~ Ledger.maybeToStrictMaybe (unFeatured =<< txCurrentTreasuryValue) - & A.treasuryDonationTxBodyL cOn - .~ maybe (L.Coin 0) unFeatured txTreasuryDonation - -- TODO Conway: support optional network id in TxBodyContent - -- & L.networkIdTxBodyL .~ SNothing - ) - ^. A.txBodyL - return $ - ShelleyTxBody - sbe - txbody - scripts - ( TxBodyScriptData - AlonzoEraOnwardsConway - datums - redeemers - ) - txAuxData - txScriptValidity - where - azOn = AlonzoEraOnwardsConway - - witnesses :: [(ScriptWitnessIndex, AnyScriptWitness ConwayEra)] - witnesses = collectTxBodyScriptWitnesses sbe txbodycontent - - scripts :: [Ledger.Script E.ConwayEra] - scripts = - catMaybes - [ toShelleyScript <$> getScriptWitnessScript scriptwitness - | (_, AnyScriptWitness scriptwitness) <- witnesses - ] - - -- Note these do not include inline datums! - datums :: Alonzo.TxDats E.ConwayEra - datums = - Alonzo.TxDats $ - fromList - [ (L.hashData d, d) - | d <- toAlonzoData <$> scriptdata - ] - - scriptdata :: [HashableScriptData] - scriptdata = - [d | TxOut _ _ (TxOutSupplementalDatum _ d) _ <- txOuts] - <> [ d - | ( _ - , AnyScriptWitness - ( PlutusScriptWitness - _ - _ - _ - (ScriptDatumForTxIn (Just d)) - _ - _ - ) - ) <- - witnesses - ] - - redeemers :: Alonzo.Redeemers E.ConwayEra - redeemers = - Alonzo.Redeemers $ - fromList - [ (i, (toAlonzoData d, toAlonzoExUnits e)) - | ( idx - , AnyScriptWitness - (PlutusScriptWitness _ _ _ _ d e) - ) <- - witnesses - , Just i <- [fromScriptWitnessIndex azOn idx] - ] - - languages :: Set Plutus.Language - languages = - fromList $ - catMaybes - [ getScriptLanguage sw - | (_, AnyScriptWitness sw) <- witnesses - ] - - getScriptLanguage :: ScriptWitness witctx era -> Maybe Plutus.Language - getScriptLanguage (PlutusScriptWitness _ v _ _ _ _) = - Just $ toAlonzoLanguage (AnyPlutusScriptVersion v) - getScriptLanguage SimpleScriptWitness{} = Nothing - - txAuxData :: Maybe (L.TxAuxData E.ConwayEra) - txAuxData = toAuxiliaryData sbe txMetadata txAuxScripts -makeShelleyTransactionBody ShelleyBasedEraDijkstra _ = error "makeShelleyTransactionBody: Dijkstra is not supported" - -- ---------------------------------------------------------------------------- -- Script witnesses within the tx body --