aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux11
-rw-r--r--stdlib/source/test/aedifex/artifact.lux37
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux27
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux25
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux25
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux29
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux25
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux25
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux41
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux29
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux33
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux29
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux27
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux25
-rw-r--r--stdlib/source/test/aedifex/cache.lux51
-rw-r--r--stdlib/source/test/aedifex/cli.lux31
-rw-r--r--stdlib/source/test/aedifex/command.lux5
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux65
-rw-r--r--stdlib/source/test/aedifex/command/build.lux45
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux45
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux57
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux53
-rw-r--r--stdlib/source/test/aedifex/command/install.lux45
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux39
-rw-r--r--stdlib/source/test/aedifex/command/test.lux45
-rw-r--r--stdlib/source/test/aedifex/command/version.lux47
-rw-r--r--stdlib/source/test/aedifex/dependency.lux17
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux65
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux55
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux15
-rw-r--r--stdlib/source/test/aedifex/hash.lux37
-rw-r--r--stdlib/source/test/aedifex/input.lux39
-rw-r--r--stdlib/source/test/aedifex/local.lux17
-rw-r--r--stdlib/source/test/aedifex/metadata.lux17
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux47
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux47
-rw-r--r--stdlib/source/test/aedifex/package.lux51
-rw-r--r--stdlib/source/test/aedifex/parser.lux45
-rw-r--r--stdlib/source/test/aedifex/pom.lux29
-rw-r--r--stdlib/source/test/aedifex/profile.lux45
-rw-r--r--stdlib/source/test/aedifex/project.lux35
-rw-r--r--stdlib/source/test/aedifex/repository.lux45
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux15
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux41
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux15
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux53
-rw-r--r--stdlib/source/test/aedifex/runtime.lux29
-rw-r--r--stdlib/source/test/lux.lux49
-rw-r--r--stdlib/source/test/lux/abstract.lux5
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux27
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux27
-rw-r--r--stdlib/source/test/lux/abstract/comonad.lux23
-rw-r--r--stdlib/source/test/lux/abstract/comonad/cofree.lux35
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux29
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux31
-rw-r--r--stdlib/source/test/lux/abstract/fold.lux25
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux27
-rw-r--r--stdlib/source/test/lux/abstract/functor/contravariant.lux7
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux29
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux37
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux23
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux33
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux21
-rw-r--r--stdlib/source/test/lux/abstract/order.lux29
-rw-r--r--stdlib/source/test/lux/abstract/predicate.lux41
-rw-r--r--stdlib/source/test/lux/control.lux5
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux37
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux39
-rw-r--r--stdlib/source/test/lux/control/concurrency/atom.lux23
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux43
-rw-r--r--stdlib/source/test/lux/control/concurrency/promise.lux45
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux55
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux39
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux31
-rw-r--r--stdlib/source/test/lux/control/continuation.lux33
-rw-r--r--stdlib/source/test/lux/control/exception.lux25
-rw-r--r--stdlib/source/test/lux/control/function.lux29
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux23
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux43
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux39
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux27
-rw-r--r--stdlib/source/test/lux/control/io.lux27
-rw-r--r--stdlib/source/test/lux/control/parser.lux53
-rw-r--r--stdlib/source/test/lux/control/parser/analysis.lux61
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux79
-rw-r--r--stdlib/source/test/lux/control/parser/cli.lux33
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux49
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux33
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux53
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux61
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux55
-rw-r--r--stdlib/source/test/lux/control/parser/tree.lux33
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux35
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux47
-rw-r--r--stdlib/source/test/lux/control/pipe.lux29
-rw-r--r--stdlib/source/test/lux/control/reader.lux27
-rw-r--r--stdlib/source/test/lux/control/region.lux47
-rw-r--r--stdlib/source/test/lux/control/remember.lux53
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux27
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux33
-rw-r--r--stdlib/source/test/lux/control/state.lux37
-rw-r--r--stdlib/source/test/lux/control/thread.lux27
-rw-r--r--stdlib/source/test/lux/control/try.lux39
-rw-r--r--stdlib/source/test/lux/control/writer.lux41
-rw-r--r--stdlib/source/test/lux/data.lux65
-rw-r--r--stdlib/source/test/lux/data/binary.lux41
-rw-r--r--stdlib/source/test/lux/data/bit.lux29
-rw-r--r--stdlib/source/test/lux/data/collection.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux41
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux25
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux43
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux41
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux37
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux61
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux35
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux25
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux49
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux39
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux37
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux39
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux33
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux31
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux35
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux31
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux43
-rw-r--r--stdlib/source/test/lux/data/color.lux43
-rw-r--r--stdlib/source/test/lux/data/color/named.lux31
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux25
-rw-r--r--stdlib/source/test/lux/data/format/json.lux59
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux69
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux51
-rw-r--r--stdlib/source/test/lux/data/identity.lux21
-rw-r--r--stdlib/source/test/lux/data/lazy.lux33
-rw-r--r--stdlib/source/test/lux/data/maybe.lux47
-rw-r--r--stdlib/source/test/lux/data/name.lux46
-rw-r--r--stdlib/source/test/lux/data/product.lux25
-rw-r--r--stdlib/source/test/lux/data/sum.lux37
-rw-r--r--stdlib/source/test/lux/data/text.lux43
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux25
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux43
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux21
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux53
-rw-r--r--stdlib/source/test/lux/data/text/format.lux175
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux39
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux41
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux33
-rw-r--r--stdlib/source/test/lux/debug.lux61
-rw-r--r--stdlib/source/test/lux/extension.lux85
-rw-r--r--stdlib/source/test/lux/ffi.js.lux31
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux51
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux29
-rw-r--r--stdlib/source/test/lux/ffi.old.lux41
-rw-r--r--stdlib/source/test/lux/ffi.php.lux29
-rw-r--r--stdlib/source/test/lux/ffi.py.lux71
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux29
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux29
-rw-r--r--stdlib/source/test/lux/locale.lux31
-rw-r--r--stdlib/source/test/lux/locale/language.lux58
-rw-r--r--stdlib/source/test/lux/locale/territory.lux41
-rw-r--r--stdlib/source/test/lux/macro.lux45
-rw-r--r--stdlib/source/test/lux/macro/code.lux51
-rw-r--r--stdlib/source/test/lux/macro/local.lux51
-rw-r--r--stdlib/source/test/lux/macro/poly.lux7
-rw-r--r--stdlib/source/test/lux/macro/poly/equivalence.lux47
-rw-r--r--stdlib/source/test/lux/macro/poly/functor.lux31
-rw-r--r--stdlib/source/test/lux/macro/poly/json.lux89
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux19
-rw-r--r--stdlib/source/test/lux/macro/syntax/annotations.lux37
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux31
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux31
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux37
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux27
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux31
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux27
-rw-r--r--stdlib/source/test/lux/macro/template.lux37
-rw-r--r--stdlib/source/test/lux/math.lux27
-rw-r--r--stdlib/source/test/lux/math/infix.lux25
-rw-r--r--stdlib/source/test/lux/math/logic/continuous.lux23
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux39
-rw-r--r--stdlib/source/test/lux/math/modular.lux45
-rw-r--r--stdlib/source/test/lux/math/modulus.lux33
-rw-r--r--stdlib/source/test/lux/math/number.lux15
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux31
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux35
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux19
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux19
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux27
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux19
-rw-r--r--stdlib/source/test/lux/math/number/int.lux35
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux35
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux31
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux35
-rw-r--r--stdlib/source/test/lux/meta.lux59
-rw-r--r--stdlib/source/test/lux/meta/annotation.lux51
-rw-r--r--stdlib/source/test/lux/meta/location.lux23
-rw-r--r--stdlib/source/test/lux/program.lux39
-rw-r--r--stdlib/source/test/lux/target.lux23
-rw-r--r--stdlib/source/test/lux/target/jvm.lux69
-rw-r--r--stdlib/source/test/lux/test.lux37
-rw-r--r--stdlib/source/test/lux/time.lux47
-rw-r--r--stdlib/source/test/lux/time/date.lux47
-rw-r--r--stdlib/source/test/lux/time/day.lux31
-rw-r--r--stdlib/source/test/lux/time/duration.lux37
-rw-r--r--stdlib/source/test/lux/time/instant.lux45
-rw-r--r--stdlib/source/test/lux/time/month.lux47
-rw-r--r--stdlib/source/test/lux/time/year.lux43
-rw-r--r--stdlib/source/test/lux/tool.lux5
-rw-r--r--stdlib/source/test/lux/type.lux60
-rw-r--r--stdlib/source/test/lux/type/abstract.lux39
-rw-r--r--stdlib/source/test/lux/type/check.lux57
-rw-r--r--stdlib/source/test/lux/type/dynamic.lux31
-rw-r--r--stdlib/source/test/lux/type/implicit.lux35
-rw-r--r--stdlib/source/test/lux/type/quotient.lux29
-rw-r--r--stdlib/source/test/lux/type/refinement.lux29
-rw-r--r--stdlib/source/test/lux/type/resource.lux47
-rw-r--r--stdlib/source/test/lux/type/unit.lux41
-rw-r--r--stdlib/source/test/lux/type/variance.lux15
-rw-r--r--stdlib/source/test/lux/world.lux5
-rw-r--r--stdlib/source/test/lux/world/console.lux29
-rw-r--r--stdlib/source/test/lux/world/file.lux19
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux39
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux35
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux55
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux25
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux35
-rw-r--r--stdlib/source/test/lux/world/program.lux74
-rw-r--r--stdlib/source/test/lux/world/shell.lux45
227 files changed, 4408 insertions, 4049 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index b6f54f8f4..dc04f13de 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -1,9 +1,10 @@
(.module:
- [lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
- [control
- ["." io]]]
+ [library
+ [lux #*
+ [program (#+ program:)]
+ ["_" test (#+ Test)]
+ [control
+ ["." io]]]]
["." / #_
["#." artifact]
["#." cli]
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index b1bb102c1..6a1021b4c 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
- [\spec
- ["$." equivalence]]]
- [control
- [concurrency
- [promise (#+ Promise)]]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]]
- [world
- ["." file]
- [net
- ["." uri]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [hash (#+ Hash)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ [concurrency
+ [promise (#+ Promise)]]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]]
+ [world
+ ["." file]
+ [net
+ ["." uri]]]]]
["." / #_
["#." extension]
["#." snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 9ae382975..fd28c5d92 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." set]
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." set]
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
[\\program
["." /
["/#" // #_
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 4e968904d..94d98cf22 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- ["." random (#+ Random) ("#\." monad)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]]]
["$." / #_
["#." build]
["#." stamp]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 156be7af4..731219b91 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index aa3dbcff1..ba0c9f368 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- ["." random (#+ Random)]]
- [time
- ["." instant]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ ["." random (#+ Random)]]
+ [time
+ ["." instant]]]]
[\\program
["." /]]
["$." // #_
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index f6861bf9c..9cfe28fb0 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" text]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]]
["$." /// #_
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 06adc7239..f0fc26321 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]]
["." / #_
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 3ed0b32ce..dcb23646d 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]
- ["i" int]]]
- [time
- ["." instant]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" text]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." 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 c2ab6a354..f4fc185be 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [math
- ["." random (#+ Random)]
- [number
- ["i" int]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" text]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["i" int]]]]]
[\\program
["." /]]
["." / #_
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 494aa5e07..e68645b8a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]
- [time
- ["." date]
- ["." year]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" text]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [time
+ ["." date]
+ ["." year]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index a17f9c40c..dd4b63904 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." time]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." time]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" text]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index 447b60bac..8418febee 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text]
- [collection
- ["." set]
- ["." list]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text]
+ [collection
+ ["." set]
+ ["." list]]]
+ [math
+ ["." 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 d1d4da7ef..9efdca98a 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]]
["$." // #_
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index d61a88057..20dcf506d 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -1,29 +1,30 @@
(.module:
- [lux (#- Type type)
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." try]
- [concurrency
- ["." promise (#+ Promise)]]
- [parser
- ["." environment]]]
- [data
- [binary (#+ Binary)]
- ["." text]
- [format
- [xml (#+ XML)]]
- [collection
- ["." set]
- ["." dictionary]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]
- [world
- ["." file]
- ["." program]]]
+ [library
+ [lux (#- Type type)
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." try]
+ [concurrency
+ ["." promise (#+ Promise)]]
+ [parser
+ ["." environment]]]
+ [data
+ [binary (#+ Binary)]
+ ["." text]
+ [format
+ [xml (#+ XML)]]
+ [collection
+ ["." set]
+ ["." dictionary]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]
+ [world
+ ["." file]
+ ["." program]]]]
[//
["@." profile]
["@." artifact]
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 30813fb94..d2eed16d7 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- [pipe (#+ case>)]
- ["." try]
- [parser
- ["." cli]]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random) ("#\." monad)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ [parser
+ ["." cli]]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]]]
[\\program
["." /
["/#" // #_
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 1ba7e6319..fe760258b 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -1,6 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
["." / #_
["#." version]
["#." pom]
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 193a5b8d8..8539ce672 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -1,36 +1,37 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- [parser
- ["." environment]]
- [concurrency
- ["." atom (#+ Atom)]
- ["." promise (#+ Promise)]]]
- [data
- ["." binary]
- ["." text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [collection
- ["." set]]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- [time
- ["." instant]]
- [world
- [console (#+ Console)]
- ["." shell (#+ Exit Shell)]
- ["." program (#+ Program)]
- ["." file
- ["." watch]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ [parser
+ ["." environment]]
+ [concurrency
+ ["." atom (#+ Atom)]
+ ["." promise (#+ Promise)]]]
+ [data
+ ["." binary]
+ ["." text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." set]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ [time
+ ["." instant]]
+ [world
+ [console (#+ Console)]
+ ["." shell (#+ Exit Shell)]
+ ["." program (#+ Program)]
+ ["." file
+ ["." watch]]]]]
["." // #_
["$." version]
["$." build]]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 191ac1039..a702d4c3d 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [io (#+ IO)]
- ["." try]
- ["." exception]
- [concurrency
- ["." promise (#+ Promise)]]
- [parser
- ["." environment]]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." dictionary]]]
- [math
- ["." random (#+ Random)]]
- [world
- ["." file]
- ["." shell (#+ Shell)]
- ["." program]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [io (#+ IO)]
+ ["." try]
+ ["." exception]
+ [concurrency
+ ["." promise (#+ Promise)]]
+ [parser
+ ["." environment]]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." dictionary]]]
+ [math
+ ["." random (#+ Random)]]
+ [world
+ ["." file]
+ ["." shell (#+ Shell)]
+ ["." program]]]]
["." // #_
["@." version]
["$/#" // #_
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 6ee155b33..f0a5f4b58 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- [binary (#+ Binary)]
- ["." product]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]
- ["." set]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]
- [world
- ["." file (#+ Path)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ [binary (#+ Binary)]
+ ["." product]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]
+ ["." set]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]
+ [world
+ ["." file (#+ Path)]]]]
[//
["@." version]
[//
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 7b3664da8..d1b955c77 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -1,32 +1,33 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- [concurrency
- ["." promise (#+ Promise)]]
- [parser
- ["." environment]]]
- [data
- ["." maybe]
- ["." binary ("#\." equivalence)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- ["." format #_
- ["#" binary]
- ["." tar]
- ["." xml]]
- [collection
- ["." set]]]
- [math
- ["." random]]
- [world
- ["." file]
- ["." program (#+ Program)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ [concurrency
+ ["." promise (#+ Promise)]]
+ [parser
+ ["." environment]]]
+ [data
+ ["." maybe]
+ ["." binary ("#\." equivalence)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ ["." format #_
+ ["#" binary]
+ ["." tar]
+ ["." xml]]
+ [collection
+ ["." set]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]
+ ["." program (#+ Program)]]]]
[program
[compositor
["." export]]]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 63561542d..738cd5090 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." predicate]]
- [control
- ["." try]
- [concurrency
- ["." promise]]
- [parser
- ["." environment]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [collection
- ["." dictionary]
- ["." set]]
- [format
- ["." xml]]]
- [math
- ["." random (#+ Random)]]
- [world
- ["." program]
- ["." file]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." predicate]]
+ [control
+ ["." try]
+ [concurrency
+ ["." promise]]
+ [parser
+ ["." environment]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." dictionary]
+ ["." set]]
+ [format
+ ["." xml]]]
+ [math
+ ["." random (#+ Random)]]
+ [world
+ ["." program]
+ ["." file]]]]
["." // #_
["@." version]
["$/#" // #_
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index ae9885401..70df9b7a3 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." try (#+ Try) ("#\." functor)]
- ["." exception]
- [concurrency
- ["." promise (#+ Promise)]]
- [parser
- ["." environment]]]
- [data
- ["." binary]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." set (#+ Set)]]]
- [math
- ["." random]]
- [world
- ["." file]
- ["." program (#+ Program)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." try (#+ Try) ("#\." functor)]
+ ["." exception]
+ [concurrency
+ ["." promise (#+ Promise)]]
+ [parser
+ ["." environment]]]
+ [data
+ ["." binary]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." set (#+ Set)]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]
+ ["." program (#+ Program)]]]]
[//
["$." version]
[//
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 39e2eecfc..624be95bd 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [concurrency
- ["." promise]]]
- [data
- ["." binary ("#\." equivalence)]
- ["." text ("#\." equivalence)
- [encoding
- ["." utf8]]]
- [format
- ["." xml]]]
- [math
- ["." random]]
- [world
- ["." file]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ [concurrency
+ ["." promise]]]
+ [data
+ ["." binary ("#\." equivalence)]
+ ["." text ("#\." equivalence)
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." xml]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]]]]
[//
["@." version]
[//
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index a6029ba8c..4621028ae 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]
- [concurrency
- ["." promise]]
- [parser
- ["." environment]]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." dictionary]
- ["." list]]]
- [math
- ["." random]]
- [world
- ["." file]
- ["." shell]
- ["." program]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]
+ [concurrency
+ ["." promise]]
+ [parser
+ ["." environment]]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." dictionary]
+ ["." list]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]
+ ["." shell]
+ ["." program]]]]
["." // #_
["@." version]
["@." build]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index d3f815ed1..4a8ccc1be 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception (#+ exception:)]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- ["." maybe]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random]]
- [tool
- [compiler
- ["." version]
- ["." language #_
- ["#/." lux #_
- ["#" version]]]]]
- [world
- ["." console (#+ Console Mock)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception (#+ exception:)]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ ["." maybe]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random]]
+ [tool
+ [compiler
+ ["." version]
+ ["." language #_
+ ["#/." lux #_
+ ["#" version]]]]]
+ [world
+ ["." console (#+ Console Mock)]]]]
[///
["@." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 189da054c..d12434d1f 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -1,12 +1,13 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
[//
["@." artifact]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 6e44e03db..a99f37ca1 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -1,36 +1,37 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." hash (#+ Hash)]]
- [control
- ["." io (#+ IO)]
- ["." try ("#\." functor)]
- [concurrency
- ["." atom (#+ Atom)]
- ["." promise]]]
- [data
- ["." product]
- ["." maybe ("#\." functor)]
- ["." binary (#+ Binary) ("#\." equivalence)]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." dictionary (#+ Dictionary)]
- ["." set]
- ["." list ("#\." fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]
- [world
- [net (#+ URL)
- ["." uri (#+ URI)]
- ["." http #_
- ["#" client]
- ["#/." status]
- ["@#" /]]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." hash (#+ Hash)]]
+ [control
+ ["." io (#+ IO)]
+ ["." try ("#\." functor)]
+ [concurrency
+ ["." atom (#+ Atom)]
+ ["." promise]]]
+ [data
+ ["." product]
+ ["." maybe ("#\." functor)]
+ ["." binary (#+ Binary) ("#\." equivalence)]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." dictionary (#+ Dictionary)]
+ ["." set]
+ ["." list ("#\." fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]
+ [world
+ [net (#+ URL)
+ ["." uri (#+ URI)]
+ ["." http #_
+ ["#" client]
+ ["#/." status]
+ ["@#" /]]]]]]
["$." //
["#/" // #_
["#." package]]]
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 24cde0b53..638199af3 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -1,31 +1,32 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." predicate]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- ["." exception]
- [concurrency
- ["." promise]]]
- [data
- [binary (#+ Binary)]
- ["." product]
- ["." text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [format
- ["." xml]]
- [collection
- ["." dictionary]
- ["." set]
- ["." list]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." predicate]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ ["." exception]
+ [concurrency
+ ["." promise]]]
+ [data
+ [binary (#+ Binary)]
+ ["." product]
+ ["." text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." xml]]
+ [collection
+ ["." dictionary]
+ ["." set]
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]]]]
["$." /// #_
["#." package]
["#." repository]
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index a709e6ca2..a3ac5df4e 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random) ("#\." monad)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]]]
["$." /// #_
["#." hash]]
[\\program
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index f4f6fe441..9064dac8b 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." codec]]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." binary (#+ Binary)]
- [text
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." codec]]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." binary (#+ Binary)]
+ [text
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
[\\program
["." /]]
[test
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index cf573bb25..529185320 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- [text
- ["%" format]
- [encoding
- ["." utf8]]]
- [collection
- ["." set (#+ Set)]]]
- [math
- ["." random]]
- [world
- ["." file]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ [text
+ ["%" format]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." set (#+ Set)]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]]]]
[//
["$." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index 89e4db9de..bd78c3464 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -1,12 +1,13 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text]]
+ [math
+ ["." random (#+ Random)]]]]
[//
["@." artifact]]
[\\program
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 2975939bc..d4e6e816c 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -1,12 +1,13 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random]]]]
["." / #_
["#." artifact]
["#." snapshot]
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 56e856b88..b84eca173 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- [number
- ["n" nat]]]
- ["." time
- ["." date]
- ["." year]
- ["." month]
- ["." instant]
- ["." duration]]
- [math
- ["." random (#+ Random)]]
- [macro
- ["." code]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ [number
+ ["n" nat]]]
+ ["." time
+ ["." date]
+ ["." year]
+ ["." month]
+ ["." instant]
+ ["." duration]]
+ [math
+ ["." random (#+ Random)]]
+ [macro
+ ["." code]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d94c66761..d34eb60a9 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" xml]]]
- [math
- [number
- ["n" nat]]]
- ["." time
- ["." date]
- ["." year]
- ["." month]
- ["." instant (#+ Instant)]
- ["." duration]]
- [math
- ["." random (#+ Random) ("#\." monad)]]
- [macro
- ["." code]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" xml]]]
+ [math
+ [number
+ ["n" nat]]]
+ ["." time
+ ["." date]
+ ["." year]
+ ["." month]
+ ["." instant (#+ Instant)]
+ ["." duration]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]
+ [macro
+ ["." code]]]]
["$." /// #_
["#." artifact
["#/." type]
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 61e36aaf7..ef23f35ce 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,29 +1,30 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- [concurrency
- [promise (#+ Promise)]]]
- [data
- ["." product]
- ["." text
- [encoding
- ["." utf8]]]
- [format
- ["." xml (#+ XML)]]
- [collection
- ["." set (#+ Set)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]
- [world
- ["." file]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ [concurrency
+ [promise (#+ Promise)]]]
+ [data
+ ["." product]
+ ["." text
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." xml (#+ XML)]]
+ [collection
+ ["." set (#+ Set)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]
+ [world
+ ["." file]]]]
[//
["$." profile]
[//
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 01c763349..33beaa7f9 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [hash (#+ Hash)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- [parser
- ["<.>" code]]]
- [data
- ["." text]
- [collection
- ["." set (#+ Set)]
- ["." dictionary (#+ Dictionary)]
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]
- [macro
- ["." code]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [hash (#+ Hash)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." text]
+ [collection
+ ["." set (#+ Set)]
+ ["." dictionary (#+ Dictionary)]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]
+ [macro
+ ["." code]]]]
[//
["@." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index ad3b1d801..24ca3c3c6 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]
- ["<>" parser
- ["<.>" xml]]]
- [data
- [format
- ["." xml]]]
- [math
- ["." random]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]
+ ["<>" parser
+ ["<.>" xml]]]
+ [data
+ [format
+ ["." xml]]]
+ [math
+ ["." random]]]]
[//
["@." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index e7e3f50ac..418756ffd 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
- [\spec
- ["$." equivalence]
- ["$." monoid]]]
- [control
- [pipe (#+ case>)]
- ["." try]
- [parser
- ["." cli]]]
- [data
- ["." text]
- [collection
- ["." set (#+ Set)]
- ["." dictionary (#+ Dictionary)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [hash (#+ Hash)]
+ [\\spec
+ ["$." equivalence]
+ ["$." monoid]]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ [parser
+ ["." cli]]]
+ [data
+ ["." text]
+ [collection
+ ["." set (#+ Set)]
+ ["." dictionary (#+ Dictionary)]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
[//
["@." artifact]
["@." dependency]]
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index d2c12109f..e1b4b051a 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." monoid]]]
- [control
- ["." try ("#\." functor)]
- ["." exception]]
- [data
- ["." product]
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." monoid]]]
+ [control
+ ["." try ("#\." functor)]
+ ["." exception]]
+ [data
+ ["." product]
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
[//
["@." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 6241e14e9..c86f3d52d 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]
- ["." monad (#+ do)]]
- [control
- ["." io]
- ["." try]
- ["." exception (#+ exception:)]]
- [data
- ["." product]
- ["." binary (#+ Binary)]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." dictionary (#+ Dictionary)]]]
- [math
- ["." random (#+ Random)]]
- [world
- [net
- ["." uri (#+ URI)]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [hash (#+ Hash)]
+ ["." monad (#+ do)]]
+ [control
+ ["." io]
+ ["." try]
+ ["." exception (#+ exception:)]]
+ [data
+ ["." product]
+ ["." binary (#+ Binary)]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." dictionary (#+ Dictionary)]]]
+ [math
+ ["." random (#+ Random)]]
+ [world
+ [net
+ ["." uri (#+ URI)]]]]]
["." / #_
["#." identity]
["#." origin]
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index df454b436..061bd9de0 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 5bf4c5113..1bbf2f7bb 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["." environment]]
- [concurrency
- ["." promise]]]
- [data
- ["." binary ("#\." equivalence)]
- [text
- [encoding
- ["." utf8]]]]
- [math
- ["." random]]
- [world
- ["." file]
- ["." program]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["." environment]]
+ [concurrency
+ ["." promise]]]
+ [data
+ ["." binary ("#\." equivalence)]
+ [text
+ [encoding
+ ["." utf8]]]]
+ [math
+ ["." random]]
+ [world
+ ["." file]
+ ["." program]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 7b3675f40..6531726fe 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 0fa784a77..5f74cab9d 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io (#+ IO)]
- ["." try ("#\." monad)]
- ["." exception]
- ["." function]]
- [data
- ["." binary ("#\." equivalence)]
- ["." maybe ("#\." functor)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [collection
- ["." dictionary]]]
- [math
- ["." random (#+ Random)]]
- [world
- [net (#+ URL)
- ["." http #_
- ["#" client]
- ["#/." status]
- ["@#" /]]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io (#+ IO)]
+ ["." try ("#\." monad)]
+ ["." exception]
+ ["." function]]
+ [data
+ ["." binary ("#\." equivalence)]
+ ["." maybe ("#\." functor)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." dictionary]]]
+ [math
+ ["." random (#+ Random)]]
+ [world
+ [net (#+ URL)
+ ["." http #_
+ ["#" client]
+ ["#/." status]
+ ["@#" /]]]]]]
[\\program
["." /
["/#" // #_
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index e75a9297e..24745da4a 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." maybe ("#\." functor)]
- ["." text ("#\." equivalence)]
- [collection
- ["." list ("#\." functor)]
- ["." set]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." maybe ("#\." functor)]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list ("#\." functor)]
+ ["." set]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 415bb3500..f1af7f5a5 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -3,29 +3,30 @@
(.as_is))
<target> <target>']
(.module:
- ["/" lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
- ["@" target]
- [abstract
- [monad (#+ do)]
- [predicate (#+ Predicate)]]
- [control
- ["." io]
- [concurrency
- ["." atom (#+ Atom)]]]
- [data
- ["." name]
- [text
- ["%" format (#+ format)]]]
- ["." math
- ["." random (#+ Random) ("#\." functor)]
- [number
- ["n" nat]
- ["i" int]
- ["r" rev]
- ["f" frac]
- ["." i64]]]]
+ [library
+ ["/" lux #*
+ [program (#+ program:)]
+ ["_" test (#+ Test)]
+ ["@" target]
+ [abstract
+ [monad (#+ do)]
+ [predicate (#+ Predicate)]]
+ [control
+ ["." io]
+ [concurrency
+ ["." atom (#+ Atom)]]]
+ [data
+ ["." name]
+ [text
+ ["%" format (#+ format)]]]
+ ["." math
+ ["." random (#+ Random) ("#\." functor)]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["r" rev]
+ ["f" frac]
+ ["." i64]]]]]
## TODO: Must have 100% coverage on tests.
["." / #_
["#." abstract]
@@ -224,10 +225,12 @@
/locale.test
/macro.test
/math.test
+
/meta.test
/program.test
/target.test
/test.test
+
/time.test
## /tool.test
/type.test
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index b31c10617..e8368434b 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -1,6 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
["." / #_
["#." apply]
["#." codec]
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux
index 97bef5b24..01fe8375f 100644
--- a/stdlib/source/test/lux/abstract/apply.lux
+++ b/stdlib/source/test/lux/abstract/apply.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [data
- ["." maybe]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." maybe]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ ["_" test (#+ Test)]]]
+ [\\library
["." / (#+ Apply)]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index 3365c1d66..00452c205 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." bit ("#\." equivalence)]
- [format
- ["." json (#+ JSON)]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [format
+ ["." json (#+ JSON)]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." / (#+ Codec)
[//
[equivalence (#+ Equivalence)]]]])
diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux
index 088b4fe55..9b4d935d8 100644
--- a/stdlib/source/test/lux/abstract/comonad.lux
+++ b/stdlib/source/test/lux/abstract/comonad.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [data
- ["." identity (#+ Identity)]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." identity (#+ Identity)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ ["_" test (#+ Test)]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux
index 9e6c8a1b1..82647f79d 100644
--- a/stdlib/source/test/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [functor (#+ Functor)]
- [comonad (#+ CoMonad)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." comonad]]]
- [control
- ["//" continuation]]
- [data
- [collection
- ["." list]
- ["." sequence (#+ Sequence) ("#\." comonad)]]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [functor (#+ Functor)]
+ [comonad (#+ CoMonad)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." comonad]]]
+ [control
+ ["//" continuation]]
+ [data
+ [collection
+ ["." list]
+ ["." sequence (#+ Sequence) ("#\." comonad)]]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]])
(def: (injection value)
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux
index 5a923019c..09ef32175 100644
--- a/stdlib/source/test/lux/abstract/enum.lux
+++ b/stdlib/source/test/lux/abstract/enum.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." product]
- ["." maybe ("#\." functor)]
- [collection
- ["." list ("#\." fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." product]
+ ["." maybe ("#\." functor)]
+ [collection
+ ["." list ("#\." fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux
index 520fa141c..5b0bfced8 100644
--- a/stdlib/source/test/lux/abstract/equivalence.lux
+++ b/stdlib/source/test/lux/abstract/equivalence.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- [functor
- ["$." contravariant]]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ [functor
+ ["$." contravariant]]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." / (#+ Equivalence)]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux
index 8165c29c3..787a8a03d 100644
--- a/stdlib/source/test/lux/abstract/fold.lux
+++ b/stdlib/source/test/lux/abstract/fold.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Fold)]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux
index 05b72f73f..63b0ad2d7 100644
--- a/stdlib/source/test/lux/abstract/functor.lux
+++ b/stdlib/source/test/lux/abstract/functor.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." maybe]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." maybe]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Functor)]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux
index 38bf62cbf..6a07cb0c5 100644
--- a/stdlib/source/test/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux
@@ -1,7 +1,8 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index f06a7dfc2..4c9bc67f6 100644
--- a/stdlib/source/test/lux/abstract/hash.lux
+++ b/stdlib/source/test/lux/abstract/hash.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- [functor
- ["$." contravariant]]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]
- [number
- ["." nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ [functor
+ ["$." contravariant]]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]
+ [number
+ ["." nat]]]]]
+ [\\library
["." / (#+ Hash)
[//
[equivalence (#+ Equivalence)]]]])
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index db8eb86be..718663b4b 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." order]
- [\spec
- ["$." equivalence]]]
- [control
- [pipe (#+ case>)]]
- [data
- [collection
- ["." set]
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." order]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ [pipe (#+ case>)]]
+ [data
+ [collection
+ ["." set]
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Interval) ("\." equivalence)]])
(template [<name> <cmp>]
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index f66ee182f..cc4642e13 100644
--- a/stdlib/source/test/lux/abstract/monad.lux
+++ b/stdlib/source/test/lux/abstract/monad.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [data
- ["." identity (#+ Identity)]
- [collection
- ["." list ("#\." functor fold)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [data
+ ["." identity (#+ Identity)]
+ [collection
+ ["." list ("#\." functor fold)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Monad do)]])
(def: #export test
diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux
index 6afb3ed62..a56c01fd5 100644
--- a/stdlib/source/test/lux/abstract/monad/free.lux
+++ b/stdlib/source/test/lux/abstract/monad/free.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [data
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ [monad (#+ Monad do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [data
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]])
(def: injection
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index acd00b91a..876ac1f46 100644
--- a/stdlib/source/test/lux/abstract/monoid.lux
+++ b/stdlib/source/test/lux/abstract/monoid.lux
@@ -1,14 +1,15 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." int]]]]]
+ [\\library
["." /
[//
[equivalence (#+ Equivalence)]]]])
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index 2dc09461c..2173691de 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- [functor
- ["$." contravariant]]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ [functor
+ ["$." contravariant]]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
[//
[equivalence (#+ Equivalence)]]]])
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux
index 133fbdcba..0535b5802 100644
--- a/stdlib/source/test/lux/abstract/predicate.lux
+++ b/stdlib/source/test/lux/abstract/predicate.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
- [\spec
- ["$." monoid]
- [functor
- ["$." contravariant]]]]
- [control
- ["." function]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." monoid]
+ [functor
+ ["$." contravariant]]]]
+ [control
+ ["." function]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: (multiple? factor)
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index faf08f9b8..e1ab4f5f1 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -1,6 +1,7 @@
(.module:
- [lux (#- function)
- ["_" test (#+ Test)]]
+ [library
+ [lux (#- function)
+ ["_" test (#+ Test)]]]
["." / #_
["#." concatenative]
["#." concurrency #_
diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux
index bfac126b0..39265aafe 100644
--- a/stdlib/source/test/lux/control/concatenative.lux
+++ b/stdlib/source/test/lux/control/concatenative.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." sum]
- ["." name]
- ["." bit ("#\." equivalence)]]
- [macro
- ["." template]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]
- ["r" rev]
- ["f" frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." sum]
+ ["." name]
+ ["." bit ("#\." equivalence)]]
+ [macro
+ ["." template]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["r" rev]
+ ["f" frac]]]]]
+ [\\library
["." / (#+ word: => ||>)]])
(def: stack_shuffling
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 854a50814..f229909bd 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
- [data
- [text
- ["%" format (#+ format)]]
- [collection
- ["." list]
- ["." row (#+ Row)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]
+ ["." io (#+ IO io)]]
+ [data
+ [text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list]
+ ["." row (#+ Row)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ actor: message:)
[//
["." atom (#+ Atom)]
diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux
index b160f64e0..674e7dd3f 100644
--- a/stdlib/source/test/lux/control/concurrency/atom.lux
+++ b/stdlib/source/test/lux/control/concurrency/atom.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index 659881a20..45d626600 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." try]
- ["." exception]
- ["." io (#+ IO io)]]
- [data
- [collection
- ["." list ("#\." fold monoid)]
- ["." row (#+ Row)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." try]
+ ["." exception]
+ ["." io (#+ IO io)]]
+ [data
+ [collection
+ ["." list ("#\." fold monoid)]
+ ["." row (#+ Row)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
[//
["." promise (#+ Promise) ("#\." monad)]
diff --git a/stdlib/source/test/lux/control/concurrency/promise.lux b/stdlib/source/test/lux/control/concurrency/promise.lux
index 16c60c508..6b6b0ac14 100644
--- a/stdlib/source/test/lux/control/concurrency/promise.lux
+++ b/stdlib/source/test/lux/control/concurrency/promise.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["@" target]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- [pipe (#+ case>)]
- ["." io]]
- [time
- ["." instant]
- ["." duration]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]
- ["." i64]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["@" target]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ [pipe (#+ case>)]
+ ["." io]]
+ [time
+ ["." instant]
+ ["." duration]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["." i64]]]]]
+ [\\library
["." /
[//
["." atom (#+ Atom)]]]])
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index 8924cf66f..38e152456 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -1,31 +1,32 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["@" target]
- [abstract
- ["." monad (#+ do)]
- ["." enum]]
- [control
- ["." io]
- ["." try]
- ["." exception (#+ exception:)]
- [concurrency
- ["." promise (#+ Promise)]
- ["." atom (#+ Atom)]]]
- [data
- ["." maybe]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["." i64]]]
- [type
- ["." refinement]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["@" target]
+ [abstract
+ ["." monad (#+ do)]
+ ["." enum]]
+ [control
+ ["." io]
+ ["." try]
+ ["." exception (#+ exception:)]
+ [concurrency
+ ["." promise (#+ Promise)]
+ ["." atom (#+ Atom)]]]
+ [data
+ ["." maybe]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["." i64]]]
+ [type
+ ["." refinement]]]]
+ [\\library
["." /]])
(def: delay
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index 6bbbc3f54..6667274b5 100644
--- a/stdlib/source/test/lux/control/concurrency/stm.lux
+++ b/stdlib/source/test/lux/control/concurrency/stm.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ Monad do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." io (#+ IO)]]
- [data
- ["." product]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ Monad do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." io (#+ IO)]]
+ [data
+ ["." product]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
[//
["." atom (#+ Atom atom)]
diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux
index df005c4ac..557b6a80b 100644
--- a/stdlib/source/test/lux/control/concurrency/thread.lux
+++ b/stdlib/source/test/lux/control/concurrency/thread.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]]
- [time
- ["." instant (#+ Instant)]
- ["." duration]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]]
+ [time
+ ["." instant (#+ Instant)]
+ ["." duration]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /
[//
["." atom (#+ Atom)]
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux
index a85418f8a..bec8160c1 100644
--- a/stdlib/source/test/lux/control/continuation.lux
+++ b/stdlib/source/test/lux/control/continuation.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [data
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [data
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: injection
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index e63a2b66e..f62ad9271 100644
--- a/stdlib/source/test/lux/control/exception.lux
+++ b/stdlib/source/test/lux/control/exception.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ exception:)
[//
["." try (#+ Try)]]]])
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux
index 6463e4c1c..8669e4220 100644
--- a/stdlib/source/test/lux/control/function.lux
+++ b/stdlib/source/test/lux/control/function.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
- [\spec
- ["$." monoid]]]
- [data
- ["." text ("#!." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." monoid]]]
+ [data
+ ["." text ("#!." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["." / #_
["#." contract]
diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux
index e1b06a325..81840fd08 100644
--- a/stdlib/source/test/lux/control/function/contract.lux
+++ b/stdlib/source/test/lux/control/function/contract.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index 87cf14b0b..29c39dbdb 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io (#+ IO)]
- ["." state (#+ State) ("#\." monad)]]
- [data
- ["." product]
- [collection
- ["." dictionary (#+ Dictionary)]
- ["." list ("#\." functor fold)]]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["." i64]]]
- [time
- ["." instant]
- ["." duration (#+ Duration)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io (#+ IO)]
+ ["." state (#+ State) ("#\." monad)]]
+ [data
+ ["." product]
+ [collection
+ ["." dictionary (#+ Dictionary)]
+ ["." list ("#\." functor fold)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["." i64]]]
+ [time
+ ["." instant]
+ ["." duration (#+ Duration)]]]]
+ [\\library
["." /
["/#" // #_
["#" mixin]]]])
diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux
index 35cd36027..a74ca04d4 100644
--- a/stdlib/source/test/lux/control/function/mixin.lux
+++ b/stdlib/source/test/lux/control/function/mixin.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [predicate (#+ Predicate)]
- [monad (#+ do)]
- [\spec
- ["$." monoid]]]
- [control
- ["." state (#+ State)]]
- [data
- ["." product]
- [collection
- ["." list ("#\." functor fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [predicate (#+ Predicate)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." monoid]]]
+ [control
+ ["." state (#+ State)]]
+ [data
+ ["." product]
+ [collection
+ ["." list ("#\." functor fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux
index 120413e5a..c9fbfbace 100644
--- a/stdlib/source/test/lux/control/function/mutual.lux
+++ b/stdlib/source/test/lux/control/function/mutual.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." bit ("#\." equivalence)]
- [text
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [text
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: test_let
diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux
index a45fd28a9..1db7423e8 100644
--- a/stdlib/source/test/lux/control/io.lux
+++ b/stdlib/source/test/lux/control/io.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ IO)
[//
["." function]]]])
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index 81155f605..ff8520b10 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." try (#+ Try)]
- [parser
- ["<.>" code]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- [macro
- [syntax (#+ syntax:)]
- ["." code]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." try (#+ Try)]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ [macro
+ [syntax (#+ syntax:)]
+ ["." code]]]]
+ [\\library
["." / (#+ Parser)]]
["." / #_
["#." analysis]
diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux
index 49e7b0478..8be89e101 100644
--- a/stdlib/source/test/lux/control/parser/analysis.lux
+++ b/stdlib/source/test/lux/control/parser/analysis.lux
@@ -1,34 +1,35 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- ["." exception]
- ["<>" parser]]
- [data
- ["." name ("#\." equivalence)]
- ["." bit ("#\." equivalence)]
- ["." text ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]
- ["f" frac]
- ["r" rev]]]
- [tool
- [compiler
- [reference (#+ Constant)
- [variable (#+)]]
- [language
- [lux
- ["." analysis]]]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ ["." exception]
+ ["<>" parser]]
+ [data
+ ["." name ("#\." equivalence)]
+ ["." bit ("#\." equivalence)]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["f" frac]
+ ["r" rev]]]
+ [tool
+ [compiler
+ [reference (#+ Constant)
+ [variable (#+)]]
+ [language
+ [lux
+ ["." analysis]]]]]]]
+ [\\library
["." /]])
(template: (!expect <expectation> <computation>)
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index 289a80ba9..972078a43 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -1,43 +1,44 @@
(.module:
- [lux (#- primitive)
- ["_" test (#+ Test)]
- ["." type]
- [abstract
- [equivalence (#+ Equivalence)]
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- ["." exception]
- ["<>" parser]]
- [data
- ["." binary]
- ["." sum]
- ["." maybe]
- ["." bit]
- ["." name]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- ["." format #_
- ["#" binary]]
- [collection
- ["." list]
- ["." row]
- ["." set]]]
- [macro
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." i64]
- ["." int]
- ["." rev]
- ["." frac]]]]
- [\\
+ [library
+ [lux (#- primitive)
+ ["_" test (#+ Test)]
+ ["." type]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [predicate (#+ Predicate)]
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ ["." exception]
+ ["<>" parser]]
+ [data
+ ["." binary]
+ ["." sum]
+ ["." maybe]
+ ["." bit]
+ ["." name]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ ["." format #_
+ ["#" binary]]
+ [collection
+ ["." list]
+ ["." row]
+ ["." set]]]
+ [macro
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." i64]
+ ["." int]
+ ["." rev]
+ ["." frac]]]]]
+ [\\library
["." /]])
(template: (!expect <expectation> <computation>)
diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux
index 97ffd5e0e..fbf0a810f 100644
--- a/stdlib/source/test/lux/control/parser/cli.lux
+++ b/stdlib/source/test/lux/control/parser/cli.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["<>" parser]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat ("#\." decimal)]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["<>" parser]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat ("#\." decimal)]]]]]
+ [\\library
["." /]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux
index 987f0ad9d..7bb5d1ddb 100644
--- a/stdlib/source/test/lux/control/parser/code.lux
+++ b/stdlib/source/test/lux/control/parser/code.lux
@@ -1,28 +1,29 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." function]
- ["." try]
- ["<>" parser]]
- [data
- ["." bit]
- ["." name]
- ["." text]
- [collection
- ["." list]]]
- [macro
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." int]
- ["." rev]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." function]
+ ["." try]
+ ["<>" parser]]
+ [data
+ ["." bit]
+ ["." name]
+ ["." text]
+ [collection
+ ["." list]]]
+ [macro
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." int]
+ ["." rev]
+ ["." frac]]]]]
+ [\\library
["." /]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux
index 48b7bca54..68f98ea13 100644
--- a/stdlib/source/test/lux/control/parser/environment.lux
+++ b/stdlib/source/test/lux/control/parser/environment.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." dictionary]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." dictionary]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
["/#" // ("#\." monad)]]])
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index 0a4adcc83..6b6511e15 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- ["." exception]
- ["<>" parser]]
- [data
- ["." maybe]
- ["." bit]
- ["." text]
- [collection
- ["." list ("#\." functor)]
- ["." set]
- ["." dictionary]
- ["." row (#+ row) ("#\." functor)]]
- [format
- ["." json]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ ["." exception]
+ ["<>" parser]]
+ [data
+ ["." maybe]
+ ["." bit]
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]
+ ["." set]
+ ["." dictionary]
+ ["." row (#+ row) ("#\." functor)]]
+ [format
+ ["." json]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index 064891f2c..83211a95f 100644
--- a/stdlib/source/test/lux/control/parser/synthesis.lux
+++ b/stdlib/source/test/lux/control/parser/synthesis.lux
@@ -1,34 +1,35 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["<>" parser]
- ["." try]
- ["." exception]]
- [data
- ["." bit]
- ["." name]
- ["." text]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." i64]
- ["." frac]]]
- [tool
- [compiler
- [reference (#+)
- ["." variable (#+ Variable)]]
- [language
- [lux
- [analysis (#+ Environment)]
- ["." synthesis (#+ Synthesis)]]]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["<>" parser]
+ ["." try]
+ ["." exception]]
+ [data
+ ["." bit]
+ ["." name]
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." i64]
+ ["." frac]]]
+ [tool
+ [compiler
+ [reference (#+)
+ ["." variable (#+ Variable)]]
+ [language
+ [lux
+ [analysis (#+ Environment)]
+ ["." synthesis (#+ Synthesis)]]]]]]]
+ [\\library
["." /]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index 0ccad4208..d00a21d90 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -1,31 +1,32 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ Exception)]
- ["." function]]
- [data
- ["." maybe]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- ["." unicode #_
- ["#" set]
- ["#/." block]]]
- [collection
- ["." set]
- ["." list ("#\." functor)]
- [tree
- ["." finger]]]]
- [math
- ["." random]
- [number (#+ hex)
- ["n" nat]]]
- [macro
- ["." code]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ Exception)]
+ ["." function]]
+ [data
+ ["." maybe]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ ["." unicode #_
+ ["#" set]
+ ["#/." block]]]
+ [collection
+ ["." set]
+ ["." list ("#\." functor)]
+ [tree
+ ["." finger]]]]
+ [math
+ ["." random]
+ [number (#+ hex)
+ ["n" nat]]]
+ [macro
+ ["." code]]]]
+ [\\library
["." /
["<>" //
["<c>" code]]]])
diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux
index f4daaf751..62c4ab04e 100644
--- a/stdlib/source/test/lux/control/parser/tree.lux
+++ b/stdlib/source/test/lux/control/parser/tree.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- [collection
- ["." tree
- ["." zipper]]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ [collection
+ ["." tree
+ ["." zipper]]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
["/#" //]]])
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index d2a9bce32..7a8feca69 100644
--- a/stdlib/source/test/lux/control/parser/type.lux
+++ b/stdlib/source/test/lux/control/parser/type.lux
@@ -1,21 +1,22 @@
(.module:
- [lux (#- primitive)
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." name ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]
- ["." type ("#\." equivalence)]]
- [\\
+ [library
+ [lux (#- primitive)
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." name ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]
+ ["." type ("#\." equivalence)]]]
+ [\\library
["." /
["/#" //]]])
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index 435e3f4d3..aab371fa9 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." type ("#\." equivalence)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." text ("#\." equivalence)]
- ["." name ("#\." equivalence)]
- [format
- ["." xml]]
- [collection
- ["." dictionary]
- ["." list]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." type ("#\." equivalence)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." text ("#\." equivalence)]
+ ["." name ("#\." equivalence)]
+ [format
+ ["." xml]]
+ [collection
+ ["." dictionary]
+ ["." list]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
["/#" // ("#\." monad)]]])
diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux
index 61d7aab25..e38fafba4 100644
--- a/stdlib/source/test/lux/control/pipe.lux
+++ b/stdlib/source/test/lux/control/pipe.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." debug]
- [abstract
- [monad (#+ do)]]
- [data
- ["." identity]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." debug]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." identity]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux
index 9302a014c..b0edaa401 100644
--- a/stdlib/source/test/lux/control/reader.lux
+++ b/stdlib/source/test/lux/control/reader.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Reader)
[//
["." io (#+ IO)]]]])
diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux
index 5e21b3a37..2d2c5e1f9 100644
--- a/stdlib/source/test/lux/control/region.lux
+++ b/stdlib/source/test/lux/control/region.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- [type (#+ :share)]
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]
- ["." enum]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." try (#+ Try)]]
- [data
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ [type (#+ :share)]
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [functor (#+ Functor)]
+ [apply (#+ Apply)]
+ ["." monad (#+ Monad do)]
+ ["." enum]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." try (#+ Try)]]
+ [data
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Region)
[//
["." thread (#+ Thread)]
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 17c59b8a3..a96f993c9 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." io]
- ["." try (#+ Try)]
- ["." exception]
- [parser
- ["<c>" code]]]
- [data
- ["." product]
- ["." text
- ["%" format (#+ format)]]]
- [math
- [number (#+ hex)]
- ["." random (#+ Random) ("#\." monad)]]
- [time
- ["." date (#+ Date)]
- ["." instant]
- ["." duration]]
- ["." macro
- ["." code]
- ["." syntax (#+ syntax:)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." io]
+ ["." try (#+ Try)]
+ ["." exception]
+ [parser
+ ["<c>" code]]]
+ [data
+ ["." product]
+ ["." text
+ ["%" format (#+ format)]]]
+ [math
+ [number (#+ hex)]
+ ["." random (#+ Random) ("#\." monad)]]
+ [time
+ ["." date (#+ Date)]
+ ["." instant]
+ ["." duration]]
+ ["." macro
+ ["." code]
+ ["." syntax (#+ syntax:)]]]]
+ [\\library
["." /]])
(def: deadline (Random Date) random.date)
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index ef3d64d05..2798c21b2 100644
--- a/stdlib/source/test/lux/control/security/capability.lux
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io (#+ IO)]
- [concurrency
- ["." promise]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io (#+ IO)]
+ [concurrency
+ ["." promise]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(/.capability: (Can-Shift a)
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index 0cf9729dd..87beb9a3a 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [hash (#+ Hash)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]])
(def: (injection can_conceal)
diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux
index 6d6626522..2c1541dbf 100644
--- a/stdlib/source/test/lux/control/state.lux
+++ b/stdlib/source/test/lux/control/state.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- [pipe (#+ let>)]
- ["." io]]
- [data
- ["." product]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ [pipe (#+ let>)]
+ ["." io]]
+ [data
+ ["." product]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ State)]])
(def: (with-conditions [state output] computation)
diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux
index d2369a0bc..f3ad379dd 100644
--- a/stdlib/source/test/lux/control/thread.lux
+++ b/stdlib/source/test/lux/control/thread.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Thread)
[//
["." io]]]])
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux
index c2b00360f..9f131cffd 100644
--- a/stdlib/source/test/lux/control/try.lux
+++ b/stdlib/source/test/lux/control/try.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]
- ["$." equivalence]]]
- [control
- pipe
- ["." io]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]
+ ["$." equivalence]]]
+ [control
+ pipe
+ ["." io]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Try)]])
(def: injection
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux
index 1c007d9b1..8d440ddd0 100644
--- a/stdlib/source/test/lux/control/writer.lux
+++ b/stdlib/source/test/lux/control/writer.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monoid (#+ Monoid)]
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." io]]
- [data
- ["." product]
- ["." text ("#\." equivalence)]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monoid (#+ Monoid)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." io]]
+ [data
+ ["." product]
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Writer)]])
(def: (injection monoid value)
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux
index 33f0d963b..95576f815 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -1,10 +1,11 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [math
- ["." random]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [math
+ ["." random]]]]
["." / #_
["#." binary]
["#." bit]
@@ -32,6 +33,7 @@
body)))
(def: format
+ Test
($_ _.and
/format/binary.test
/format/json.test
@@ -39,27 +41,36 @@
/format/xml.test
))
+(def: test/0
+ Test
+ ($_ _.and
+ /binary.test
+ /bit.test
+ /color.test
+ /color/named.test))
+
+(def: test/1
+ Test
+ ($_ _.and
+ /identity.test
+ /lazy.test
+ /maybe.test
+ /name.test))
+
+(def: test/2
+ Test
+ ($_ _.and
+ /product.test
+ /sum.test
+ /text.test))
+
(def: #export test
Test
## TODO: Inline ASAP
- (let [test0 ($_ _.and
- /binary.test
- /bit.test
- /color.test
- /color/named.test
- /identity.test)
- test1 ($_ _.and
- /lazy.test
- /maybe.test
- /name.test
- /product.test)
- test2 ($_ _.and
- /sum.test
- /text.test
- ..format
- /collection.test)]
- ($_ _.and
- (!bundle test0)
- (!bundle test1)
- (!bundle test2)
- )))
+ ($_ _.and
+ (!bundle test/0)
+ (!bundle test/1)
+ (!bundle test/2)
+ (!bundle ..format)
+ (!bundle /collection.test)
+ ))
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index ba5e36662..347d9080b 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]
- ["." enum]
- [\spec
- ["$." equivalence]
- ["$." monoid]]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ Exception)]]
- [data
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["." i64]
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]
+ ["." enum]
+ [\\spec
+ ["$." equivalence]
+ ["$." monoid]]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ Exception)]]
+ [data
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." i64]
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Binary)]])
(def: (succeed result)
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index 341da9beb..499b32779 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [math
- ["." random]]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." codec]]]
- [control
- ["." function]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." codec]]]
+ [control
+ ["." function]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index bcbda46b9..b30d8181f 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -1,6 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
["." / #_
["#." array]
["#." bits]
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index e99478ee8..20d554bea 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." monoid]
- ["$." fold]
- ["$." functor (#+ Injection)]]]
- [data
- ["." bit]
- ["." maybe]
- [collection
- ["." list]
- ["." set]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor (#+ Injection)]]]
+ [data
+ ["." bit]
+ ["." maybe]
+ [collection
+ ["." list]
+ ["." set]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Array)]])
(def: injection
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index 258c84107..f505b0fce 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." predicate]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." predicate]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Bits)]])
(def: (size min max)
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index d68b421d9..c28ff6f51 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." functor (#+ Injection)]]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." product]
- ["." maybe]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [hash (#+ Hash)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." product]
+ ["." maybe]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: injection
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index a004e5c97..66d8098d3 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." product]
- ["." bit ("#\." equivalence)]
- ["." maybe ("#\." monad)]
- [collection
- ["." set]
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ [order (#+ Order)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." product]
+ ["." bit ("#\." equivalence)]
+ ["." maybe ("#\." monad)]
+ [collection
+ ["." set]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export (dictionary order gen_key gen_value size)
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index 4811b1162..3d24c3943 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." bit ("#\." equivalence)]
- ["." maybe ("#\." monad)]
- ["." text]
- [collection
- ["." set]
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." maybe ("#\." monad)]
+ ["." text]
+ [collection
+ ["." set]
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export (random size gen_key gen_value)
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index 625ce2bad..c46ccb681 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,34 +1,35 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." enum]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." fold]
- ["$." functor]
- ["$." apply]
- ["$." monad]]]
- [control
- pipe
- ["." io]
- ["." function]]
- [data
- ["." bit]
- ["." product]
- ["." maybe]
- ["." text ("#\." equivalence)]
- [collection
- ["." set]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." enum]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ pipe
+ ["." io]
+ ["." function]]
+ [data
+ ["." bit]
+ ["." product]
+ ["." maybe]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." set]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." int]]]]]
+ [\\library
["." / ("#\." monad)]])
(def: bounded_size
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 8ddd0533a..93dd8828f 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." functor (#+ Injection)]]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." set]
- ["." list ("#\." monoid)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." set]
+ ["." list ("#\." monoid)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: injection
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 653e0ca52..55d643aa8 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]]
- [data
- ["." maybe ("#\." functor)]
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]]
+ [data
+ ["." maybe ("#\." functor)]
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Queue)]])
(def: #export (random size)
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux
index e523fd656..6f858efe6 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -1,28 +1,29 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." monoid]
- ["$." fold]
- ["$." functor (#+ Injection)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." try (#+ Try)]
- ["." exception]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list ("#\." fold)]
- ["." set]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." monoid]
+ ["$." fold]
+ ["$." functor (#+ Injection)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list ("#\." fold)]
+ ["." set]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / ("#\." monad)]])
(def: signatures
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 1d5e111af..bbac12c34 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- ["." enum]
- [\spec
- ["$." functor]
- ["$." comonad]]]
- [data
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ ["." enum]
+ [\\spec
+ ["$." functor]
+ ["$." comonad]]]
+ [data
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(implementation: (equivalence super)
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index f577ce59f..e543dce57 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [hash (#+ Hash)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / ("\." equivalence)]])
(def: gen_nat
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index 4e1cd4f48..a6f95a3f0 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
- ["." predicate]
- [\spec
- ["$." equivalence]
- ["$." hash]]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." set]
- ["." list ("#\." fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [hash (#+ Hash)]
+ [monad (#+ do)]
+ ["." predicate]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." set]
+ ["." list ("#\." fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: count
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 385bc3c4a..0a6b441b7 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [order (#+ Order)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [order (#+ Order)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Set)
["." //]]])
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 317911b6b..e671b3cee 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." functor (#+ Injection)]]]
- [data
- ["." maybe]
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." functor (#+ Injection)]]]
+ [data
+ ["." maybe]
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: (injection value)
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 91817180d..ed27499c3 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." fold]
- ["$." functor]]]
- [data
- ["." product]
- [collection
- ["." list ("#\." functor fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." fold]
+ ["$." functor]]]
+ [data
+ ["." product]
+ [collection
+ ["." list ("#\." functor fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Tree)]])
(def: #export (tree gen-value)
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index 2c4c83466..c34449027 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." maybe ("#\." functor)]
- ["." text ("#\." equivalence monoid)]
- [collection
- ["." list ("#\." fold)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- [type (#+ :by_example)]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." maybe ("#\." functor)]
+ ["." text ("#\." equivalence monoid)]
+ [collection
+ ["." list ("#\." fold)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ [type (#+ :by_example)]]]
+ [\\library
["." /]])
(def: builder
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index 6a7832736..b45e96213 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." functor]
- ["$." comonad]]]
- [control
- pipe]
- [data
- ["." product]
- ["." maybe ("#\." functor)]
- ["." text]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." functor]
+ ["$." comonad]]]
+ [control
+ pipe]
+ [data
+ ["." product]
+ ["." maybe ("#\." functor)]
+ ["." text]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
["." //]
- [\\
+ [\\library
["." / (#+ Zipper)
["tree" //]]])
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 2877af081..b218a15ed 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]]
- [data
- [collection
- ["." list]]]
- [macro
- ["." template]]
- ["." math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." int]
- ["f" frac]
- ["r" rev]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
+ [data
+ [collection
+ ["." list]]]
+ [macro
+ ["." template]]
+ ["." math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." int]
+ ["f" frac]
+ ["r" rev]]]]]
+ [\\library
["." /]])
(def: #export random
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index bddd74593..9e027d74d 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- [collection
- ["." list]
- ["." set]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ [collection
+ ["." list]
+ ["." set]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
["/#" //]]])
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index 8912ae845..3457833ae 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
- [\spec
- ["$." monoid]]]
- [data
- ["." binary ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." monoid]]]
+ [data
+ ["." binary ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /]])
(implementation: equivalence
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 5e425db79..8fa74ed9e 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -1,33 +1,34 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." codec]]]
- [control
- ["." try ("#\." functor)]]
- [data
- ["." product]
- ["." bit]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." row]
- ["." dictionary]
- ["." set]
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." frac]]]
- ["." macro
- ["." syntax (#+ syntax:)]
- ["." code]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." codec]]]
+ [control
+ ["." try ("#\." functor)]]
+ [data
+ ["." product]
+ ["." bit]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." row]
+ ["." dictionary]
+ ["." set]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." frac]]]
+ ["." macro
+ ["." syntax (#+ syntax:)]
+ ["." code]]]]
+ [\\library
["." / (#+ JSON) ("\." equivalence)]])
(def: #export random
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 540eb2af1..8b0655555 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -1,38 +1,39 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]
- ["<>" parser
- ["<b>" binary]]]
- [data
- ["." product]
- ["." maybe]
- ["." binary ("#\." equivalence monoid)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]
- ["." unicode #_
- ["#" set]
- ["#/." block]]]
- [collection
- ["." row]
- ["." list ("#\." fold)]]
- ["." format #_
- ["#" binary]]]
- [time
- ["." instant (#+ Instant)]
- ["." duration]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]
+ ["<>" parser
+ ["<b>" binary]]]
+ [data
+ ["." product]
+ ["." maybe]
+ ["." binary ("#\." equivalence monoid)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]
+ ["." unicode #_
+ ["#" set]
+ ["#/." block]]]
+ [collection
+ ["." row]
+ ["." list ("#\." fold)]]
+ ["." format #_
+ ["#" binary]]]
+ [time
+ ["." instant (#+ Instant)]
+ ["." duration]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /]])
(def: path
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 95a06127f..5e4585d7f 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -1,29 +1,30 @@
(.module:
- [lux (#- char)
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ Monad do)]
- [\spec
- ["$." equivalence]
- ["$." codec]]]
- [control
- pipe
- ["." try]
- ["p" parser
- ["</>" xml]]]
- [data
- ["." name]
- ["." maybe]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." dictionary]
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux (#- char)
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ Monad do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." codec]]]
+ [control
+ pipe
+ ["." try]
+ ["p" parser
+ ["</>" xml]]]
+ [data
+ ["." name]
+ ["." maybe]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." dictionary]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ XML)]])
(def: char_range
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index 918eb10f6..c1359fd42 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -1,14 +1,15 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]
- ["$." comonad]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]
+ ["$." comonad]]]]]
+ [\\library
["." / (#+ Identity)]])
(def: injection
diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux
index 87d77ca68..9972de30d 100644
--- a/stdlib/source/test/lux/data/lazy.lux
+++ b/stdlib/source/test/lux/data/lazy.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]
- ["$." equivalence]]]
- [data
- ["." product]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]
+ ["$." equivalence]]]
+ [data
+ ["." product]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / (#+ Lazy)]])
(def: injection
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux
index eea0e3f32..51388c7a2 100644
--- a/stdlib/source/test/lux/data/maybe.lux
+++ b/stdlib/source/test/lux/data/maybe.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]
- ["$." functor]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." io ("#\." monad)]
- pipe]
- [data
- ["." text]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]
+ ["$." functor]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." io ("#\." monad)]
+ pipe]
+ [data
+ ["." text]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / ("#\." monoid monad)]])
(def: #export test
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index 8c2722466..958d236bf 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." codec]]]
- [control
- pipe]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." codec]]]
+ [control
+ pipe]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export (random module_size short_size)
@@ -57,18 +58,17 @@
(_.cover [/.module /.short]
(and (is? module1 (/.module name1))
(is? short1 (/.short name1))))
-
(_.for [.name_of]
(let [(^open "/\.") /.equivalence]
($_ _.and
(_.test "Can obtain Name from identifier."
- (and (/\= ["lux" "yolo"] (.name_of .yolo))
+ (and (/\= [.prelude_module "yolo"] (.name_of .yolo))
(/\= ["test/lux/data/name" "yolo"] (.name_of ..yolo))
(/\= ["" "yolo"] (.name_of yolo))
- (/\= ["lux/test" "yolo"] (.name_of lux/test.yolo))))
+ (/\= ["library/lux/test" "yolo"] (.name_of library/lux/test.yolo))))
(_.test "Can obtain Name from tag."
- (and (/\= ["lux" "yolo"] (.name_of #.yolo))
+ (and (/\= [.prelude_module "yolo"] (.name_of #.yolo))
(/\= ["test/lux/data/name" "yolo"] (.name_of #..yolo))
(/\= ["" "yolo"] (.name_of #yolo))
- (/\= ["lux/test" "yolo"] (.name_of #lux/test.yolo)))))))
+ (/\= ["library/lux/test" "yolo"] (.name_of #library/lux/test.yolo)))))))
)))))
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index 3e8124dde..ed086d66a 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 6725a7a24..b06d4ea79 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- pipe]
- [data
- ["." text]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ pipe]
+ [data
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 1838206a8..5b13a9076 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -1,24 +1,25 @@
(.module:
- [lux (#- char)
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." monoid]]]
- [control
- pipe]
- [data
- ["." maybe]
- [collection
- ["." list]
- ["." set]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
+ [library
+ [lux (#- char)
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." monoid]]]
+ [control
+ pipe]
+ [data
+ ["." maybe]
+ [collection
+ ["." list]
+ ["." set]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
["." / #_
["#." buffer]
["#." encoding]
@@ -27,7 +28,7 @@
["#." escape]
["#." unicode #_
["#" set]]]
- [\\
+ [\\library
["." /]])
(def: bounded_size
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index 551d7943f..0f6e73d35 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: part
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index 981fb2d22..53bc78299 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." codec]]]
- [control
- ["." try]]
- [data
- ["." maybe]
- ["." text ("#\." equivalence)]
- [collection
- ["." list ("#\." fold)]
- ["." set]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." codec]]]
+ [control
+ ["." try]]
+ [data
+ ["." maybe]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list ("#\." fold)]
+ ["." set]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["." / #_
["#." utf8]])
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index 7f83f745d..222e6e19b 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -1,14 +1,15 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [\spec
- ["$." codec]]]
- [data
- ["." text]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [\\spec
+ ["$." codec]]]
+ [data
+ ["." text]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 7cef235cd..bee4a7560 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -1,30 +1,31 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." debug]
- ["." meta]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]
- [parser
- ["<.>" code]]]
- [data
- ["." bit ("#\." equivalence)]
- ["." text (#+ Char) ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." set (#+ Set)]]]
- [macro
- [syntax (#+ syntax:)]
- ["." code]
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number (#+ hex)
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." debug]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." text (#+ Char) ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." set (#+ Set)]]]
+ [macro
+ [syntax (#+ syntax:)]
+ ["." code]
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number (#+ hex)
+ ["n" nat]]]]]
+ [\\library
["." /
[//
["." unicode #_
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index 54176cda3..f35683b33 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -1,44 +1,45 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [functor
- [\spec
- ["$." contravariant]]]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]
- ["." bit]
- ["." name]
- [format
- ["." xml]
- ["." json]]
- [collection
- ["." list ("#\." functor)]]]
- ["." time
- ["." day]
- ["." month]
- ["." instant]
- ["." duration]
- ["." date]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- ["." modulus]
- ["." modular]
- [number
- ["." nat]
- ["." int]
- ["." rev]
- ["." frac]
- ["." ratio]]]
- [macro
- ["." code]]
- [meta
- ["." location]]
- ["." type]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ [functor
+ [\\spec
+ ["$." contravariant]]]]
+ [control
+ ["." try]]
+ [data
+ ["." text ("#\." equivalence)]
+ ["." bit]
+ ["." name]
+ [format
+ ["." xml]
+ ["." json]]
+ [collection
+ ["." list ("#\." functor)]]]
+ ["." time
+ ["." day]
+ ["." month]
+ ["." instant]
+ ["." duration]
+ ["." date]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ ["." modulus]
+ ["." modular]
+ [number
+ ["." nat]
+ ["." int]
+ ["." rev]
+ ["." frac]
+ ["." ratio]]]
+ [macro
+ ["." code]]
+ [meta
+ ["." location]]
+ ["." type]]]
["$." /// #_
[format
["#." xml]
@@ -48,7 +49,7 @@
["#." type]
[macro
["#." code]]]]
- [\\
+ [\\library
["." /]])
(implementation: (equivalence example)
@@ -68,6 +69,54 @@
(random\wrap [/.frac random.frac])
))
+(def: codec
+ Test
+ (`` ($_ _.and
+ (~~ (template [<format> <codec> <random>]
+ [(do random.monad
+ [sample <random>]
+ (_.cover [<format>]
+ (text\= (\ <codec> encode sample)
+ (<format> sample))))]
+
+ [/.bit bit.codec random.bit]
+ [/.nat nat.decimal random.nat]
+ [/.int int.decimal random.int]
+ [/.rev rev.decimal random.rev]
+ [/.frac frac.decimal random.frac]
+ [/.ratio ratio.codec random.ratio]
+ [/.name name.codec ($///name.random 5 5)]
+ [/.xml xml.codec $///xml.random]
+ [/.json json.codec $///json.random]
+ [/.day day.codec random.day]
+ [/.month month.codec random.month]
+ [/.instant instant.codec random.instant]
+ [/.duration duration.codec random.duration]
+ [/.date date.codec random.date]
+ [/.time time.codec random.time]
+
+ [/.nat/2 nat.binary random.nat]
+ [/.nat/8 nat.octal random.nat]
+ [/.nat/10 nat.decimal random.nat]
+ [/.nat/16 nat.hex random.nat]
+
+ [/.int/2 int.binary random.int]
+ [/.int/8 int.octal random.int]
+ [/.int/10 int.decimal random.int]
+ [/.int/16 int.hex random.int]
+
+ [/.rev/2 rev.binary random.rev]
+ [/.rev/8 rev.octal random.rev]
+ [/.rev/10 rev.decimal random.rev]
+ [/.rev/16 rev.hex random.rev]
+
+ [/.frac/2 frac.binary random.frac]
+ [/.frac/8 frac.octal random.frac]
+ [/.frac/10 frac.decimal random.frac]
+ [/.frac/16 frac.hex random.frac]
+ ))
+ )))
+
(def: #export test
Test
(<| (_.covering /._)
@@ -88,49 +137,7 @@
(_.cover [/.format]
(text\= (/.format left mid right)
($_ "lux text concat" left mid right))))
- (~~ (template [<format> <codec> <random>]
- [(do random.monad
- [sample <random>]
- (_.cover [<format>]
- (text\= (\ <codec> encode sample)
- (<format> sample))))]
-
- [/.bit bit.codec random.bit]
- [/.nat nat.decimal random.nat]
- [/.int int.decimal random.int]
- [/.rev rev.decimal random.rev]
- [/.frac frac.decimal random.frac]
- [/.ratio ratio.codec random.ratio]
- [/.name name.codec ($///name.random 5 5)]
- [/.xml xml.codec $///xml.random]
- [/.json json.codec $///json.random]
- [/.day day.codec random.day]
- [/.month month.codec random.month]
- [/.instant instant.codec random.instant]
- [/.duration duration.codec random.duration]
- [/.date date.codec random.date]
- [/.time time.codec random.time]
-
- [/.nat/2 nat.binary random.nat]
- [/.nat/8 nat.octal random.nat]
- [/.nat/10 nat.decimal random.nat]
- [/.nat/16 nat.hex random.nat]
-
- [/.int/2 int.binary random.int]
- [/.int/8 int.octal random.int]
- [/.int/10 int.decimal random.int]
- [/.int/16 int.hex random.int]
-
- [/.rev/2 rev.binary random.rev]
- [/.rev/8 rev.octal random.rev]
- [/.rev/10 rev.decimal random.rev]
- [/.rev/16 rev.hex random.rev]
-
- [/.frac/2 frac.binary random.frac]
- [/.frac/8 frac.octal random.frac]
- [/.frac/10 frac.decimal random.frac]
- [/.frac/16 frac.hex random.frac]
- ))
+ ..codec
(~~ (template [<format> <alias> <random>]
[(do random.monad
[sample <random>]
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 481dcd17f..cb481b97a 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- pipe
- ["." try]
- ["p" parser
- ["<.>" text (#+ Parser)]
- ["s" code]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- [number (#+ hex)]
- ["." random]]
- ["." macro
- [syntax (#+ syntax:)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ pipe
+ ["." try]
+ ["p" parser
+ ["<.>" text (#+ Parser)]
+ ["s" code]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ [number (#+ hex)]
+ ["." random]]
+ ["." macro
+ [syntax (#+ syntax:)]]]]
+ [\\library
["." /]])
(def: (should_pass regex input)
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index 8a41eeca2..e4affc97a 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]]
- [data
- ["." text]
- [collection
- ["." set]
- ["." list]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number (#+ hex)
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
+ [data
+ ["." text]
+ [collection
+ ["." set]
+ ["." list]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number (#+ hex)
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export random
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index 631d3b511..3ef15de08 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." product]
- ["." bit ("#\." equivalence)]
- [collection
- ["." set ("#\." equivalence)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." product]
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." set ("#\." equivalence)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
["." / #_
["/#" // #_
["#." block]]]
- [\\
+ [\\library
["." /
[//
["." block]]]])
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index 5c0a950dc..bbbf299d8 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -1,34 +1,35 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["@" target]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- ["." exception]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]
- [format
- [json (#+ JSON)]
- [xml (#+ XML)]]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- [ratio (#+ Ratio)]]]
- [time (#+ Time)
- [instant (#+ Instant)]
- [date (#+ Date)]
- [duration (#+ Duration)]
- [month (#+ Month)]
- [day (#+ Day)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["@" target]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ ["." exception]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]
+ [format
+ [json (#+ JSON)]
+ [xml (#+ XML)]]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ [ratio (#+ Ratio)]]]
+ [time (#+ Time)
+ [instant (#+ Instant)]
+ [date (#+ Date)]
+ [duration (#+ Duration)]
+ [month (#+ Month)]
+ [day (#+ Day)]]]]
+ [\\library
["." /]]
["$." // #_
["#." type]
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index c784788ba..39597a8a3 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -1,46 +1,47 @@
(.module:
- [lux #*
- ["." debug]
- ["@" target
- ["." jvm]
- ["." js]
- ["." python]
- ["." lua]
- ["." ruby]
- ["." php]
- ["." scheme]]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." try]
- ["<>" parser
- ["<.>" code]
- ["<.>" analysis]
- ["<.>" synthesis]]]
- [data
- ["." product]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." row]
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]
- [tool
- [compiler
- ["." phase]
- [language
- [lux
- ["." analysis]
- ["." synthesis]
- ["." directive]
- [phase
- [analysis
- ["." type]]]]]]]
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux #*
+ ["." debug]
+ ["@" target
+ ["." jvm]
+ ["." js]
+ ["." python]
+ ["." lua]
+ ["." ruby]
+ ["." php]
+ ["." scheme]]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." try]
+ ["<>" parser
+ ["<.>" code]
+ ["<.>" analysis]
+ ["<.>" synthesis]]]
+ [data
+ ["." product]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." row]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]
+ [tool
+ [compiler
+ ["." phase]
+ [language
+ [lux
+ ["." analysis]
+ ["." synthesis]
+ ["." directive]
+ [phase
+ [analysis
+ ["." type]]]]]]]
+ ["_" test (#+ Test)]]]
+ [\\library
["." / (#+ analysis: synthesis: generation: directive:)]])
(def: my_analysis "my analysis")
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index e2c699dbd..70ca96929 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." bit ("#\." equivalence)]
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(/.import: Uint8Array)
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 7baa32fa2..ba02b1fc9 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -1,29 +1,30 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." type ("#\." equivalence)]
- ["." meta]
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]
- ["." try]
- ["." exception]]
- [data
- ["." bit ("#\." equivalence)]
- ["." text ("#\." equivalence)]
- [collection
- ["." array (#+ Array)]]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int ("#\." equivalence)]
- ["f" frac ("#\." equivalence)]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." type ("#\." equivalence)]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." try]
+ ["." exception]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." array (#+ Array)]]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int ("#\." equivalence)]
+ ["f" frac ("#\." equivalence)]]]]]
+ [\\library
["." /]])
(/.import: (java/util/concurrent/Callable a))
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index b05973bb8..c8d4ea6d5 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index b7a4ba099..36ec40e21 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- [pipe (#+ case>)]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [macro
- ["." template]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]
- ["f" frac]]]
- ["." type ("#\." equivalence)]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["f" frac]]]
+ ["." type ("#\." equivalence)]]]
+ [\\library
["." /]])
(/.import: java/lang/Object)
diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux
index b05973bb8..c8d4ea6d5 100644
--- a/stdlib/source/test/lux/ffi.php.lux
+++ b/stdlib/source/test/lux/ffi.php.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index b05973bb8..18aab4188 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -1,24 +1,61 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [math
+ ["." random]
+ [number
+ ["i" int]]]]]
+ [\\library
["." /]])
+(/.import: os
+ ["#::."
+ (#static R_OK /.Integer)
+ (#static W_OK /.Integer)])
+
(def: #export test
Test
(do {! random.monad}
- []
+ [boolean random.bit
+ integer random.int
+ float random.frac
+ string (random.ascii/lower 1)]
(<| (_.covering /._)
- (_.test "TBD"
- true))))
+ (`` ($_ _.and
+ (~~ (template [<type> <sample>]
+ [(_.cover [<type>]
+ (exec
+ (: <type> <sample>)
+ true))]
+
+ [/.Boolean boolean]
+ [/.Integer integer]
+ [/.Float float]
+ [/.String string]
+ ))
+ (_.for [/.Object]
+ ($_ _.and
+ (~~ (template [<type>]
+ [(_.cover [<type>]
+ (exec
+ (|> []
+ (:as <type>)
+ (: (Ex [a] (/.Object a))))
+ true))]
+
+ [/.None]
+ [/.Dict]
+ ))))
+ (_.cover [/.Function /.lambda]
+ (exec
+ (|> (/.lambda [input/0] input/0)
+ (: /.Function)
+ (: (Ex [a] (/.Object a))))
+ true))
+ (_.cover [/.import:]
+ (and (i.= (os::R_OK) (os::R_OK))
+ (not (i.= (os::W_OK) (os::R_OK)))))
+ )))))
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index b05973bb8..c8d4ea6d5 100644
--- a/stdlib/source/test/lux/ffi.rb.lux
+++ b/stdlib/source/test/lux/ffi.rb.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux
index b05973bb8..c8d4ea6d5 100644
--- a/stdlib/source/test/lux/ffi.scm.lux
+++ b/stdlib/source/test/lux/ffi.scm.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]]
- [data
- ["." text ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]]
+ [data
+ ["." text ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." frac]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index a7949a62b..54b29cff7 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]]]
- [math
- ["." random (#+ Random) ("#\." monad)]]
- [data
- ["." text ("#\." equivalence)
- ["." encoding (#+ Encoding)]]
- [collection
- ["." list]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]
+ [data
+ ["." text ("#\." equivalence)
+ ["." encoding (#+ Encoding)]]
+ [collection
+ ["." list]]]]]
["." / #_
["#." language]
["#." territory]]
- [\\
+ [\\library
["." /
["." language (#+ Language)]
["." territory (#+ Territory)]]])
diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux
index bce125224..39bc71aae 100644
--- a/stdlib/source/test/lux/locale/language.lux
+++ b/stdlib/source/test/lux/locale/language.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
- [\spec
- ["$." hash]]]
- [data
- ["." maybe]
- ["." text]
- [collection
- ["." set (#+ Set)]
- ["." list ("#\." functor fold)]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [hash (#+ Hash)]
+ [\\spec
+ ["$." hash]]]
+ [data
+ ["." maybe]
+ ["." text]
+ [collection
+ ["." set (#+ Set)]
+ ["." list ("#\." functor fold)]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(type: Bundle
@@ -178,7 +179,8 @@
..languages/x
..languages/y
..languages/z
- ..languages/etc))
+ ..languages/etc
+ ))
(def: (aggregate lens hash territories)
(All [a] (-> (-> Bundle (Set a))
@@ -214,7 +216,7 @@
(list.every? (\ /.equivalence = <reference>)
(`` (list (~~ (template.splice <aliases>)))))))
-(def: aliases_test
+(def: aliases_test/0
Test
($_ _.and
## A
@@ -236,6 +238,11 @@
(!aliases /.kachin [/.jingpho])
(!aliases /.kalaallisut [/.greenlandic])
(!aliases /.khotanese [/.sakan])
+ ))
+
+(def: aliases_test/1
+ Test
+ ($_ _.and
## M
(!aliases /.mi'kmaq [/.micmac])
## N
@@ -260,6 +267,13 @@
(!aliases /.zaza [/.dimili /.dimli /.kirdki /.kirmanjki /.zazaki])
))
+(def: aliases_test
+ Test
+ ($_ _.and
+ ..aliases_test/0
+ ..aliases_test/1
+ ))
+
(def: #export random
(Random /.Language)
(let [options (|> ..languages
diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux
index 61692050b..fadbe2890 100644
--- a/stdlib/source/test/lux/locale/territory.lux
+++ b/stdlib/source/test/lux/locale/territory.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
- [\spec
- ["$." hash]]]
- [data
- ["." maybe]
- ["." text]
- [collection
- ["." set (#+ Set)]
- ["." list ("#\." functor fold)]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [hash (#+ Hash)]
+ [\\spec
+ ["$." hash]]]
+ [data
+ ["." maybe]
+ ["." text]
+ [collection
+ ["." set (#+ Set)]
+ ["." list ("#\." functor fold)]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(type: Bundle
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 7864fb686..98d3ead2b 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" code]]]
- [data
- ["." bit ("#\." equivalence)]
- ["." name]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]]]
- ["." meta
- ["." location]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." name]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]]]
+ ["." meta
+ ["." location]]]]
+ [\\library
["." /
[syntax (#+ syntax:)]
["." code ("#\." equivalence)]
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux
index 93ed2c19b..576ccb54a 100644
--- a/stdlib/source/test/lux/macro/code.lux
+++ b/stdlib/source/test/lux/macro/code.lux
@@ -1,29 +1,30 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try (#+ Try)]]
- [data
- ["." product]
- ["." text]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]
- [meta
- ["." location]]
- [tool
- [compiler
- [language
- [lux
- ["." syntax]]]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try (#+ Try)]]
+ [data
+ ["." product]
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]
+ [meta
+ ["." location]]
+ [tool
+ [compiler
+ [language
+ [lux
+ ["." syntax]]]]]]]
+ [\\library
["." /]])
(def: random_text
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index d125a2af4..cbe6f0e3a 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -1,29 +1,30 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]
- ["<>" parser
- ["<.>" code]]]
- [data
- [text
- ["%" format]]
- [collection
- ["." list]
- [dictionary
- ["." plist]]]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]
+ ["<>" parser
+ ["<.>" code]]]
+ [data
+ [text
+ ["%" format]]
+ [collection
+ ["." list]
+ [dictionary
+ ["." plist]]]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(syntax: (macro_error macro)
diff --git a/stdlib/source/test/lux/macro/poly.lux b/stdlib/source/test/lux/macro/poly.lux
index d15e96d3d..90c57c87c 100644
--- a/stdlib/source/test/lux/macro/poly.lux
+++ b/stdlib/source/test/lux/macro/poly.lux
@@ -1,7 +1,8 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
+ [\\library
["." /]]
["." / #_
["#." equivalence]
diff --git a/stdlib/source/test/lux/macro/poly/equivalence.lux b/stdlib/source/test/lux/macro/poly/equivalence.lux
index a43da2d84..c8cd7c7bf 100644
--- a/stdlib/source/test/lux/macro/poly/equivalence.lux
+++ b/stdlib/source/test/lux/macro/poly/equivalence.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["%" data/text/format (#+ format)]
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)
- [\poly
- ["." /]]]
- [\spec
- ["$." equivalence]]]
- [data
- ["." bit]
- ["." maybe]
- ["." text]
- [collection
- ["." list]]]
- [macro
- [poly (#+ derived:)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]])
+ [library
+ [lux #*
+ ["%" data/text/format (#+ format)]
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)
+ [\\poly
+ ["." /]]]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." bit]
+ ["." maybe]
+ ["." text]
+ [collection
+ ["." list]]]
+ [macro
+ [poly (#+ derived:)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]])
(type: Variant
(#Case0 Bit)
diff --git a/stdlib/source/test/lux/macro/poly/functor.lux b/stdlib/source/test/lux/macro/poly/functor.lux
index 8d94cf852..6eebf2d55 100644
--- a/stdlib/source/test/lux/macro/poly/functor.lux
+++ b/stdlib/source/test/lux/macro/poly/functor.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["%" data/text/format (#+ format)]
- [abstract
- [monad (#+ do)]
- [functor
- [\poly
- ["." /]]]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
- [control
- ["." state]]
- [data
- ["." identity]]
- [macro
- [poly (#+ derived:)]]])
+ [library
+ [lux #*
+ ["%" data/text/format (#+ format)]
+ [abstract
+ [monad (#+ do)]
+ [functor
+ [\\poly
+ ["." /]]]]
+ ["r" math/random (#+ Random)]
+ ["_" test (#+ Test)]
+ [control
+ ["." state]]
+ [data
+ ["." identity]]
+ [macro
+ [poly (#+ derived:)]]]])
(derived: maybe_functor (/.functor .Maybe))
(derived: list_functor (/.functor .List))
diff --git a/stdlib/source/test/lux/macro/poly/json.lux b/stdlib/source/test/lux/macro/poly/json.lux
index 91ad9b010..e369dac92 100644
--- a/stdlib/source/test/lux/macro/poly/json.lux
+++ b/stdlib/source/test/lux/macro/poly/json.lux
@@ -1,48 +1,49 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." debug]
- [abstract
- codec
- [monad (#+ do)]
- ["." equivalence (#+ Equivalence)
- ["poly/#" \poly]]
- [\spec
- ["$." equivalence]
- ["$." codec]]]
- [control
- pipe
- ["." try]
- ["p" parser
- ## TODO: Get rid of this import ASAP
- [json (#+)]]]
- [data
- ["." bit]
- ["." maybe]
- ["." text
- ["%" format (#+ format)]]
- [format
- [json (#+)
- [\poly
- ["." /]]]]
- [collection
- [row (#+ row)]
- ["d" dictionary]
- ["." list]]]
- [macro
- [poly (#+ derived:)]]
- [type
- ["." unit]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["." frac]]]
- [time
- ["ti" instant]
- ["tda" date]
- ## ["tdu" duration]
- ]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." debug]
+ [abstract
+ codec
+ [monad (#+ do)]
+ ["." equivalence (#+ Equivalence)
+ ["poly/#" \\poly]]
+ [\\spec
+ ["$." equivalence]
+ ["$." codec]]]
+ [control
+ pipe
+ ["." try]
+ ["p" parser
+ ## TODO: Get rid of this import ASAP
+ [json (#+)]]]
+ [data
+ ["." bit]
+ ["." maybe]
+ ["." text
+ ["%" format (#+ format)]]
+ [format
+ [json (#+)
+ [\\poly
+ ["." /]]]]
+ [collection
+ [row (#+ row)]
+ ["d" dictionary]
+ ["." list]]]
+ [macro
+ [poly (#+ derived:)]]
+ [type
+ ["." unit]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["." frac]]]
+ [time
+ ["ti" instant]
+ ["tda" date]
+ ## ["tdu" duration]
+ ]]]
[test
[lux
[time
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index 057565f3d..35d680974 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -1,13 +1,14 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["." / #_
["#." annotations]
diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux
index fdee0ffa5..00d71c949 100644
--- a/stdlib/source/test/lux/macro/syntax/annotations.lux
+++ b/stdlib/source/test/lux/macro/syntax/annotations.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- [parser
- ["<.>" code]]]
- [data
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ [parser
+ ["<.>" code]]]
+ [data
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["$." /// #_
["#." code]])
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index 59f5c1a0b..626471c73 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- ["<>" parser
- ["<.>" code]]]
- [math
- ["." random (#+ Random)]]
- [macro
- ["." code ("#\." equivalence)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ ["<>" parser
+ ["<.>" code]]]
+ [math
+ ["." random (#+ Random)]]
+ [macro
+ ["." code ("#\." equivalence)]]]]
+ [\\library
["." /]]
["$." /// #_
["#." code]])
diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux
index 555c3138e..761ba87cc 100644
--- a/stdlib/source/test/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/test/lux/macro/syntax/declaration.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- [parser
- ["<.>" code]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ [parser
+ ["<.>" code]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export random
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index 48719ac17..c98b1e853 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- ["." exception]
- ["<>" parser
- ["<.>" code]]]
- [math
- ["." random (#+ Random)]]
- [macro
- ["." code ("#\." equivalence)]]
- [meta
- ["." location]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ ["." exception]
+ ["<>" parser
+ ["<.>" code]]]
+ [math
+ ["." random (#+ Random)]]
+ [macro
+ ["." code ("#\." equivalence)]]
+ [meta
+ ["." location]]]]
+ [\\library
["." /]]
["$."// #_
["#." check]
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index 10e86fd20..6e93f2e4b 100644
--- a/stdlib/source/test/lux/macro/syntax/export.lux
+++ b/stdlib/source/test/lux/macro/syntax/export.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- [parser
- ["<.>" code]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index bf22a9c17..34357f79a 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try]
- [parser
- ["<.>" code]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try]
+ [parser
+ ["<.>" code]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["$." /// #_
["#." code]])
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index d2ac5d86e..8ff84f36f 100644
--- a/stdlib/source/test/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" code]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ ["." try ("#\." functor)]
+ [parser
+ ["<.>" code]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /]])
(def: #export random
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index 12e503e33..fc1d62f11 100644
--- a/stdlib/source/test/lux/macro/template.lux
+++ b/stdlib/source/test/lux/macro/template.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- [collection
- ["." list]]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ [collection
+ ["." list]]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]]]]]
+ [\\library
["." /]])
(/.let [(!pow/2 <scalar>)
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index fc9de2f8f..a43d63a2b 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]
- ["f" frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["f" frac]]]]]
+ [\\library
["." /]]
["." / #_
["#." infix]
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 29a3cfcab..2dafd35aa 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["f" frac]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["f" frac]]]]]
+ [\\library
["." /
["." //]]])
diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux
index ceb4ca33b..5ff4c46cc 100644
--- a/stdlib/source/test/lux/math/logic/continuous.lux
+++ b/stdlib/source/test/lux/math/logic/continuous.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." monoid]]]
- [math
- ["." random]
- [number
- ["r" rev]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." monoid]]]
+ [math
+ ["." random]
+ [number
+ ["r" rev]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index 3da2e4cc9..ea39da68a 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
- [\spec
- [functor
- ["$." contravariant]]]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list]
- ["." set]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["r" rev]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]
+ [\\spec
+ [functor
+ ["$." contravariant]]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list]
+ ["." set]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["r" rev]]]]]
+ [\\library
["." / (#+ Fuzzy)
["/#" // #_
["#" continuous]]]])
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index 21d451472..5322b162b 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -1,28 +1,29 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." type ("#\." equivalence)]
- [abstract
- [monad (#+ do)]
- ["." predicate]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." monoid]
- ["$." codec]]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." product]
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["i" int]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." type ("#\." equivalence)]
+ [abstract
+ [monad (#+ do)]
+ ["." predicate]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." monoid]
+ ["$." codec]]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." product]
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["i" int]]]]]
["$." // #_
["#" modulus]]
- [\\
+ [\\library
["." /
["/#" // #_
["#" modulus]]]])
diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux
index af3a3dc5b..af040b645 100644
--- a/stdlib/source/test/lux/math/modulus.lux
+++ b/stdlib/source/test/lux/math/modulus.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [math
- ["." random (#+ Random)]
- [number
- ["i" int]]]
- [macro
- [syntax (#+ syntax:)]
- ["." code]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["i" int]]]
+ [macro
+ [syntax (#+ syntax:)]
+ ["." code]]]]
+ [\\library
["." /]])
(syntax: (|divisor|)
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index 99cf72928..b13fa5cf8 100644
--- a/stdlib/source/test/lux/math/number.lux
+++ b/stdlib/source/test/lux/math/number.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [control
- ["." try]]
- [data
- ["." text]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [control
+ ["." try]]
+ [data
+ ["." text]]]]
+ [\\library
["." /
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index d32abc2c5..2670d53dc 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["%" data/text/format (#+ format)]
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." codec]]]
- [data
- [collection
- ["." list ("#\." functor)]]]
- ["." math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["%" data/text/format (#+ format)]
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." codec]]]
+ [data
+ [collection
+ ["." list ("#\." functor)]]]
+ ["." math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
[//
["n" nat]
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index eb981a5b0..093511510 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["@" target]
- ["." ffi]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["@" target]
+ ["." ffi]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
[// #*
["n" nat]
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index 4450cf88e..4720a13b7 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -1,13 +1,14 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
["/#" // #_
["i" int]
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index 8b2d0e5f2..66d65fa40 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -1,13 +1,14 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
["/#" // #_
["i" int]
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 129d2bb84..942930af0 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [data
- ["." bit ("#\." equivalence)]]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." monoid]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." / ("\." equivalence)
[// (#+ hex)
["n" nat]
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index 1f5c7de42..c5fee1fcf 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -1,13 +1,14 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
["/#" // #_
["i" int]
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index f339b3ac4..47e381985 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." enum]
+ ["$." interval]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
[//
["n" nat]
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 26a872067..ff3eb64d1 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." enum]
+ ["$." interval]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]]]]
+ [\\library
["." /
[//
["f" frac]]]])
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index 8e8aeb0d0..838e8ca81 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]
- ["." maybe ("#\." functor)]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." maybe ("#\." functor)]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
[//
["n" nat ("#\." equivalence)]]]])
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index e4d6b81f7..70ab24c61 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." enum]
+ ["$." interval]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random]]]]
+ [\\library
["." /
[// (#+ hex)
["n" nat]
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index b8aa1ff8b..3b3bf1ae2 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -1,33 +1,34 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." type ("#\." equivalence)]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- ["." try (#+ Try) ("#\." functor)]]
- [data
- ["." product]
- ["." maybe]
- ["." bit ("#\." equivalence)]
- ["." name ("#\." equivalence)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor monoid)]
- ["." set]]]
- [meta
- ["." location]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." type ("#\." equivalence)]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ ["." try (#+ Try) ("#\." functor)]]
+ [data
+ ["." product]
+ ["." maybe]
+ ["." bit ("#\." equivalence)]
+ ["." name ("#\." equivalence)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor monoid)]
+ ["." set]]]
+ [meta
+ ["." location]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]]
["." / #_
["#." annotation]
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux
index 791e5759a..88ffb18d0 100644
--- a/stdlib/source/test/lux/meta/annotation.lux
+++ b/stdlib/source/test/lux/meta/annotation.lux
@@ -1,31 +1,32 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]]
- [data
- ["." product]
- ["." bit]
- ["." name ("#\." equivalence)]
- ["." text]
- [collection
- ["." list ("#\." functor)]]]
- [macro
- ["." code ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]
- ["." int]
- ["." rev]
- ["." frac]]]]
- [\\
- ["." /]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]]
+ [data
+ ["." product]
+ ["." bit]
+ ["." name ("#\." equivalence)]
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]]]
+ [macro
+ ["." code ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]
+ ["." int]
+ ["." rev]
+ ["." frac]]]]]
[///
[macro
- ["_." code]]])
+ ["_." code]]]
+ [\\library
+ ["." /]])
(def: random_key
(Random Name)
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index 6e005bd5f..2aaa797a0 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." text]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." text]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /]]
["$." /// #_
[macro
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index 2da869ab5..ec605af3b 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]
- ["." try]
- ["<>" parser
- ["<.>" code]
- ["<.>" cli]]]
- [data
- ["." text]
- [collection
- ["." list]]]
- [macro
- [syntax (#+ syntax:)]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]
+ ["." try]
+ ["<>" parser
+ ["<.>" code]
+ ["<.>" cli]]]
+ [data
+ ["." text]
+ [collection
+ ["." list]]]
+ [macro
+ [syntax (#+ syntax:)]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]])
(syntax: (actual_program {actual_program (<| <code>.form
diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux
index 3158b76ee..e9c2594fc 100644
--- a/stdlib/source/test/lux/target.lux
+++ b/stdlib/source/test/lux/target.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [data
- ["." text]
- [collection
- ["." list]
- ["." set (#+ Set)]]]
- [math
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [data
+ ["." text]
+ [collection
+ ["." list]
+ ["." set (#+ Set)]]]
+ [math
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(with_expansions [<targets> (as_is /.old
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 218f3df42..3486821ce 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -1,38 +1,39 @@
(.module:
- [lux (#- Type type primitive int)
- ["." ffi (#+ import:)]
- ["@" target]
- [abstract
- ["." monad (#+ do)]]
- [control
- ["." function]
- ["." io]
- ["." try]
- [concurrency
- ["." atom]]]
- [data
- ["." maybe]
- ["." bit ("#\." equivalence)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- ["." format #_
- ["#" binary]]
- [collection
- ["." array]
- ["." dictionary]
- ["." row]
- ["." set]
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]
- ["i" int]
- ["f" frac]
- ["." i32 (#+ I32)]
- ["." i64]]]
- ["_" test (#+ Test)]]
- [\\
+ [library
+ [lux (#- Type type primitive int)
+ ["." ffi (#+ import:)]
+ ["@" target]
+ [abstract
+ ["." monad (#+ do)]]
+ [control
+ ["." function]
+ ["." io]
+ ["." try]
+ [concurrency
+ ["." atom]]]
+ [data
+ ["." maybe]
+ ["." bit ("#\." equivalence)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ ["." format #_
+ ["#" binary]]
+ [collection
+ ["." array]
+ ["." dictionary]
+ ["." row]
+ ["." set]
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]
+ ["i" int]
+ ["f" frac]
+ ["." i32 (#+ I32)]
+ ["." i64]]]
+ ["_" test (#+ Test)]]]
+ [\\library
["." / #_
["#." loader (#+ Library)]
["#." version]
diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux
index ede26191c..9c3e0f506 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]
- ["." exception]
- [concurrency
- ["." promise]
- ["." atom (#+ Atom)]]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]
+ ["." exception]
+ [concurrency
+ ["." promise]
+ ["." atom (#+ Atom)]]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: (verify expected_message/0 expected_message/1 successes failures [tally message])
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index 6b321d1ce..17b17c61a 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]
- ["$." codec]]]
- [control
- [pipe (#+ case>)]
- ["." try ("#\." functor)]
- ["." exception]
- [parser
- ["<.>" text]]]
- [data
- ["." text
- ["%" format (#+ format)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]
+ ["$." codec]]]
+ [control
+ [pipe (#+ case>)]
+ ["." try ("#\." functor)]
+ ["." exception]
+ [parser
+ ["<.>" text]]]
+ [data
+ ["." text
+ ["%" format (#+ format)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
["." / #_
["#." date]
["#." day]
@@ -28,7 +29,7 @@
["#." instant]
["#." month]
["#." year]]
- [\\
+ [\\library
["." /
["." duration]]])
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index fdf78d535..cb9d46978 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/time/date.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]
- ["$." codec]]]
- [control
- ["." try ("#\." functor)]
- ["." exception]
- [parser
- ["<.>" text]]]
- [data
- [text
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]
+ ["$." codec]]]
+ [control
+ ["." try ("#\." functor)]
+ ["." exception]
+ [parser
+ ["<.>" text]]]
+ [data
+ [text
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux
index 3245c69b6..d2499309b 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/time/day.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]
- ["$." codec]]]
- [control
- ["." try]
- ["." exception]]
- [math
- ["." random (#+ Random) ("#\." monad)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]
+ ["$." codec]]]
+ [control
+ ["." try]
+ ["." exception]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]]]
+ [\\library
["." /]])
(def: #export random
diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux
index 7ca984beb..a3014cc1a 100644
--- a/stdlib/source/test/lux/time/duration.lux
+++ b/stdlib/source/test/lux/time/duration.lux
@@ -1,22 +1,23 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]
- ["$." monoid]
- ["$." codec]]]
- [data
- ["." bit ("#\." equivalence)]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]
+ ["$." monoid]
+ ["$." codec]]]
+ [data
+ ["." bit ("#\." equivalence)]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index 80a43472b..6fef2f55e 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]
- ["$." codec]]]
- [control
- ["." function]
- ["." try]
- ["." io]]
- [data
- [collection
- ["." list ("#\." fold)]]]
- [math
- ["." random]]
- [time
- ["." duration (#+ Duration)]
- ["." day (#+ Day) ("#\." enum)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]
+ ["$." codec]]]
+ [control
+ ["." function]
+ ["." try]
+ ["." io]]
+ [data
+ [collection
+ ["." list ("#\." fold)]]]
+ [math
+ ["." random]]
+ [time
+ ["." duration (#+ Duration)]
+ ["." day (#+ Day) ("#\." enum)]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index dac255f2c..202048cac 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/time/month.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- ["." predicate]
- [\spec
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." codec]]]
- [control
- ["." try ("#\." functor)]
- ["." exception]]
- [data
- [collection
- ["." set]
- ["." list ("#\." functor fold)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ ["." predicate]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]
+ ["$." order]
+ ["$." enum]
+ ["$." codec]]]
+ [control
+ ["." try ("#\." functor)]
+ ["." exception]]
+ [data
+ [collection
+ ["." set]
+ ["." list ("#\." functor fold)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
[//
["." duration]]]])
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux
index 97c416c11..ba364eaab 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/time/year.lux
@@ -1,25 +1,26 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." codec]]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." bit ("#\." equivalence)]
- [text
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." codec]]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [text
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /
["/#" //
["#." duration]
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 5452fbb65..ebda4eb93 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -1,6 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
["." / #_
[compiler
[language
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index cae8a8773..3a01acaab 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [control
- [pipe (#+ case>)]]
- [data
- ["." maybe]
- ["." text ("#\." equivalence)]
- [collection
- ["." list]
- ["." array]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [control
+ [pipe (#+ case>)]]
+ [data
+ ["." maybe]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list]
+ ["." array]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." / ("#\." equivalence)]]
["." / #_
["#." abstract]
@@ -192,12 +193,31 @@
example
(List a)))))
- (do {! random.monad}
+ (do random.monad
[sample random.nat]
(_.cover [/.:log!]
(exec
(/.:log! sample)
true)))
+ (do random.monad
+ [left random.nat
+ right (random.ascii/lower 1)
+ #let [left,right [left right]]]
+ (_.cover [/.:cast]
+ (|> left,right
+ (/.:cast [l r] (& l r) (| l r))
+ (/.:cast [l r] (| l r) (& l r))
+ (is? left,right))))
+ (do random.monad
+ [expected random.nat]
+ (_.cover [/.:share]
+ (n.= expected
+ (/.:share [a]
+ (I64 a)
+ expected
+
+ (I64 a)
+ (.i64 expected)))))
/abstract.test
/check.test
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux
index a023e1350..47d478f3f 100644
--- a/stdlib/source/test/lux/type/abstract.lux
+++ b/stdlib/source/test/lux/type/abstract.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." text ("#\." equivalence)]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]
- ["." template]]
- ["." math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." text ("#\." equivalence)]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]
+ ["." template]]
+ ["." math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(template.with_locals [g!Foo g!Bar]
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index b9f0f570f..949009d5b 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -1,32 +1,33 @@
(.module:
- [lux (#- type)
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]
- [\spec
- ["$." functor (#+ Injection Comparison)]
- ["$." apply]
- ["$." monad]]]
- [control
- [pipe (#+ case>)]
- ["." function]
- ["." try]
- ["." exception (#+ exception:)]]
- [data
- ["." bit ("#\." equivalence)]
- ["." product]
- ["." maybe]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor monoid)]
- ["." set]]]
- [math
- ["." random (#+ Random) ("#\." monad)]
- [number
- ["n" nat]]]
- ["." type ("#\." equivalence)]]
- [\\
+ [library
+ [lux (#- type)
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]
+ [\\spec
+ ["$." functor (#+ Injection Comparison)]
+ ["$." apply]
+ ["$." monad]]]
+ [control
+ [pipe (#+ case>)]
+ ["." function]
+ ["." try]
+ ["." exception (#+ exception:)]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." product]
+ ["." maybe]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor monoid)]
+ ["." set]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]
+ [number
+ ["n" nat]]]
+ ["." type ("#\." equivalence)]]]
+ [\\library
["." /]])
## TODO: Remove the following 3 definitions ASAP. //.type already exists...
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index f9b5472f4..0c743cabf 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try]
- ["." exception]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try]
+ ["." exception]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: #export test
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index 0387c1dd2..bf6db29e6 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [equivalence (#+)]
- [functor (#+)]
- [monoid (#+)]
- [monad (#+ do)]
- ["." enum]]
- [data
- ["." bit ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [equivalence (#+)]
+ [functor (#+)]
+ [monoid (#+)]
+ [monad (#+ do)]
+ ["." enum]]
+ [data
+ ["." bit ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(/.implicit: [n.multiplication])
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index 962d2d2aa..11d711ac7 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- ["." monad (#+ do)]
- [\spec
- ["$." equivalence]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat ("#\." equivalence)]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ ["." monad (#+ do)]
+ [\\spec
+ ["$." equivalence]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat ("#\." equivalence)]]]]]
+ [\\library
["." /]])
(def: #export (random class super)
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 1e4e4da3b..6ee53edcd 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
- [data
- ["." maybe ("#\." monad)]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [predicate (#+ Predicate)]
+ [monad (#+ do)]]
+ [data
+ ["." maybe ("#\." monad)]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(def: _refiner
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index e5061dc1e..859e8ca3f 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -1,27 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." meta]
- [abstract
- ["." monad
- [indexed (#+ do)]]]
- [control
- ["." io]
- ["." try]
- ["." exception (#+ Exception)]
- [concurrency
- ["." promise]]
- [parser
- ["<.>" code]]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- ["." macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." meta]
+ [abstract
+ ["." monad
+ [indexed (#+ do)]]]
+ [control
+ ["." io]
+ ["." try]
+ ["." exception (#+ Exception)]
+ [concurrency
+ ["." promise]]
+ [parser
+ ["<.>" code]]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ ["." macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random]]]]
+ [\\library
["." / (#+ Res)]])
(def: pure
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index aecce2374..6789d7b65 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -1,24 +1,25 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." debug]
- ["." meta]
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [\spec
- ["$." equivalence]
- ["$." order]
- ["$." enum]]]
- [macro
- [syntax (#+ syntax:)]
- ["." code]]
- [math
- ["." random (#+ Random)]
- [number
- ["i" int]
- ["." ratio ("#\." equivalence)]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ ["." debug]
+ ["." meta]
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]
+ [\\spec
+ ["$." equivalence]
+ ["$." order]
+ ["$." enum]]]
+ [macro
+ [syntax (#+ syntax:)]
+ ["." code]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["i" int]
+ ["." ratio ("#\." equivalence)]]]]]
+ [\\library
["." /]])
(template [<name> <type> <unit>]
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index d8f5aebf2..b0987e833 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [math
+ ["." random (#+ Random)]]]]
+ [\\library
["." /
["/#" // #_
["#." check]]]])
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index c5ea26a6f..795b3e55c 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -1,6 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]]]
["." / #_
["#." file]
["#." shell]
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index b153e84e9..055ee1466 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -1,18 +1,19 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]]
- [data
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
- [math
- ["." random]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]]
+ [data
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]]
+ [math
+ ["." random]]]]
+ [\\library
["." /]]
[\\spec
["$." /]])
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 0e5c61c8f..1074749f4 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -1,15 +1,16 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]]
- [math
- ["." random]]]
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]]
+ [math
+ ["." random]]]]
["." / #_
["#." watch]]
- [\\
+ [\\library
["." /]]
[\\spec
["$." /]])
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index 9b9937a25..a4a8748ed 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -1,23 +1,24 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- ["." exception]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- ["." binary (#+ Binary) ("#\." equivalence)]
- ["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- [collection
- ["." list]]]
- [math
- ["." random (#+ Random) ("#\." monad)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [predicate (#+ Predicate)]
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ ["." binary (#+ Binary) ("#\." equivalence)]
+ ["." text ("#\." equivalence)
+ ["%" format (#+ format)]]
+ [collection
+ ["." list]]]
+ [math
+ ["." random (#+ Random) ("#\." monad)]]]]
+ [\\library
["." /
["/#" //]]]
[////
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index b58bff96f..f75907fad 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [data
- ["." bit ("#\." equivalence)]
- ["." maybe]
- [collection
- ["." list]
- ["." set (#+ Set)]]]
- [macro
- ["." template]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." maybe]
+ [collection
+ ["." list]
+ ["." set (#+ Set)]]]
+ [macro
+ ["." template]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(with_expansions [<groups> (as_is [keys/commands
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index 612d599ff..c784d9cbe 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -1,25 +1,28 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [pipe (#+ do>)]
- ["." io (#+ IO)]
- ["." try]
- ["." function]]
- [data
- ["." binary]
- ["." product]
- [text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]]
- [math
- ["." random (#+ Random)]
- [number
- ["." nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ do>)]
+ ["." io (#+ IO)]
+ ["." try]
+ ["." function]]
+ [data
+ ["." binary]
+ ["." product]
+ ["." text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [collection
+ ["." dictionary]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["." nat]]]]]
+ [\\library
["." /
["/#" //
["#." status]]]])
@@ -28,7 +31,7 @@
Test
(<| (_.covering /._)
(_.for [/.Client])
- (do random.monad
+ (do {! random.monad}
[on_post random.nat
on_get random.nat
on_put random.nat
@@ -38,6 +41,8 @@
on_connect random.nat
on_options random.nat
on_trace random.nat
+ num_headers (\ ! map (nat.% 10) random.nat)
+ headers (random.dictionary text.hash num_headers (random.ascii/lower 3) (random.ascii/lower 3))
#let [mock (: (/.Client IO)
(implementation
(def: (request method url headers data)
@@ -81,4 +86,10 @@
[/.options on_options]
[/.trace on_trace]
))
+ (_.cover [/.headers]
+ (nat.= (dictionary.size headers)
+ (|> headers
+ dictionary.entries
+ /.headers
+ dictionary.size)))
)))))
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index 84fbf4b2c..b051d8e8e 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [data
- [collection
- ["." list]
- ["." set (#+ Set)]]]
- [macro
- ["." template]]
- [math
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [data
+ [collection
+ ["." list]
+ ["." set (#+ Set)]]]
+ [macro
+ ["." template]]
+ [math
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
["/#" //]]])
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index ebeec3a65..1cfcd0ae8 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -1,21 +1,22 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]
- [\spec
- ["$." equivalence]
- ["$." hash]]]
- [data
- ["." maybe]
- [collection
- ["." list]
- ["." set (#+ Set)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]
+ [\\spec
+ ["$." equivalence]
+ ["$." hash]]]
+ [data
+ ["." maybe]
+ [collection
+ ["." list]
+ ["." set (#+ Set)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /]])
(with_expansions [<resolutions> (as_is /.svga
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index d91d7fc62..fafda5f91 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -1,25 +1,36 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- [parser
- [environment (#+ Environment)]]]
- [data
- ["." text]]
- [math
- ["." random (#+ Random)]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [pipe (#+ case>)]
+ ["." io]
+ ["." try]
+ ["." exception]
+ [parser
+ [environment (#+ Environment)]]]
+ [data
+ ["." maybe ("#\." functor)]
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." dictionary]
+ ["." list]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat]]]]]
+ [\\library
["." /
[//
[file (#+ Path)]]]]
[\\spec
["$." /]])
-(def: environment
- (Random Environment)
- (random.dictionary text.hash 5
+(def: (environment env_size)
+ (-> Nat (Random Environment))
+ (random.dictionary text.hash env_size
(random.ascii/alpha 5)
(random.ascii/alpha 5)))
@@ -30,11 +41,38 @@
(def: #export test
Test
(<| (_.covering /._)
- (do random.monad
- [environment ..environment
+ (do {! random.monad}
+ [env_size (\ ! map (|>> (n.% 10) inc) random.nat)
+ environment (..environment env_size)
home ..path
- directory ..path]
+ directory ..path
+
+ unknown (random.ascii/alpha 1)]
($_ _.and
(_.for [/.mock /.async]
($/.spec (/.async (/.mock environment home directory))))
+ (_.cover [/.environment]
+ (let [program (/.mock environment home directory)]
+ (io.run
+ (do io.monad
+ [actual (/.environment io.monad program)]
+ (wrap (and (n.= (dictionary.size environment)
+ (dictionary.size actual))
+ (|> actual
+ dictionary.entries
+ (list.every? (function (_ [key value])
+ (|> environment
+ (dictionary.get key)
+ (maybe\map (text\= value))
+ (maybe.default false)))))))))))
+ (_.cover [/.unknown_environment_variable]
+ (let [program (/.mock environment home directory)]
+ (|> unknown
+ (\ program variable)
+ io.run
+ (case> (#try.Success _)
+ false
+
+ (#try.Failure error)
+ (exception.match? /.unknown_environment_variable error)))))
))))
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 4cbdb27ed..8d117eefa 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO)]
- [concurrency
- ["." promise (#+ Promise)]]
- [parser
- ["." environment (#+ Environment)]]]
- [data
- ["." text ("#\." equivalence)]
- [collection
- ["." list]]]
- [math
- ["." random]
- [number
- ["n" nat]
- ["i" int]]]]
- [\\
+ [library
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]
+ ["." io (#+ IO)]
+ [concurrency
+ ["." promise (#+ Promise)]]
+ [parser
+ ["." environment (#+ Environment)]]]
+ [data
+ ["." text ("#\." equivalence)]
+ [collection
+ ["." list]]]
+ [math
+ ["." random]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
["." /
[//
[file (#+ Path)]]]]