Merge with PlutusV4 intro

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

@@ -74,6 +74,7 @@ getPlutusScriptWitnessLanguage (PlutusScriptWitness l _ _ _ _) =
     L.SPlutusV1 -> L.plutusLanguage l
     L.SPlutusV2 -> L.plutusLanguage l
     L.SPlutusV3 -> L.plutusLanguage l
+    L.SPlutusV4 -> L.plutusLanguage l
 
 -- | Every Plutus script has a purpose that indicates
 -- what that script is witnessing.
@@ -100,21 +101,27 @@ type family PlutusScriptDatumF (lang :: L.Language) (purpose :: PlutusScriptPurp
   PlutusScriptDatumF L.PlutusV1 SpendingScript = HashableScriptData
   PlutusScriptDatumF L.PlutusV2 SpendingScript = HashableScriptData
   PlutusScriptDatumF L.PlutusV3 SpendingScript = Maybe HashableScriptData -- CIP-69
+  PlutusScriptDatumF L.PlutusV4 SpendingScript = Maybe HashableScriptData -- CIP-69
   PlutusScriptDatumF L.PlutusV1 MintingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV2 MintingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV3 MintingScript = NoScriptDatum
+  PlutusScriptDatumF L.PlutusV4 MintingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV1 WithdrawingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV2 WithdrawingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV3 WithdrawingScript = NoScriptDatum
+  PlutusScriptDatumF L.PlutusV4 WithdrawingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV1 CertifyingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV2 CertifyingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV3 CertifyingScript = NoScriptDatum
+  PlutusScriptDatumF L.PlutusV4 CertifyingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV1 ProposingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV2 ProposingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV3 ProposingScript = NoScriptDatum
+  PlutusScriptDatumF L.PlutusV4 ProposingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV1 VotingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV2 VotingScript = NoScriptDatum
   PlutusScriptDatumF L.PlutusV3 VotingScript = NoScriptDatum
+  PlutusScriptDatumF L.PlutusV4 VotingScript = NoScriptDatum
 
 data PlutusScriptDatum (lang :: L.Language) (purpose :: PlutusScriptPurpose) where
   SpendingScriptDatum

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

@@ -119,11 +119,13 @@ toPlutusScriptDatum
   -> Old.ScriptDatum Old.WitCtxTxIn
   -> PlutusScriptDatum (Old.ToLedgerPlutusLanguage lang) (ToPlutusScriptPurpose TxInItem)
 -- ^ Encapsulates CIP-69: V3 spending script datums are optional
+toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV4 (Old.ScriptDatumForTxIn r) = SpendingScriptDatum r
 toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV3 (Old.ScriptDatumForTxIn r) = SpendingScriptDatum r
 -- \^ V2 and V1 spending script datums are required
 toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV2 (Old.ScriptDatumForTxIn (Just r)) = SpendingScriptDatum r
 toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV1 (Old.ScriptDatumForTxIn (Just r)) = SpendingScriptDatum r
 -- \^ V2 and V3 scripts can have inline datums
+toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV4 Old.InlineScriptDatum = InlineDatum
 toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV3 Old.InlineScriptDatum = InlineDatum
 toPlutusScriptDatum WitTxIn{} Old.PlutusScriptV2 Old.InlineScriptDatum = InlineDatum
 -- \^ Everything else is not allowed. The old api does not prevent these invalid combinations.
@@ -206,10 +208,12 @@ obtainConstraints v =
     Old.PlutusScriptV1 -> id
     Old.PlutusScriptV2 -> id
     Old.PlutusScriptV3 -> id
+    Old.PlutusScriptV4 -> id
 
 toPlutusSLanguage
   :: Old.PlutusScriptVersion lang -> L.SLanguage (Old.ToLedgerPlutusLanguage lang)
 toPlutusSLanguage = \case
   Old.PlutusScriptV1 -> L.SPlutusV1
   Old.PlutusScriptV2 -> L.SPlutusV2
   Old.PlutusScriptV3 -> L.SPlutusV3
+  Old.PlutusScriptV4 -> L.SPlutusV4

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

@@ -29,6 +29,7 @@ import Cardano.Ledger.Alonzo.Scripts qualified as L
 import Cardano.Ledger.Babbage.Scripts qualified as L
 import Cardano.Ledger.Conway.Scripts qualified as L
 import Cardano.Ledger.Core qualified as L
+import Cardano.Ledger.Dijkstra.Scripts qualified as Dijkstra
 import Cardano.Ledger.Plutus.Data qualified as L
 import Cardano.Ledger.Plutus.Language qualified as L
 
@@ -101,12 +102,14 @@ getAnyWitnessScript era ss@(AnySimpleScriptWitness{}) =
     ShelleyBasedEraAlonzo -> L.TimelockScript <$> getAnyWitnessSimpleScript ss
     ShelleyBasedEraBabbage -> L.TimelockScript <$> getAnyWitnessSimpleScript ss
     ShelleyBasedEraConway -> L.TimelockScript <$> getAnyWitnessSimpleScript ss
+    ShelleyBasedEraDijkstra -> L.TimelockScript <$> getAnyWitnessSimpleScript ss
 getAnyWitnessScript era ps@(AnyPlutusScriptWitness{}) =
   forShelleyBasedEraInEon era Nothing $ \aEon ->
     case aEon of
       AlonzoEraOnwardsAlonzo -> L.PlutusScript <$> getAnyWitnessPlutusScript aEon ps
       AlonzoEraOnwardsBabbage -> L.PlutusScript <$> getAnyWitnessPlutusScript aEon ps
       AlonzoEraOnwardsConway -> L.PlutusScript <$> getAnyWitnessPlutusScript aEon ps
+      AlonzoEraOnwardsDijkstra -> L.PlutusScript <$> getAnyWitnessPlutusScript aEon ps
 
 -- It should be noted that 'PlutusRunnable' is constructed via deserialization. The deserialization
 -- instance lives in ledger and will fail for an invalid script language/era pairing. Therefore
@@ -127,6 +130,9 @@ fromPlutusRunnable L.SPlutusV1 eon runnable =
     AlonzoEraOnwardsConway ->
       let plutusScript = L.plutusFromRunnable runnable
        in Just $ L.ConwayPlutusV1 plutusScript
+    AlonzoEraOnwardsDijkstra ->
+      let plutusScript = L.plutusFromRunnable runnable
+       in Just $ Dijkstra.MkDijkstraPlutusScript $ L.ConwayPlutusV1 plutusScript
 fromPlutusRunnable L.SPlutusV2 eon runnable =
   case eon of
     AlonzoEraOnwardsAlonzo -> Nothing
@@ -136,13 +142,29 @@ fromPlutusRunnable L.SPlutusV2 eon runnable =
     AlonzoEraOnwardsConway ->
       let plutusScript = L.plutusFromRunnable runnable
        in Just $ L.ConwayPlutusV2 plutusScript
+    AlonzoEraOnwardsDijkstra ->
+      let plutusScript = L.plutusFromRunnable runnable
+       in Just $ Dijkstra.MkDijkstraPlutusScript $ L.ConwayPlutusV2 plutusScript
 fromPlutusRunnable L.SPlutusV3 eon runnable =
   case eon of
     AlonzoEraOnwardsAlonzo -> Nothing
     AlonzoEraOnwardsBabbage -> Nothing
     AlonzoEraOnwardsConway ->
       let plutusScript = L.plutusFromRunnable runnable
        in Just $ L.ConwayPlutusV3 plutusScript
+    AlonzoEraOnwardsDijkstra ->
+      let plutusScript = L.plutusFromRunnable runnable
+       in Just $ Dijkstra.MkDijkstraPlutusScript $ L.ConwayPlutusV3 plutusScript
+fromPlutusRunnable L.SPlutusV4 eon runnable =
+  case eon of
+    AlonzoEraOnwardsAlonzo -> Nothing
+    AlonzoEraOnwardsBabbage -> Nothing
+    AlonzoEraOnwardsConway ->
+      let plutusScript = L.plutusFromRunnable runnable
+       in Just $ (error "fromPlutusRunnable: ConwayPlutusV4") plutusScript
+    AlonzoEraOnwardsDijkstra ->
+      let plutusScript = L.plutusFromRunnable runnable
+       in Just $ Dijkstra.MkDijkstraPlutusScript $ (error "fromPlutusRunnable: DijkstraPlutusV4") plutusScript
 
 toAlonzoDatum
   :: AlonzoEraOnwards era
@@ -160,5 +182,6 @@ getPlutusDatum
 getPlutusDatum L.SPlutusV1 (SpendingScriptDatum d) = Just d
 getPlutusDatum L.SPlutusV2 (SpendingScriptDatum d) = Just d
 getPlutusDatum L.SPlutusV3 (SpendingScriptDatum d) = d
+getPlutusDatum L.SPlutusV4 (SpendingScriptDatum _d) = error "dijkstra"
 getPlutusDatum _ InlineDatum = Nothing
 getPlutusDatum _ NoScriptDatum = Nothing

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

@@ -4,6 +4,7 @@ module Cardano.Api.Plutus
   , PlutusScriptV1
   , PlutusScriptV2
   , PlutusScriptV3
+  , PlutusScriptV4
   , ScriptLanguage (..)
   , PlutusScriptVersion (..)
   , AnyScriptLanguage (..)