From 21777826feb4affa53bf150588b70fc11bb92512 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Mar 2020 00:38:54 -0400
Subject: Test for codec composition + adjustments to JS-generation code.

---
 stdlib/source/test/lux/abstract.lux       |  2 ++
 stdlib/source/test/lux/abstract/codec.lux | 36 ++++++++++++++++++++++++++++++-
 stdlib/source/test/lux/extension.lux      | 14 ++++++------
 3 files changed, 45 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index 4d37ed458..cbc89fce9 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -2,10 +2,12 @@
   [lux #*
    ["_" test (#+ Test)]]
   ["." / #_
+   ["#." codec]
    ["#." interval]])
 
 (def: #export test
   Test
   ($_ _.and
+      /codec.test
       /interval.test
       ))
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index b6bbdd91e..84a3997b3 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -5,7 +5,12 @@
    [control
     ["." try]]
    [data
-    ["%" text/format (#+ format)]]
+    ["." bit ("#@." equivalence)]
+    ["%" text/format (#+ format)]
+    [format
+     ["." json (#+ JSON)]]
+    [collection
+     [dictionary]]]
    [math
     ["r" random (#+ Random)]]]
   {1
@@ -13,6 +18,35 @@
     [//
      [equivalence (#+ Equivalence)]]]})
 
+(def: json
+  (Codec JSON Bit)
+  (let [field "value"]
+    (structure
+     (def: encode
+       (|>> #json.Boolean
+            [field]
+            list
+            (json.object)))
+     (def: decode
+       (json.get-boolean field)))))
+
+(def: codec
+  (Codec Text Bit)
+  (/.compose json.codec ..json))
+
+(def: #export test
+  Test
+  (do r.monad
+    [expected r.bit]
+    (<| (_.context (%.name (name-of /.Codec)))
+        (_.test "Composition."
+                (case (|> expected (:: ..codec encode) (:: ..codec decode))
+                  (#try.Success actual)
+                  (bit@= expected actual)
+                  
+                  (#try.Failure error)
+                  false)))))
+
 (def: #export (spec (^open "/@.") (^open "/@.") generator)
   (All [m a] (-> (Equivalence a) (Codec m a) (Random a) Test))
   (do r.monad
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 23c33c620..6160294c4 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -14,12 +14,14 @@
      ["%" format (#+ format)]]]
    [tool
     [compiler
-     ["." analysis]
-     ["." synthesis]
-     ["." directive]
-     [phase
-      [analysis
-       ["." type]]]]]
+     [language
+      [lux
+       ["." analysis]
+       ["." synthesis]
+       ["." directive]
+       [phase
+        [analysis
+         ["." type]]]]]]]
    ["_" test (#+ Test)]]
   {1
    ["." / (#+ analysis: synthesis: generation: directive:)]})
-- 
cgit v1.2.3