WIP

Author: Jimbo4350

cardano-api/cardano-api.cabal

@@ -227,15 +227,18 @@ library
     Cardano.Api.Experimental.Plutus.Internal.Script
     Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
     Cardano.Api.Experimental.Plutus.Internal.Shim.LegacyScripts
+    Cardano.Api.Experimental.Script
     Cardano.Api.Experimental.Serialise.TextEnvelope.Internal
     Cardano.Api.Experimental.Tx.Internal.AnyWitness
-    Cardano.Api.Experimental.Tx.Internal.Body
+    Cardano.Api.Experimental.Tx.Internal.BodyContent.New
+    Cardano.Api.Experimental.Tx.Internal.BodyContent.Old
     Cardano.Api.Experimental.Tx.Internal.Certificate
     Cardano.Api.Experimental.Tx.Internal.Certificate.Compatible
     Cardano.Api.Experimental.Tx.Internal.Certificate.Type
     Cardano.Api.Experimental.Tx.Internal.Compatible
     Cardano.Api.Experimental.Tx.Internal.Fee
     Cardano.Api.Experimental.Tx.Internal.TxScriptWitnessRequirements
+    Cardano.Api.Experimental.Tx.Internal.Type
     Cardano.Api.Genesis.Internal
     Cardano.Api.Genesis.Internal.Parameters
     Cardano.Api.Governance.Internal.Action.ProposalProcedure

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

@@ -92,7 +92,7 @@ data PlutusScriptPurpose
   | -- | Witnesses a vote
     VotingScript
 
-data NoScriptDatum = NoScriptDatumAllowed deriving Show
+data NoScriptDatum = NoScriptDatumAllowed deriving (Eq, Show)
 
 -- | The PlutusScriptDatum type family is used to determine if a script datum is allowed
 -- for a given plutus script purpose and version. This change was proposed in CIP-69
@@ -130,6 +130,55 @@ data PlutusScriptDatum (lang :: L.Language) (purpose :: PlutusScriptPurpose) whe
   NoScriptDatum
     :: PlutusScriptDatum lang purpose
 
+instance Eq (PlutusScriptDatum L.PlutusV1 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV2 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV3 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV4 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang MintingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang WithdrawingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang CertifyingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang ProposingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang VotingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
 instance Show (PlutusScriptDatum lang purpose) where
   show = \case
     SpendingScriptDatum _d -> "Datum"

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

@@ -192,7 +192,10 @@ legacyWitnessToScriptRequirements
   -> Either CBOR.DecoderError (TxScriptWitnessRequirements (ShelleyLedgerEra era))
 legacyWitnessToScriptRequirements eon wits = do
   r <- legacyWitnessConversion eon wits
-  return $ getTxScriptWitnessesRequirements eon r
+  return $
+    alonzoEraOnwardsConstraints eon $
+      obtainMonoidConstraint eon $
+        getTxScriptWitnessesRequirements r
 
 -- Misc helpers
 

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

@@ -0,0 +1,13 @@
+{-# LANGUAGE GADTs #-}
+
+module Cardano.Api.Experimental.Script
+  ( AnyScript (..)
+  )
+where
+
+import Cardano.Api.Experimental.Plutus.Internal.Script
+import Cardano.Api.Experimental.Simple.Script
+
+data AnyScript era where
+  SimpleScript :: SimpleScriptOrReferenceInput era -> AnyScript era
+  PlutusScript :: PlutusScriptOrReferenceInput lang era -> AnyScript era