policy id parsing for cip-25 v1 is correct

marlowe-runtime/test/Language/Marlowe/Runtime/Transaction/ApiSpec.hs

@@ -8,8 +8,12 @@ import Language.Marlowe.Runtime.Transaction.Api (CIP25Metadata(..), CIP25Metadat
 
 import qualified Data.Aeson as Aeson
 import qualified Data.ByteString.Lazy.Char8 as BL
+import qualified Data.Maybe as Maybe
 import Test.Hspec (Spec, it, shouldBe)
 import qualified Test.Hspec as Hspec
+import Test.Hspec.QuickCheck (prop)
+import Test.QuickCheck (Gen)
+import qualified Test.QuickCheck as Gen
 
 {-
 DOING Ensure CIP-25 version 2 is supported
@@ -23,11 +27,26 @@ TODO CIP25Metadata -> Metadata procedure
   TODO Reorganizes strings into lists of strings such that they are each no longer than 64 characters long
 -}
 
+version1Gen :: Gen (Maybe Int)
+version1Gen = Gen.elements [Nothing, Just 1]
+
 spec :: Spec
 spec = do
   Hspec.fdescribe "CIP-25 Metadata" do
     Hspec.describe "version 1" do
-      it "Parses PolicyId as UTF-8 string" Hspec.pending
+      prop "Parses PolicyId as UTF-8 string" do
+        version1 <- version1Gen
+        let input :: BL.ByteString
+            input = Aeson.encode $
+              Aeson.Object [("721", Aeson.Object $
+                if Maybe.isJust version1
+                then [("53756e", Aeson.Object []), ("version", Aeson.Number 1)]
+                else [("53756e", Aeson.Object [])])]
+            actual :: Either String CIP25Metadata
+            actual = Aeson.eitherDecode' input
+            expected :: Either String CIP25Metadata
+            expected = Right $ CIP25Metadata $ CIP25MetadataLabel [("53756e", [])] version1
+        pure $ actual `shouldBe` expected
       it "Serializes PolicyId as UTF-8 string" Hspec.pending
       it "Parses TokenName as UTF-8 string" Hspec.pending
       it "Serializes TokenName as UTF-8 string" Hspec.pending