Export AnyScript from Cardano.Api.Experimental

Author: Jimbo4350

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

@@ -50,6 +50,12 @@ module Cardano.Api.Experimental
   , Witnessable (..)
   , WitnessableItem (..)
 
+    -- ** AnyScript related
+  , AnyScript (..)
+  , deserialiseAnyPlutusScriptOfLanguage
+  , deserialiseAnySimpleScript
+  , hashAnyScript
+
     -- ** Simple script related
   , SimpleScript (..)
   , SimpleScriptOrReferenceInput (..)
@@ -98,6 +104,7 @@ module Cardano.Api.Experimental
   )
 where
 
+import Cardano.Api.Experimental.AnyScript
 import Cardano.Api.Experimental.Certificate
 import Cardano.Api.Experimental.Era
 import Cardano.Api.Experimental.Plutus.Internal.IndexedPlutusScriptWitness

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

@@ -42,6 +42,10 @@ instance L.Era era => HasTypeProxy (AnyScript era) where
   data AsType (AnyScript era) = AsAnyScript
   proxyToAsType _ = AsAnyScript
 
+instance Show (AnyScript era) where
+  show (AnySimpleScript ss) = "AnySimpleScript " ++ show ss
+  show (AnyPlutusScript ps) = "AnyPlutusScript " ++ show ps
+
 instance Eq (AnyScript era) where
   AnySimpleScript s1 == AnySimpleScript s2 = s1 == s2
   AnyPlutusScript (ps1 :: PlutusScriptInEra lang1 era) == AnyPlutusScript (ps2 :: PlutusScriptInEra lang2 era) =

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

@@ -122,13 +122,15 @@ tests =
 prop_roundtrip_cbor_any_script :: Property
 prop_roundtrip_cbor_any_script = H.property $ do
   script <- H.forAll genAnyScript
-  H.tripping script Exp.serialiseToCBOR (Exp.deserialiseFromCBOR Exp.AsAnyScript)
+  H.tripping script Api.serialiseToCBOR (Api.deserialiseFromCBOR Exp.AsAnyScript)
 
 -- | Deserialising random garbage bytes should always return 'Left'.
 prop_deserialise_garbage_bytes_returns_left :: Property
 prop_deserialise_garbage_bytes_returns_left = H.property $ do
   garbage <- H.forAll $ Gen.bytes (Range.linear 0 128)
-  case Exp.deserialiseFromCBOR Exp.AsAnyScript garbage of
+  case Api.deserialiseFromCBOR
+    (Exp.AsAnyScript :: Exp.AsType (Exp.AnyScript (Exp.LedgerEra Exp.ConwayEra)))
+    garbage of
     Left _ -> H.success
     Right _ -> H.annotate "Expected deserialisation failure but got Right" >> H.failure
 

cardano-api/test/cardano-api-test/Test/Cardano/Api/Transaction/Body/Plutus/Scripts.hs

@@ -11,7 +11,6 @@ where
 import Cardano.Api (AlonzoEraOnwards (..))
 import Cardano.Api qualified as Api
 import Cardano.Api.Experimental
-import Cardano.Api.Experimental.AnyScript
 import Cardano.Api.Experimental.AnyScriptWitness
 import Cardano.Api.Experimental.Plutus hiding (AnyPlutusScript (..))
 import Cardano.Api.Experimental.Tx qualified as Exp