From 706ce9e4916b65c4df5101bd3cc1b4da3b2057af Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Jan 2021 12:58:50 -0400
Subject: Turned I64 and variant creation functions into constructors for JS.

---
 stdlib/source/test/aedifex/artifact.lux       |  2 ++
 stdlib/source/test/aedifex/artifact/value.lux | 38 +++++++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/artifact/value.lux

(limited to 'stdlib/source/test/aedifex')

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index dc2de91f7..7409a65e2 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -21,6 +21,7 @@
   ["." / #_
    ["#." type]
    ["#." extension]
+   ["#." value]
    ["#." time_stamp
     ["#/." date]
     ["#/." time]]]
@@ -45,6 +46,7 @@
                  
                  /type.test
                  /extension.test
+                 /value.test
                  /time_stamp.test
                  /time_stamp/date.test
                  /time_stamp/time.test
diff --git a/stdlib/source/test/aedifex/artifact/value.lux b/stdlib/source/test/aedifex/artifact/value.lux
new file mode 100644
index 000000000..10e9016b1
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/value.lux
@@ -0,0 +1,38 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]
+    {[0 #spec]
+     [/
+      ["$." equivalence]]}]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["<.>" text]]]
+   [math
+    ["." random (#+ Random)]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["." instant]]]
+  {#program
+   ["." /]})
+
+(def: #export random
+  (Random /.Value)
+  ($_ random.and
+      (random.ascii/alpha 5)
+      random.instant
+      random.nat
+      ))
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.for [/.Build /.Value])
+      ($_ _.and
+          (_.for [/.equivalence]
+                 ($equivalence.spec /.equivalence ..random))
+          )))
-- 
cgit v1.2.3