Make EJson Show-able (#14)

* Make `EJson` `Show`-able

* Make `Cursor` `Show`-able

Author: garyb

src/Data/Json/Extended/Cursor.purs

@@ -6,10 +6,11 @@ import Data.Array as A
 import Data.Bifunctor (lmap)
 import Data.Eq (class Eq1)
 import Data.Functor.Mu (Mu)
-import Data.Json.Extended (EJson, renderEJson)
+import Data.Json.Extended (EJson)
 import Data.Json.Extended as EJ
 import Data.Maybe (Maybe(..), maybe)
 import Data.Ord (class Ord1)
+import Data.TacitString (TacitString)
 import Data.Tuple (Tuple(..), lookup)
 
 import Matryoshka (Algebra, cata, project, embed)
@@ -47,14 +48,18 @@ derive instance ordCursor ∷ Ord a ⇒ Ord (CursorF a)
 
 instance eq1CursorF ∷ Eq1 CursorF where
   eq1 = eq
+
 instance ord1CursorF ∷ Ord1 CursorF where
   compare1 = compare
 
+instance showCursorF ∷ Show (CursorF TacitString) where
+  show = case _ of
+    All → "All"
+    AtKey k a → "(AtKey " <> show k <> " " <> show a <> ")"
+    AtIndex i a → "(AtIndex " <> show i <> " " <> show a <> ")"
+
 renderEJsonCursor ∷ Cursor → String
-renderEJsonCursor = cata case _ of
-  All → "All"
-  AtKey ejson a → "(AtKey " <> renderEJson ejson <> " " <> a <> ")"
-  AtIndex i a → "(AtIndex " <> show i <> " " <> a <> ")"
+renderEJsonCursor = show
 
 -- | Peels off one layer of a cursor, if possible. The resulting tuple contains
 -- | the current step (made relative), and the remainder of the cursor.

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

@@ -16,6 +16,7 @@ import Data.List as L
 import Data.Monoid (mempty)
 import Data.Ord (class Ord1)
 import Data.Tuple (Tuple(..))
+import Data.TacitString (TacitString)
 
 -- | The signature endofunctor for the EJson theory.
 data EJsonF a
@@ -78,8 +79,6 @@ instance traversableEJsonF ∷ T.Traversable EJsonF where
     ObjectId oid → pure $ ObjectId oid
   sequence = T.sequenceDefault
 
-
-
 instance eq1EJsonF ∷ Eq1 EJsonF where
   eq1 Null Null = true
   eq1 (Boolean b1) (Boolean b2) = b1 == b2
@@ -131,6 +130,21 @@ derive instance ordEJsonF ∷ Ord a ⇒ Ord (EJsonF a)
 instance ord1EJsonF ∷ Ord1 EJsonF where
   compare1 = compare
 
+instance showEJsonF ∷ Show (EJsonF TacitString) where
+  show = case _ of
+    Null → "Null"
+    String s → "(String " <> show s <> ")"
+    Boolean b → "(Boolean " <> show b <> ")"
+    Integer i → "(Integer " <> show i <> ")"
+    Decimal n → "(Decimal " <> show n <> ")"
+    Timestamp r → "(Timestamp " <> show r <> ")"
+    Date d → "(Date " <> show d <> ")"
+    Time t → "(Time " <> show t <> ")"
+    Interval i → "(Interval " <> show i <> ")"
+    ObjectId i → "(ObjectId " <> show i <> ")"
+    Array xs → "(Array " <> show xs <> ")"
+    Map kvs → "(Map " <> show kvs <> ")"
+
 getType ∷ ∀ a. EJsonF a → JT.EJsonType
 getType = case _ of
   Null → JT.Null