aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux5
12 files changed, 36 insertions, 24 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7024ed43b..17267bdab 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]]
[data
@@ -12,7 +11,9 @@
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" / (.only)
["/[1]" //
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 8312e69f0..9a71acb9c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+ [test
+ ["_" property (.only Test)]]]]
["$[0]" /
["[1][0]" build]
["[1][0]" stamp]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index c0016b9a6..53be5d10f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 2b4265932..eba776e33 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -16,7 +15,9 @@
["[0]" random (.only Random)]]
[world
[time
- ["[0]" instant]]]]]
+ ["[0]" instant]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["$[0]" //
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 0a748e1b4..40f181552 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -12,7 +11,9 @@
["[0]" text
["<[1]>" \\parser]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["$[0]" ///
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 5285d7598..31336c5df 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 525c4ec32..470cd66c7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -18,7 +17,9 @@
["n" nat]
["i" int]]]
[time
- ["[0]" instant]]]]
+ ["[0]" instant]]
+ [test
+ ["_" property (.only Test)]]]]
["$[0]" ///
["[1][0]" stamp]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 2c7d29269..d26f6d55b 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -17,7 +16,9 @@
["i" int]]]
[world
[time
- ["[0]" instant (.use "[1]#[0]" equivalence)]]]]]
+ ["[0]" instant (.use "[1]#[0]" equivalence)]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index a97bcbb8f..e50626c79 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -19,7 +18,9 @@
["i" int]]]
[time
["[0]" date (.use "[1]#[0]" equivalence)]
- ["[0]" year]]]]
+ ["[0]" year]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 288d6169e..d4bc90f4e 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
["[0]" time]
[abstract
[monad (.only do)]]
@@ -14,7 +13,9 @@
["[0]" random (.only Random)]
[number
["n" nat]
- ["i" int]]]]]
+ ["i" int]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index cf47b1ec5..60ec8e199 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]]
[data
@@ -12,7 +11,9 @@
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index fede17e9f..71d9ad175 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["$[0]" //