Bump cardano-types to v5.0.0

Author: errfrom

packages.dhall

@@ -117,7 +117,7 @@ let additions =
           , "unsafe-coerce"
           ]
         , repo = "https://github.com/mlabs-haskell/purescript-cardano-types"
-        , version = "5fe759a6e3d77450b3998e46fbbc17deafc69613"
+        , version = "v5.0.0"
         }
       , cardano-data-lite =
         { dependencies =

spago-packages.nix

@@ -187,11 +187,11 @@ let
 
     "cardano-types" = pkgs.stdenv.mkDerivation {
         name = "cardano-types";
-        version = "5fe759a6e3d77450b3998e46fbbc17deafc69613";
+        version = "v5.0.0";
         src = pkgs.fetchgit {
           url = "https://github.com/mlabs-haskell/purescript-cardano-types";
-          rev = "5fe759a6e3d77450b3998e46fbbc17deafc69613";
-          sha256 = "0391r5vmq8d3yqb0gwa7ggy6bdpvz9whzs13mq6wfp4nxncz24i9";
+          rev = "348fbbefa8bec5050e8492f5a9201ac5bb17c9d9";
+          sha256 = "06977niflqdpk4kw6d3480ak0m2rwi9fngjblxnqddqpdyj6zq1d";
         };
         phases = "installPhase";
         installPhase = "ln -s $src $out";

spago.dhall

@@ -1,7 +1,6 @@
 { name = "uplc-apply-args"
 , dependencies =
   [ "aff"
-  , "bifunctors"
   , "bytearrays"
   , "cardano-data-lite"
   , "cardano-types"
@@ -14,7 +13,6 @@
   , "maybe"
   , "mote"
   , "mote-testplan"
-  , "newtype"
   , "partial"
   , "prelude"
   , "profunctor"

src/Cardano/Plutus/ApplyArgs.purs

@@ -4,34 +4,31 @@ module Cardano.Plutus.ApplyArgs
 
 import Prelude
 
-import Cardano.Data.Lite as CSL
+import Cardano.Data.Lite as CDL
 import Cardano.Types (PlutusScript(PlutusScript))
 import Cardano.Types.PlutusData (PlutusData(List))
 import Cardano.Types.PlutusData as PlutusData
 import Cardano.Types.PlutusScript (PlutusScript)
 import Cardano.Types.PlutusScript as PlutusScript
-import Data.Bifunctor (rmap)
 import Data.Either (Either(Left, Right))
-import Data.Newtype (unwrap, wrap)
 import Data.Tuple.Nested ((/\))
 
 foreign import apply_params_to_script
   :: (forall a b. a -> Either a b)
   -> (forall a b. b -> Either a b)
-  -> CSL.PlutusData
-  -> CSL.PlutusScript
-  -> Either String CSL.PlutusScript
+  -> CDL.PlutusData
+  -> CDL.PlutusScript
+  -> Either String CDL.PlutusScript
 
 apply_params_to_script_either
-  :: CSL.PlutusData -> CSL.PlutusScript -> Either String CSL.PlutusScript
-apply_params_to_script_either = apply_params_to_script Left Right
+  :: CDL.PlutusData
+  -> CDL.PlutusScript
+  -> Either String CDL.PlutusScript
+apply_params_to_script_either =
+  apply_params_to_script Left Right
 
-applyArgs
-  :: PlutusScript -> Array PlutusData -> Either String PlutusScript
-applyArgs script@(PlutusScript (_ /\ langVersion)) paramsList = do
-  let params = PlutusData.toCsl (List paramsList)
-  appliedScript <- apply_params_to_script_either params
-    (PlutusScript.toCsl script)
-  -- We manually set PlutusScript.Language again since there's no roundtrip
-  -- guarantee for this type.
-  Right $ wrap $ rmap (const langVersion) $ unwrap $ PlutusScript.fromCsl appliedScript
+applyArgs :: PlutusScript -> Array PlutusData -> Either String PlutusScript
+applyArgs script@(PlutusScript (_ /\ lang)) paramsList = do
+  let params = PlutusData.toCdl (List paramsList)
+  appliedScript <- apply_params_to_script_either params $ PlutusScript.toCdl script
+  Right $ PlutusScript.fromCdl appliedScript lang

test/Main.purs

@@ -11,9 +11,9 @@ import Control.Monad.Error.Class (class MonadError, liftEither)
 import Data.ByteArray (ByteArray, hexToByteArray, hexToByteArrayUnsafe)
 import Data.Foldable (foldl, traverse_)
 import Data.List.Lazy (replicate)
-import Data.Maybe (Maybe(..), maybe)
+import Data.Maybe (Maybe(Just, Nothing), maybe)
 import Data.Profunctor.Choice (left)
-import Data.Tuple (Tuple(..), uncurry)
+import Data.Tuple (Tuple(Tuple), uncurry)
 import Data.Tuple.Nested ((/\))
 import Effect (Effect)
 import Effect.Aff (Aff, Error, error, launchAff_, throwError)