Add sum for EJson types

Author: garyb

src/Data/Json/Extended.purs

@@ -1,5 +1,5 @@
 module Data.Json.Extended
-  ( module Sig
+  ( module Exports
 
   , EJson(..)
   , getEJson
@@ -26,6 +26,8 @@ module Data.Json.Extended
 
   , arbitraryEJsonOfSize
   , arbitraryJsonEncodableEJsonOfSize
+
+  , getType
   ) where
 
 import Prelude
@@ -39,6 +41,7 @@ import Data.Eq1 (eq1)
 import Data.Functor.Mu as Mu
 import Data.HugeNum as HN
 import Data.Json.Extended.Signature as Sig
+import Data.Json.Extended.Type (EJsonType)
 import Data.Map as Map
 import Data.Maybe as M
 import Data.Newtype as N
@@ -52,6 +55,8 @@ import Test.StrongCheck.Arbitrary as SC
 import Test.StrongCheck.Gen as Gen
 import Text.Parsing.Parser as P
 
+import Data.Json.Extended.Signature hiding (getType) as Exports
+
 newtype EJson = EJson (Mu.Mu Sig.EJsonF)
 
 derive instance newtypeEJson :: N.Newtype EJson _
@@ -207,3 +212,6 @@ object' ∷ SM.StrMap EJson → EJson
 object' = roll <<< Sig.Object <<< map go <<< A.fromFoldable <<< SM.toList
   where
     go (T.Tuple a b) = T.Tuple (string a) b
+
+getType ∷ EJson → EJsonType
+getType = Sig.getType <<< head

src/Data/Json/Extended/Signature/Core.purs

@@ -1,5 +1,6 @@
 module Data.Json.Extended.Signature.Core
   ( EJsonF(..)
+  , getType
   ) where
 
 import Prelude
@@ -9,10 +10,11 @@ import Data.Eq1 (class Eq1)
 import Data.Foldable as F
 import Data.HugeNum as HN
 import Data.Int as Int
+import Data.Json.Extended.Type as T
 import Data.List as L
 import Data.Map as Map
 import Data.Ord1 (class Ord1)
-import Data.Tuple as T
+import Data.Tuple (Tuple)
 
 -- | The signature endofunctor for the EJson theory.
 data EJsonF a
@@ -27,7 +29,7 @@ data EJsonF a
   | Interval String
   | ObjectId String
   | Array (Array a)
-  | Object (Array (T.Tuple a a))
+  | Object (Array (Tuple a a))
 
 instance functorEJsonF ∷ Functor EJsonF where
   map f x =
@@ -73,8 +75,8 @@ instance eq1EJsonF ∷ Eq1 EJsonF where
 isSubobject
   ∷ ∀ a b
   . (Eq a, Eq b)
-  ⇒ L.List (T.Tuple a b)
-  → L.List (T.Tuple a b)
+  ⇒ L.List (Tuple a b)
+  → L.List (Tuple a b)
   → Boolean
 isSubobject xs ys =
   F.foldl
@@ -136,11 +138,19 @@ instance ord1EJsonF ∷ Ord1 EJsonF where
   compare1 _ (Array _) = GT
   compare1 (Array _) _ = LT
 
-  compare1 (Object a) (Object b) = compare (pairsToObject a) (pairsToObject b)
-
-pairsToObject
-  ∷ ∀ a b
-  . (Ord a)
-  ⇒ Array (T.Tuple a b)
-  → Map.Map a b
-pairsToObject = Map.fromFoldable
+  compare1 (Object a) (Object b) = compare (Map.fromFoldable a) (Map.fromFoldable b)
+
+getType ∷ ∀ a. EJsonF a → T.EJsonType
+getType = case _ of
+  Null → T.Null
+  String _ → T.String
+  Boolean _ → T.Boolean
+  Integer _ → T.Integer
+  Decimal _ → T.Decimal
+  Timestamp _ → T.Timestamp
+  Date _ → T.Date
+  Time _ → T.Time
+  Interval _ → T.Interval
+  ObjectId _ → T.ObjectId
+  Array _ → T.Array
+  Object _ → T.Object

src/Data/Json/Extended/Type.purs

@@ -0,0 +1,34 @@
+module Data.Json.Extended.Type where
+
+import Prelude
+
+data EJsonType
+  = Null
+  | String
+  | Boolean
+  | Integer
+  | Decimal
+  | Timestamp
+  | Date
+  | Time
+  | Interval
+  | ObjectId
+  | Array
+  | Object
+
+derive instance eqEJsonType ∷ Eq EJsonType
+derive instance ordEJsonType ∷ Ord EJsonType
+
+instance showEJsonType ∷ Show EJsonType where
+  show Null = "Null"
+  show String = "String"
+  show Boolean = "Boolean"
+  show Integer = "Integer"
+  show Decimal = "Decimal"
+  show Timestamp = "Timestamp"
+  show Date = "Date"
+  show Time = "Time"
+  show Interval = "Interval"
+  show ObjectId = "ObjectId"
+  show Array = "Array"
+  show Object = "Object"