Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions cardano-api/src/Cardano/Api/Experimental/Tx.hs
Original file line number Diff line number Diff line change
Expand Up @@ -205,6 +205,12 @@ module Cardano.Api.Experimental.Tx
-- ** Internal functions
, extractExecutionUnits
, getTxScriptWitnessRequirements
, extractWitnessableTxIns
, extractWitnessableMints
, extractWitnessableCertificates
, extractWitnessableWithdrawals
, extractWitnessableVotes
, extractWitnessableProposals
)
where

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -60,6 +60,12 @@ module Cardano.Api.Experimental.Tx.Internal.BodyContent.New

-- * Internal conversions
, convProposalProcedures
, extractWitnessableTxIns
, extractWitnessableMints
, extractWitnessableCertificates
, extractWitnessableWithdrawals
, extractWitnessableVotes
, extractWitnessableProposals

-- * Legacy conversions
, DatumDecodingError (..)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,6 @@

import Data.Function
import Data.List qualified as List
import Data.Map.Ordered qualified as OMap
import Data.Map.Strict qualified as Map

import Test.Gen.Cardano.Api.Experimental qualified as Exp
Expand Down Expand Up @@ -178,30 +177,12 @@

let allGeneratedPlutusScriptWitnesses =
mconcat
[ createIndexedPlutusScriptWitnesses $ [(Exp.WitTxIn tIn, sWit) | (tIn, sWit) <- generatedTxInWits]
, createIndexedPlutusScriptWitnesses $
[ (Exp.WitMint pid pAssets, anyScriptWitnessToAnyWitness sWit)
| (pid, (pAssets, sWit)) <- Map.toList $ Exp.unTxMintValue generatedTxMintWits
]
, createIndexedPlutusScriptWitnesses
[ (Exp.WitTxCert c scred, wit)
| (Certificate c, Just (scred, wit)) <-
OMap.toAscList $ Exp.unTxCertificates generatedTxCertWits
]
, createIndexedPlutusScriptWitnesses
[ (Exp.WitWithdrawal sAddr deposit, wit)
| (sAddr, deposit, wit) <- Exp.unTxWithdrawals generatedTxWithdrawals
]
, createIndexedPlutusScriptWitnesses
[ (Exp.WitVote v, wit)
| let Exp.TxVotingProcedures _ vMap = generatedTxVotingprocedures
, (v, wit) <- Map.toList vMap
]
, createIndexedPlutusScriptWitnesses
[ (Exp.WitProposal p, wit)
| let Exp.TxProposalProcedures pMap = generatedTxProposalProcedures
, (p, wit) <- OMap.toAscList pMap
]
[ createIndexedPlutusScriptWitnesses $ Exp.extractWitnessableTxIns generatedTxInWits
, createIndexedPlutusScriptWitnesses $ map (\(w, sw) -> (w, anyScriptWitnessToAnyWitness sw)) $ Exp.extractWitnessableMints generatedTxMintWits
Comment thread Fixed
, createIndexedPlutusScriptWitnesses $ Exp.extractWitnessableCertificates generatedTxCertWits
, createIndexedPlutusScriptWitnesses $ Exp.extractWitnessableWithdrawals generatedTxWithdrawals
, createIndexedPlutusScriptWitnesses $ Exp.extractWitnessableVotes (Just generatedTxVotingprocedures)
, createIndexedPlutusScriptWitnesses $ Exp.extractWitnessableProposals (Just generatedTxProposalProcedures)
]

H.note_ "All generated script witnesses"
Expand Down
Loading