Add text envelope serialisation for AnyPlutusScript

Use nonNativeLanguages and withSLanguage to derive textEnvTypes
so new Plutus versions are picked up automatically and GHC
enforces handling in constraint witness functions.

Author: Jimbo4350

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

@@ -67,6 +67,8 @@ module Cardano.Api.Experimental
     -- ** Plutus related
   , PlutusScriptInEra (..)
   , PlutusScriptOrReferenceInput (..)
+  , serialiseAnyPlutusScriptToTextEnvelope
+  , deserialiseAnyPlutusScriptFromTextEnvelope
   , IndexedPlutusScriptWitness (..)
   , PlutusScriptPurpose (..)
   , PlutusScriptDatum (..)

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

@@ -2,6 +2,8 @@ module Cardano.Api.Experimental.Plutus
   ( -- * Plutus Script
     AnyPlutusScript (..)
   , decodeAnyPlutusScript
+  , serialiseAnyPlutusScriptToTextEnvelope
+  , deserialiseAnyPlutusScriptFromTextEnvelope
   , PlutusScriptInEra (..)
   , AnyPlutusScriptLanguage (..)
   , deserialisePlutusScriptInEra

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

@@ -11,6 +11,8 @@
 module Cardano.Api.Experimental.Plutus.Internal.Script
   ( AnyPlutusScript (..)
   , decodeAnyPlutusScript
+  , serialiseAnyPlutusScriptToTextEnvelope
+  , deserialiseAnyPlutusScriptFromTextEnvelope
   , AnyPlutusScriptLanguage (..)
   , PlutusScriptInEra (..)
   , PlutusScriptOrReferenceInput (..)
@@ -201,3 +203,27 @@ data AnyPlutusScriptLanguage where
   AnyPlutusScriptLanguage
     :: L.PlutusLanguage lang
     => L.SLanguage lang -> AnyPlutusScriptLanguage
+
+serialiseAnyPlutusScriptToTextEnvelope
+  :: Maybe TextEnvelopeDescr -> AnyPlutusScript era -> TextEnvelope
+serialiseAnyPlutusScriptToTextEnvelope mbDescr (AnyPlutusScript script) =
+  obtainLangConstraints (plutusScriptInEraSLanguage script) $
+    serialiseToTextEnvelope mbDescr script
+
+deserialiseAnyPlutusScriptFromTextEnvelope
+  :: forall era
+   . L.Era era
+  => TextEnvelope
+  -> Either TextEnvelopeError (AnyPlutusScript era)
+deserialiseAnyPlutusScriptFromTextEnvelope =
+  deserialiseFromTextEnvelopeAnyOf textEnvTypes
+ where
+  textEnvTypes :: [FromSomeType HasTextEnvelope (AnyPlutusScript era)]
+  textEnvTypes =
+    map
+      ( \l ->
+          Plutus.withSLanguage l $ \(slang :: Plutus.SLanguage l) ->
+            obtainLangConstraints slang $
+              FromSomeType (asType @(PlutusScriptInEra l era)) AnyPlutusScript
+      )
+      Plutus.nonNativeLanguages