aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux9
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux9
13 files changed, 44 insertions, 53 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 935d835bb..b1bb102c1 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -4,9 +4,8 @@
[abstract
[monad (#+ do)]
[hash (#+ Hash)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
[concurrency
[promise (#+ Promise)]]]
@@ -24,8 +23,8 @@
["#." time]
["#." type]
["#." versioning]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Artifact)
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 5d2491d28..9ae382975 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -12,10 +12,10 @@
["." random (#+ Random)]
[number
["n" nat]]]]
- {#program
+ [\\program
["." /
["/#" // #_
- ["#" type]]]})
+ ["#" type]]]])
(def: #export test
Test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index d48c8f34e..4e968904d 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
@@ -17,8 +16,8 @@
["#." stamp]
["#." time]
["#." version]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Snapshot)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index e3fdcab62..156be7af4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -3,17 +3,16 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
["<.>" xml]]]
[math
["." random (#+ Random)]]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Build)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index f2051d037..aa3dbcff1 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
@@ -14,8 +13,8 @@
["." random (#+ Random)]]
[time
["." instant]]]
- {#program
- ["." /]}
+ [\\program
+ ["." /]]
["$." // #_
["#." time]
["#." build]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 3acb37232..f6861bf9c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -3,17 +3,16 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
["<.>" text]]]
[math
["." random (#+ Random)]]]
- {#program
- ["." /]}
+ [\\program
+ ["." /]]
["$." /// #_
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 59ed7189f..06adc7239 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -3,17 +3,16 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
["<.>" xml]]]
[math
["." random (#+ Random)]]]
- {#program
- ["." /]}
+ [\\program
+ ["." /]]
["." / #_
["#." value]]
["$." /// #_
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index dc3f754a2..3ed0b32ce 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
@@ -22,11 +21,11 @@
["." instant]]]
["$." /// #_
["#." stamp]]
- {#program
+ [\\program
["." /
["//#" ///
["#." stamp]
- ["#." time]]]})
+ ["#." time]]]])
(def: #export random
(Random /.Value)
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index b9b0ab4e0..c2ab6a354 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -3,9 +3,8 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
@@ -14,8 +13,8 @@
["." random (#+ Random)]
[number
["i" int]]]]
- {#program
- ["." /]}
+ [\\program
+ ["." /]]
["." / #_
["#." date]
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index a68a60a56..494aa5e07 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -15,8 +15,8 @@
[time
["." date]
["." year]]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Date)
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index cd70d1c83..a17f9c40c 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -13,8 +13,8 @@
[number
["n" nat]
["i" int]]]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index 01b581eb3..447b60bac 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -12,8 +12,8 @@
["." random (#+ Random) ("#\." monad)]
[number
["n" nat]]]]
- {#program
- ["." /]})
+ [\\program
+ ["." /]])
(def: #export random
(Random /.Type)
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index c438caca5..d1d4da7ef 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -3,17 +3,16 @@
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
- {[0 #spec]
- [/
- ["$." equivalence]]}]
+ [\spec
+ ["$." equivalence]]]
[control
["." try ("#\." functor)]
[parser
["<.>" xml]]]
[math
["." random (#+ Random)]]]
- {#program
- ["." /]}
+ [\\program
+ ["." /]]
["$." // #_
["#." time]
["#." snapshot