Add serialization tests for readAnyScriptBytes and readFileAnyScript

Cover the three decode paths: Plutus script text envelopes written with
serialiseToTextEnvelope, hand-built simple script text envelopes (simple
scripts have no text envelope format of their own), and the legacy JSON
simple script fallback. Also roundtrip readFileAnyScript through a
temporary file.

Author: Jimbo4350

cardano-api/test/cardano-api-test/Test/Cardano/Api/Experimental.hs

@@ -44,6 +44,7 @@ import Cardano.Slotting.Time qualified as Slotting
 
 import Control.Monad.Identity (Identity)
 import Data.Bifunctor (first)
+import Data.ByteString qualified as BS
 import Data.Foldable (toList)
 import Data.Map.Strict qualified as Map
 import Data.Maybe (fromMaybe)
@@ -54,8 +55,14 @@ import Data.Time qualified as Time
 import Data.Time.Clock.POSIX qualified as Time
 import Lens.Micro
 
-import Test.Gen.Cardano.Api.Experimental (genAnyScript)
-import Test.Gen.Cardano.Api.Typed (genAddressInEra, genTx, genTxIn)
+import Test.Gen.Cardano.Api.Experimental (genAnyScript, genSimpleScriptInEra)
+import Test.Gen.Cardano.Api.Typed
+  ( genAddressInEra
+  , genPlutusScriptInEra
+  , genSimpleScript
+  , genTx
+  , genTxIn
+  )
 
 import Hedgehog (Gen, Property)
 import Hedgehog qualified as H
@@ -95,6 +102,21 @@ tests =
             "Roundtrip serialiseToCBOR/deserialiseFromCBOR AnyScript"
             prop_roundtrip_cbor_any_script
         ]
+    , testGroup
+        "readAnyScriptBytes"
+        [ testProperty
+            "Roundtrip Plutus script text envelope"
+            prop_roundtrip_plutus_script_text_envelope
+        , testProperty
+            "Roundtrip simple script text envelope"
+            prop_roundtrip_simple_script_text_envelope
+        , testProperty
+            "Read legacy JSON simple script"
+            prop_read_legacy_json_simple_script
+        , testProperty
+            "Roundtrip readFileAnyScript"
+            prop_roundtrip_read_file_any_script
+        ]
     , testGroup
         "makeUnsignedTx"
         [ testProperty
@@ -132,6 +154,49 @@ prop_roundtrip_cbor_any_script = H.property $ do
   script <- H.forAll genAnyScript
   H.tripping script Api.serialiseToCBOR (Api.deserialiseFromCBOR Exp.AsAnyScript)
 
+prop_roundtrip_plutus_script_text_envelope :: Property
+prop_roundtrip_plutus_script_text_envelope = H.property $ do
+  ps <- H.forAll genPlutusScriptInEra
+  let envelopeJson = Api.serialiseToJSON $ Api.serialiseToTextEnvelope Nothing ps
+  script <- H.evalEither $ Exp.readAnyScriptBytes Exp.ConwayEra envelopeJson
+  script H.=== Exp.AnyPlutusScript ps
+
+-- | Simple scripts have no text envelope format of their own, so the envelope
+-- is constructed by hand using the \"SimpleScript\" type string written by the
+-- old API's 'Api.Script' text envelope instance.
+prop_roundtrip_simple_script_text_envelope :: Property
+prop_roundtrip_simple_script_text_envelope = H.property $ do
+  ss <- H.forAll genSimpleScriptInEra
+  let envelope =
+        Api.TextEnvelope
+          { Api.teType = Api.TextEnvelopeType "SimpleScript"
+          , Api.teDescription = ""
+          , Api.teRawCBOR = Api.serialiseToCBOR ss
+          }
+  script <- H.evalEither $ Exp.readAnyScriptBytes Exp.ConwayEra (Api.serialiseToJSON envelope)
+  script H.=== Exp.AnySimpleScript ss
+
+prop_read_legacy_json_simple_script :: Property
+prop_read_legacy_json_simple_script = H.property $ do
+  oldScript <- H.forAll genSimpleScript
+  script <- H.evalEither $ Exp.readAnyScriptBytes Exp.ConwayEra (Api.serialiseToJSON oldScript)
+  script H.=== Exp.AnySimpleScript (Exp.SimpleScript (Api.toAllegraTimelock oldScript))
+
+prop_roundtrip_read_file_any_script :: Property
+prop_roundtrip_read_file_any_script = H.propertyOnce . H.moduleWorkspace "any-script" $ \ws -> do
+  ss <- H.forAll genSimpleScriptInEra
+  let envelope =
+        Api.TextEnvelope
+          { Api.teType = Api.TextEnvelopeType "SimpleScript"
+          , Api.teDescription = ""
+          , Api.teRawCBOR = Api.serialiseToCBOR ss
+          }
+      path = ws <> "/simple-script.json"
+  H.evalIO $ BS.writeFile path (Api.serialiseToJSON envelope)
+  result <- H.evalIO $ Exp.readFileAnyScript Exp.ConwayEra (Api.File path)
+  script <- H.evalEither result
+  script H.=== Exp.AnySimpleScript ss
+
 prop_created_transaction_with_both_apis_are_the_same :: Property
 prop_created_transaction_with_both_apis_are_the_same = H.propertyOnce $ do
   let era = Exp.ConwayEra