aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/test/aedifex/artifact
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux10
12 files changed, 58 insertions, 58 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 93355ea60..4a99544db 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)]
[collection
["." set]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" type]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 40fc5e137..e04b49e71 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,8 +11,8 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]]
- ["$." / #_
+ ["." random {"+" [Random]} ("#\." monad)]]]]
+ ["$." / "_"
["#." build]
["#." stamp]
["#." time]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index ab169fe29..e3e0c62cd 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index e1903c937..82217bd62 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[time
["." instant]]]]
[\\program
["." /]]
- ["$." // #_
+ ["$." // "_"
["#." time]
["#." build]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 22436060e..f11fe6f12 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,10 +11,10 @@
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["$." /// #_
+ ["$." /// "_"
["#." time]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index f027e0e46..162b05348 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["." / #_
+ ["." / "_"
["#." value]]
- ["$." /// #_
+ ["$." /// "_"
["#." type]
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 370ea21ab..e63453f84 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -12,15 +12,15 @@
["<.>" text]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]
["i" int]]]
[time
["." instant]]]]
- ["$." /// #_
+ ["$." /// "_"
["#." stamp]]
[\\program
["." /
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index c4f74df92..a7d3f1463 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -13,12 +13,12 @@
[time
["." instant ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]]]]]
[\\program
["." /]]
- ["." / #_
+ ["." / "_"
["#." date]
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 15eb29aba..6762ed541 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -12,7 +12,7 @@
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 7e8317b78..d156d5f03 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." time]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index be1fdfc80..e0d537c1b 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text]
[collection
["." set]
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 95019139f..a9ef8d07b 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,10 +11,10 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["$." // #_
+ ["$." // "_"
["#." time]
["#." snapshot
["#/." version]]])