Implement plutusScriptInEraLanguage

Author: Jimbo4350

cardano-api/gen/Test/Gen/Cardano/Api/Experimental.hs

@@ -40,15 +40,15 @@ genAnyPlutusScriptWitnessV1 =
 
 genAnyPlutusScriptWitnessV2 :: Gen (AnyWitness era)
 genAnyPlutusScriptWitnessV2 =
-  AnyPlutusScriptWitness <$> fmap AnyPlutusMintingScriptWitness (genPlutusScriptWitness L.SPlutusV2)
+  AnyPlutusScriptWitness <$> error "TODO" -- genPlutusScriptWitness L.SPlutusV2
 
 genAnyPlutusScriptWitnessV3 :: Gen (AnyWitness era)
 genAnyPlutusScriptWitnessV3 =
-  AnyPlutusScriptWitness <$> fmap AnyPlutusMintingScriptWitness (genPlutusScriptWitness L.SPlutusV3)
+  AnyPlutusScriptWitness <$> error "TODO" -- genPlutusScriptWitness L.SPlutusV3
 
 genAnyPlutusScriptWitnessV4 :: Gen (AnyWitness era)
 genAnyPlutusScriptWitnessV4 =
-  AnyPlutusScriptWitness <$> fmap AnyPlutusMintingScriptWitness (genPlutusScriptWitness L.SPlutusV4)
+  AnyPlutusScriptWitness <$> error "TODO" -- genPlutusScriptWitness L.SPlutusV4
 
 genAnySimpleScriptWitness :: Gen (SimpleScriptOrReferenceInput era)
 genAnySimpleScriptWitness = SReferenceScript <$> genTxIn

cardano-api/src/Cardano/Api/Experimental/Plutus.hs

@@ -1,6 +1,7 @@
 module Cardano.Api.Experimental.Plutus
   ( -- * Plutus Script
     PlutusScriptInEra (..)
+  , plutusScriptInEraLanguage
 
     -- * Legacy Scripts
   , convertToNewScriptWitness

cardano-api/src/Cardano/Api/Experimental/Plutus/Internal/Script.hs

@@ -2,11 +2,15 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeApplications #-}
 
 module Cardano.Api.Experimental.Plutus.Internal.Script
   ( PlutusScriptInEra (..)
   , PlutusScriptOrReferenceInput (..)
+  , plutusScriptInEraLanguage
   )
 where
 
@@ -15,6 +19,8 @@ import Cardano.Api.Tx.Internal.TxIn (TxIn)
 import Cardano.Ledger.Plutus.Language (PlutusRunnable)
 import Cardano.Ledger.Plutus.Language qualified as L
 
+import Data.Proxy
+
 -- | A Plutus script in a particular era.
 -- Why PlutusRunnable? Mainly for deserialization benefits.
 -- The deserialization of this type looks at the
@@ -38,6 +44,11 @@ deriving instance Show (PlutusScriptInEra lang era)
 
 deriving instance Eq (PlutusScriptInEra lang era)
 
+plutusScriptInEraLanguage
+  :: forall lang era. L.PlutusLanguage lang => PlutusScriptInEra lang era -> L.Language
+plutusScriptInEraLanguage (PlutusScriptInEra _) =
+  L.plutusLanguage (Proxy @lang)
+
 -- | You can provide the plutus script directly in the transaction
 -- or a reference input that points to the script in the UTxO.
 -- Using a reference script saves space in your transaction.

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Fee.hs

@@ -11,7 +11,8 @@
 {-# LANGUAGE TypeApplications #-}
 
 module Cardano.Api.Experimental.Tx.Internal.Fee
-  ( estimateBalancedTxBody
+  ( collectTxBodyScriptWitnesses
+  , estimateBalancedTxBody
   , evaluateTransactionFee
   )
 where
@@ -22,7 +23,6 @@ import Cardano.Api.Era.Internal.Eon.Convert
 import Cardano.Api.Experimental.AnyScriptWitness
 import Cardano.Api.Experimental.AnyScriptWitness qualified as Exp
 import Cardano.Api.Experimental.Era
-import Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
 import Cardano.Api.Experimental.Tx.Internal.AnyWitness
 import Cardano.Api.Experimental.Tx.Internal.BodyContent.New
 import Cardano.Api.Experimental.Tx.Internal.Certificate qualified as Exp
@@ -31,8 +31,7 @@ import Cardano.Api.Key.Internal qualified as Api
 import Cardano.Api.Ledger.Internal.Reexport qualified as L
 import Cardano.Api.ProtocolParameters
 import Cardano.Api.Tx.Internal.Body
-  ( AnyScriptWitness (AnyScriptWitness)
-  , CtxTx
+  ( CtxTx
   , ScriptWitnessIndex (..)
   , toScriptIndex
   )
@@ -778,7 +777,7 @@ collectTxBodyScriptWitnesses
       , scriptWitnessesCertificates txCertificates
       , scriptWitnessesMinting txMintValue
       , maybe [] scriptWitnessesVoting txVotingProcedures
-      --   , maybe [] scriptWitnessesProposing txProposalProcedures
+      , maybe [] scriptWitnessesProposing txProposalProcedures
       ]
    where
     scriptWitnessesTxIns