Add JsonCodec for SRIHash

Author: thomashoneyman

app/src/Registry/Json.purs

@@ -50,6 +50,7 @@ import Data.Array.NonEmpty (NonEmptyArray)
 import Data.Array.NonEmpty as NEA
 import Data.Bifunctor (lmap)
 import Data.Bitraversable (ltraverse)
+import Data.Codec.Argonaut as CA
 import Data.Either (Either(..), note)
 import Data.Int as Int
 import Data.Map (Map)
@@ -228,8 +229,8 @@ instance (EncodeRecord row list, DecodeRecord row list, RL.RowToList row list) =
     Just object -> decodeRecord object (Proxy :: Proxy list)
 
 instance RegistryJson SRIHash where
-  encode = encode <<< SRIHash.print
-  decode = SRIHash.parse <=< decode
+  encode = CA.encode SRIHash.codec
+  decode = lmap CA.printJsonDecodeError <<< CA.decode SRIHash.codec
 
 ---------
 

lib/spago.yaml

@@ -3,6 +3,7 @@ package:
   publish:
     license: BSD-3-Clause
   dependencies:
+    - codec-argonaut
     - effect
     - node-buffer
     - node-fs-aff
@@ -14,3 +15,4 @@ package:
     - argonaut-core
     - spec
     - sunde
+

lib/src/Registry/SRIHash.purs

@@ -4,6 +4,7 @@
 -- | https://github.com/purescript/registry-dev/blob/master/SPEC.md#srihash
 module Registry.SRIHash
   ( SRIHash
+  , codec
   , hashBuffer
   , hashFile
   , hashString
@@ -16,7 +17,10 @@ import Prelude
 
 import Data.Array as Array
 import Data.Bifunctor (lmap)
+import Data.Codec.Argonaut (JsonCodec)
+import Data.Codec.Argonaut as CA
 import Data.Either (Either)
+import Data.Either as Either
 import Data.List.Lazy as List.Lazy
 import Data.String.CodeUnits as String.CodeUnits
 import Effect (Effect)
@@ -37,6 +41,10 @@ newtype SRIHash = SRIHash { sri :: String, hash :: String }
 
 derive instance Eq SRIHash
 
+codec :: JsonCodec SRIHash
+codec = CA.prismaticCodec "SRIHash" (Either.hush <<< parse) print CA.string
+
+-- | Print a SRIHash as a subresource integrity hash using sha256
 print :: SRIHash -> String
 print (SRIHash { sri, hash }) = sri <> "-" <> hash