Add some more instances for EJson

Author: garyb

bower.json

@@ -20,6 +20,8 @@
     "purescript-bifunctors": "^2.0.0",
     "purescript-fixed-points": "^2.0.0",
     "purescript-maps": "^2.0.0",
+    "purescript-matryoshka": "^0.1.0",
+    "purescript-newtype": "^1.2.0",
     "purescript-parsing": "^3.0.0",
     "purescript-precise": "^1.0.0",
     "purescript-strongcheck": "^2.0.0"

src/Data/Json/Extended.purs

@@ -41,15 +41,27 @@ import Data.HugeNum as HN
 import Data.Json.Extended.Signature as Sig
 import Data.Map as Map
 import Data.Maybe as M
+import Data.Newtype as N
 import Data.Ord1 (compare1)
 import Data.StrMap as SM
 import Data.Tuple as T
+
+import Matryoshka (class Corecursive, class Recursive, embed, project)
+
 import Test.StrongCheck.Arbitrary as SC
 import Test.StrongCheck.Gen as Gen
 import Text.Parsing.Parser as P
 
 newtype EJson = EJson (Mu.Mu Sig.EJsonF)
 
+derive instance newtypeEJson :: N.Newtype EJson _
+
+instance recursiveEJson ∷ Recursive EJson Sig.EJsonF where
+  project = N.traverse EJson project
+
+instance corecursiveEJson ∷ Corecursive EJson Sig.EJsonF where
+  embed = N.collect EJson embed
+
 getEJson
   ∷ EJson
   → Mu.Mu Sig.EJsonF