diff options
| author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
| commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
| tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/test | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to '')
295 files changed, 1234 insertions, 1234 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index ed891d815..2015da3d7 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -1,8 +1,8 @@ (.using [library [lux "*" - [program {"+" program:}] - ["_" test {"+" Test}] + [program (.only program:)] + ["_" test (.only Test)] [control ["[0]" io]]]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 150724ade..7cbf804c5 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -12,7 +12,7 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world ["[0]" file] [net diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index ab6bc4949..b9184c15a 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e44ba514c..b09095646 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] ["$[0]" / "_" ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 36267e060..8a722c72a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 25134c0cb..54aa5d8af 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [time ["[0]" instant]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index cde73c729..1e40d43d7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] ["$[0]" /// "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 53e45aa9e..951e78380 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 81df110ce..511abf693 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -12,9 +12,9 @@ ["<[0]>" text]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 521b07e9e..e3e853a86 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -13,7 +13,7 @@ [time ["[0]" instant ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only 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 48e4188a4..1180f66b2 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -12,7 +12,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 70fc9dddf..b666871fd 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" time] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index 4166828f8..631538bc4 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text] [collection ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 683468bcf..3a05977e2 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] ["$[0]" // "_" diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 690ff01ff..8b2843709 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -1,25 +1,25 @@ (.using [library [lux {"-" Type type} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["[0]" environment]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text] [format - [xml {"+" XML}]] + [xml (.only XML)]] [collection ["[0]" set] ["[0]" dictionary]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [world @@ -35,13 +35,13 @@ [\\program ["[0]" / ["/[1]" // "_" - ["[1]" profile {"+" Profile}] - ["[1][0]" package {"+" Package}] + ["[1]" profile (.only Profile)] + ["[1][0]" package (.only Package)] ["[1][0]" pom] - ["[1][0]" dependency {"+" Dependency} - ["[1]/[0]" resolution {"+" Resolution}]] - ["[1][0]" artifact {"+" Artifact} - ["[1]/[0]" type {"+" Type}]] + ["[1][0]" dependency (.only Dependency) + ["[1]/[0]" resolution (.only Resolution)]] + ["[1][0]" artifact (.only Artifact) + ["[1]/[0]" type (.only Type)]] ["[1][0]" repository "_" ["[1]/[0]" origin]]]]]) diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 4f4de026a..adaf85064 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\program ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 496e1cd78..3dd0a2dc5 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" version] ["[1][0]" pom] diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 7a1e7dc35..b014162ea 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try] [parser ["[0]" environment]] [concurrency - ["[0]" atom {"+" Atom}] - ["[0]" async {"+" Async}]]] + ["[0]" atom (.only Atom)] + ["[0]" async (.only Async)]]] [data ["[0]" binary] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection @@ -27,9 +27,9 @@ [time ["[0]" instant]] [world - [console {"+" Console}] - ["[0]" shell {"+" Exit Shell}] - ["[0]" program {"+" Program}] + [console (.only Console)] + ["[0]" shell (.only Exit Shell)] + ["[0]" program (.only Program)] ["[0]" file ["[0]" watch]]]]] ["[0]" // "_" @@ -38,11 +38,11 @@ [\\program ["[0]" / ["//[1]" /// "_" - [command {"+" Command}] - ["[1]" profile {"+" Profile}] + [command (.only Command)] + ["[1]" profile (.only Profile)] ["[1][0]" action] [dependency - [resolution {"+" Resolution}]]]]]) + [resolution (.only Resolution)]]]]]) (def: (command expected_runs end_signal fs dummy_file) (-> Nat Text (file.System Async) file.Path diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 4d813a8ad..ac25c782f 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - [io {"+" IO}] + [io (.only IO)] ["[0]" pipe] ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["[0]" environment]]] [data @@ -18,10 +18,10 @@ [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world ["[0]" file] - ["[0]" shell {"+" Shell}] + ["[0]" shell (.only Shell)] ["[0]" program]]]] ["[0]" // "_" ["@[0]" version] @@ -30,12 +30,12 @@ [\\program ["[0]" / ["//[1]" /// "_" - ["[1]" profile {"+" Profile}] + ["[1]" profile (.only Profile)] ["[1][0]" action] ["[1][0]" artifact ["[1]/[0]" type]] - ["[1][0]" dependency {"+" Dependency} - ["[1]/[0]" resolution {"+" Resolution}]]]]]) + ["[1][0]" dependency (.only Dependency) + ["[1]/[0]" resolution (.only Resolution)]]]]]) (def: .public good_shell (-> Any (Shell IO)) diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index 90dd9c8b9..12c563343 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -1,27 +1,27 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world - ["[0]" file {"+" Path}]]]] + ["[0]" file (.only Path)]]]] [// ["@[0]" version] [// @@ -34,7 +34,7 @@ ["[0]" / ["//[1]" /// "_" ["[1]" profile] - ["[1][0]" action {"+" Action}]]]]) + ["[1][0]" action (.only Action)]]]]) (def: node_name (Random Text) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 67e1bf702..a1d55a274 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["[0]" environment]]] [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] ["[0]" format "_" @@ -31,7 +31,7 @@ ["[0]" export]]]] [world ["[0]" file] - ["[0]" program {"+" Program}] + ["[0]" program (.only Program)] ["[0]" shell]]]] [// ["$[0]" build] @@ -47,10 +47,10 @@ ["[1][0]" action] ["[1][0]" pom] ["[1][0]" hash] - ["[1][0]" repository {"+" Repository} + ["[1][0]" repository (.only Repository) ["[1]/[0]" local] ["[1]/[0]" remote]] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" extension]]]]]) (def: (execute! program local remote fs artifact profile) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index aeffb80f5..f4a30323e 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate]] [control ["[0]" try] @@ -13,7 +13,7 @@ ["[0]" environment]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection @@ -22,7 +22,7 @@ [format ["[0]" xml]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world ["[0]" program] ["[0]" file]]]] diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index e0392fd56..e60f7d06c 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -1,27 +1,27 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["[0]" environment]]] [data ["[0]" binary] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math ["[0]" random]] [world ["[0]" file] - ["[0]" program {"+" Program}]]]] + ["[0]" program (.only Program)]]]] [// ["$[0]" version] [// @@ -32,7 +32,7 @@ ["/[1]" // "_" ["/[1]" // "_" ["[1]" profile] - ["[1][0]" action {"+" Action}] + ["[1][0]" action (.only Action)] ["[1][0]" local] ["[1][0]" artifact ["[1]/[0]" extension]] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 54312e388..84e225678 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index eec957702..520609c43 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -32,7 +32,7 @@ ["/[1]" // "_" ["[1][0]" build] ["/[1]" // "_" - ["[1]" profile {"+" Profile}] + ["[1]" profile (.only Profile)] ["[1][0]" action] ["[1][0]" artifact ["[1]/[0]" type]] diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 5a0fbf681..b8792434a 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random]] [meta @@ -21,7 +21,7 @@ [compiler ["[0]" version]]] [world - ["[0]" console {"+" Console Mock}]]]] + ["[0]" console (.only Console Mock)]]]] [/// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index bdc26bd7b..01fb3f6dc 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] ["$[0]" hash]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index f9f5e6763..d647ad815 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -1,33 +1,33 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - ["[0]" hash {"+" Hash}]] + [monad (.only do)] + ["[0]" hash (.only Hash)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] [concurrency - ["[0]" atom {"+" Atom}] + ["[0]" atom (.only Atom)] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world - [net {"+" URL} - ["[0]" uri {"+" URI}] + [net (.only URL) + ["[0]" uri (.only URI)] ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] @@ -37,13 +37,13 @@ ["[1][0]" package]]] [\\program ["[0]" / - [// {"+" Dependency} + [// (.only Dependency) ["[0]" resolution] [// ["[0]" profile] ["[0]" metadata] - ["[0]" package {"+" Package}] - ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence) + ["[0]" package (.only Package)] + ["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index e5db7fe3c..2455043f4 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" all} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] @@ -13,10 +13,10 @@ [concurrency ["[0]" async]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [format @@ -26,7 +26,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] ["$[0]" /// "_" ["[1][0]" package] ["[1][0]" repository] @@ -37,15 +37,15 @@ ["[0]" / ["//[1]" /// "_" ["[1]" profile] - ["[1][0]" package {"+" Package}] + ["[1][0]" package (.only Package)] ["[1][0]" hash] - ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence) + ["[1][0]" dependency (.only Dependency) ("[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type] ["[1]/[0]" extension]] - ["[1][0]" repository {"+" Mock} + ["[1][0]" repository (.only Mock) ["[1]/[0]" origin]]]]]) (def: random diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 5f221b4e4..f41c64825 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" binary "_" ["[1]T" \\test]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] ["$[0]" /// "_" ["[1][0]" hash]] [\\program diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 339c7c3b4..880d721b3 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -11,11 +11,11 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 5cc687a7b..87d9daa51 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data [text ["%" format] [encoding ["[0]" utf8]]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math ["[0]" random]] [world @@ -24,12 +24,12 @@ [\\program ["[0]" / ["/[1]" // "_" - ["[1]" profile {"+" Profile}] + ["[1]" profile (.only Profile)] ["[1][0]" project] ["[1][0]" action] ["[1][0]" format] [repository - [remote {"+" Address}]]]]]) + [remote (.only Address)]]]]]) (def: (with_default_source sources) (-> (Set //.Source) (Set //.Source)) diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index 58f1c019e..effbbfffb 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index 20c67f929..d4919de21 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 02f1a6611..ed3690608 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -21,7 +21,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] ["[0]" time diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 27cffb1f0..3c4bb2395 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -21,14 +21,14 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] ["[0]" time ["[0]" date] ["[0]" year] ["[0]" month] - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]] [world ["[0]" file] @@ -44,7 +44,7 @@ ["/[1]" // ["/[1]" // "_" [artifact - [versioning {"+" Versioning}] + [versioning (.only Versioning)] ["[1][0]" snapshot]] ["[1][0]" repository "_" ["[1]/[0]" local]]]]]]) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 4b95cd250..84e3005c5 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -14,11 +14,11 @@ [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index c63d1701c..038037372 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}]] + [monad (.only do)] + [hash (.only Hash)]] [control ["[0]" pipe] ["[0]" try] @@ -13,11 +13,11 @@ [data ["[0]" text] [collection - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [macro @@ -28,9 +28,9 @@ ["[0]" / ["/[1]" // "_" ["[1]" profile] - ["[1][0]" project {"+" Project}] - ["[1][0]" artifact {"+" Artifact}] - ["[1][0]" dependency {"+" Dependency}] + ["[1][0]" project (.only Project)] + ["[1][0]" artifact (.only Artifact)] + ["[1][0]" dependency (.only Dependency)] ["[1][0]" format]]]]) (def: name diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index ac8869c54..edaeca6cc 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 8bccf4459..7dd2981bf 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -15,10 +15,10 @@ [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [tool @@ -34,10 +34,10 @@ ["[0]" / ["/[1]" // "_" ["[1][0]" runtime] - ["[1][0]" dependency {"+" Dependency}] + ["[1][0]" dependency (.only Dependency)] ["[1][0]" format] [repository - [remote {"+" Address}]]]]]) + [remote (.only Address)]]]]]) (def: distribution (Random /.Distribution) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 748ea922d..68e3c0e6d 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [// diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 80d3f43e9..465d46709 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,27 +1,27 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [control ["[0]" io] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" / "_" ["[1][0]" identity] ["[1][0]" origin] @@ -35,8 +35,8 @@ ["[0]" / ["[0]" remote] ["/[1]" // "_" - ["[1][0]" artifact {"+" Version Artifact} - ["[1]/[0]" extension {"+" Extension}]]]]]) + ["[1][0]" artifact (.only Version Artifact) + ["[1]/[0]" extension (.only Extension)]]]]]) (def: artifact (-> Version Artifact) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index e1b67e424..9dbd6a858 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 9c9703d55..d8867b598 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [parser diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 90a0f89dd..2f652b513 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index c20722d4c..79c4987a0 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" monad)] ["[0]" exception] @@ -13,15 +13,15 @@ [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world - [net {"+" URL} + [net (.only URL) ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 690657d70..a324b2dd4 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 79265e7b3..a4416f38d 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -1,39 +1,39 @@ (.`` (.`` (.using [library ["/" lux "*" - [program {"+" program:}] - ["_" test {"+" Test}] + [program (.only program:)] + ["_" test (.only Test)] ["@" target] ["[0]" static] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io] ["[0]" maybe ("[1]#[0]" functor)] [concurrency - ["[0]" atom {"+" Atom}]] + ["[0]" atom (.only Atom)]] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" set {"+" Set} ("[1]#[0]" equivalence)] + ["[0]" set (.only Set) ("[1]#[0]" equivalence)] [dictionary ["[0]" plist]]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["^" pattern] ["[0]" code ("[1]#[0]" equivalence)] ["[0]" template]] ["[0]" math ["[0]" random ("[1]#[0]" functor)] [number - [i8 {"+"}] - [i16 {"+"}] + [i8 (.only)] + [i16 (.only)] ["n" nat] ["i" int] ["r" rev] @@ -479,9 +479,9 @@ ("lux def module" [[<module/0> <alias>]]) [(<referral> <module/0> "*")]] - [(.using [<alias> <module/0>' {"+" <definition>}]) + [(.using [<alias> <module/0>' (.only <definition>)]) ("lux def module" [[<module/0> <alias>]]) - [(<referral> <module/0> {"+" <definition>})]] + [(<referral> <module/0> (.only <definition>))]] [(.using [<alias> <module/0>' {"-" <definition>}]) ("lux def module" [[<module/0> <alias>]]) diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index bd6cd3e03..1ebfc2e15 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" apply] ["[1][0]" codec] diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 04c0a1e7f..b3246f5ae 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe]] [data @@ -12,9 +12,9 @@ ["[0]" random] [number ["n" nat]]] - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] [\\library - ["[0]" / {"+" Apply}]]) + ["[0]" / (.only Apply)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index ecc1c7ca3..309defeda 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data ["[0]" bit ("[1]#[0]" equivalence)] [format - ["[0]" json {"+" JSON}]]] + ["[0]" json (.only JSON)]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library - ["[0]" / {"+" Codec} + ["[0]" / (.only Codec) [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: json (Codec JSON Bit) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index fce193ce1..fc93d760a 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -2,14 +2,14 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [data - ["[0]" identity {"+" Identity}]] + ["[0]" identity (.only Identity)]] [math ["[0]" random] [number ["n" nat]]] - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 32b6b2fa2..5ac04557f 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [functor {"+" Functor}] - [comonad {"+" CoMonad}] + [functor (.only Functor)] + [comonad (.only CoMonad)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" comonad]]] [control ["//" continuation]] [data [collection ["[0]" list] - ["[0]" stream {"+" Stream} ("[1]#[0]" comonad)]]] + ["[0]" stream (.only Stream) ("[1]#[0]" comonad)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 24992013b..e55be76cd 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -11,7 +11,7 @@ [collection ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 0168babc8..459f16c0f 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification [functor ["$[0]" contravariant]]]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] [\\library - ["[0]" / {"+" Equivalence}]]) + ["[0]" / (.only Equivalence)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index ac42df1ba..26994248c 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe]] [data @@ -14,7 +14,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Functor}]]) + ["[0]" / (.only Functor)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux index b491b1817..ee3af6607 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -1,9 +1,9 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["_" test (.only Test)]]] + [\\library + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 7b8f549ae..07359bc18 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification [functor ["$[0]" contravariant]]]] @@ -14,9 +14,9 @@ [number ["[0]" nat]]]]] [\\library - ["[0]" / {"+" Hash} + ["[0]" / (.only Hash) [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 8ad90d781..c3228b5a9 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" order] [\\specification ["$[0]" equivalence]]] @@ -14,11 +14,11 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Interval} ("#[0]" equivalence)]]) + ["[0]" / (.only Interval) ("#[0]" equivalence)]]) (template [<name> <cmp>] [(def: .public <name> diff --git a/stdlib/source/test/lux/abstract/mix.lux b/stdlib/source/test/lux/abstract/mix.lux index 96a870aa3..10c1db5c9 100644 --- a/stdlib/source/test/lux/abstract/mix.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data [collection ["[0]" list]]] @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Mix}]]) + ["[0]" / (.only Mix)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 91cdf402f..6a5d68ce4 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [data - ["[0]" identity {"+" Identity}] + ["[0]" identity (.only Identity)] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math @@ -11,7 +11,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Monad do}]]) + ["[0]" / (.only Monad do)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 9f53dfe2e..f39a7fb09 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [functor {"+" Functor}] - [apply {"+" Apply}] - [monad {"+" Monad do}] + [functor (.only Functor)] + [apply (.only Apply)] + [monad (.only Monad do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [data diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index c52ebcc36..094ad814b 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat] ["[0]" int]]]]] [\\library ["[0]" / [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index e6d30b8f9..22b390b40 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification [functor ["$[0]" contravariant]]]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library ["[0]" / [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 78e6167a8..fa1ad503d 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification ["$[0]" monoid] [functor @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index bbb3d869d..3761a6e11 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -1,7 +1,7 @@ (.using [library [lux {"-" function} - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" concatenative] ["[1][0]" concurrency "_" diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 1edbeccf4..fc2bfcd3e 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" sum] ["[0]" bit ("[1]#[0]" equivalence)]] @@ -17,7 +17,7 @@ ["r" rev] ["f" frac]]]]] [\\library - ["[0]" / {"+" word: => ||>}]]) + ["[0]" / (.only word: => ||>)]]) (def: stack_shuffling Test diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index fd99d624d..535e66bb4 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -1,28 +1,28 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO io}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO io)]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list] - ["[0]" sequence {"+" Sequence}]]] + ["[0]" sequence (.only Sequence)]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" actor: message:} + ["[0]" / (.only actor: message:) [// - ["[0]" atom {"+" Atom}] - ["[0]" async {"+" Async Resolver} ("[1]#[0]" monad)] + ["[0]" atom (.only Atom)] + ["[0]" async (.only Async Resolver) ("[1]#[0]" monad)] ["[0]" frp]]]]) (exception: got_wrecked) diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux index 0e59faf3d..39d2c8a28 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control @@ -23,7 +23,7 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" Atom}]]]]) + ["[0]" atom (.only Atom)]]]]) (def: injection (Injection /.Async) diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux index 04b80f7ca..48614cdac 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io]] [math diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index c5c84f492..9c552c888 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control ["[0]" try] ["[0]" exception] - ["[0]" io {"+" IO io}]] + ["[0]" io (.only IO io)]] [data [collection ["[0]" list ("[1]#[0]" mix monoid)] - ["[0]" sequence {"+" Sequence}]]] + ["[0]" sequence (.only Sequence)]]] [math ["[0]" random] [number @@ -25,8 +25,8 @@ [\\library ["[0]" / [// - ["[0]" async {"+" Async} ("[1]#[0]" monad)] - ["[0]" atom {"+" Atom atom}]]]]) + ["[0]" async (.only Async) ("[1]#[0]" monad)] + ["[0]" atom (.only Atom atom)]]]]) (def: injection (Injection /.Channel) diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 275613ebd..710084670 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" enum]] [control ["[0]" io] ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async}] - ["[0]" atom {"+" Atom}]]] + ["[0]" async (.only Async)] + ["[0]" atom (.only Atom)]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 6b0e64a57..9826808f3 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" Monad do}] + ["[0]" monad (.only Monad do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" io {"+" IO}]] + ["[0]" io (.only IO)]] [data ["[0]" product] [collection @@ -21,9 +21,9 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" Atom atom}] + ["[0]" atom (.only Atom atom)] ["[0]" async] - ["[0]" frp {"+" Channel}]]]]) + ["[0]" frp (.only Channel)]]]]) (def: injection (Injection /.STM) diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux index cebb90dd8..ef41bdc14 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io]] [time - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]] [math ["[0]" random] @@ -17,7 +17,7 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" Atom}] + ["[0]" atom (.only Atom)] ["[0]" async]]]]) (def: .public test diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index 062142453..8da80291a 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [data diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index fb69ebee8..225915128 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" exception:} + ["[0]" / (.only exception:) [// - ["[0]" try {"+" Try}]]]]) + ["[0]" try (.only Try)]]]]) (exception: an_exception) (exception: another_exception) diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index e6a9eb5b4..510fae5f4 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification ["$[0]" monoid]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index cf12b1fbf..e6ad2ce29 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/function/inline.lux b/stdlib/source/test/lux/control/function/inline.lux index 98bc73c3b..a992b6cb4 100644 --- a/stdlib/source/test/lux/control/function/inline.lux +++ b/stdlib/source/test/lux/control/function/inline.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 84abe3905..c01040b34 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] - ["[0]" state {"+" State} ("[1]#[0]" monad)]] + ["[0]" io (.only IO)] + ["[0]" state (.only State) ("[1]#[0]" monad)]] [data ["[0]" product] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor mix)]]] [macro ["^" pattern]] @@ -21,7 +21,7 @@ ["[0]" i64]]] [time ["[0]" instant] - ["[0]" duration {"+" Duration}]]]] + ["[0]" duration (.only Duration)]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index 8cb2ae3c6..6cabe7a62 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [predicate {"+" Predicate}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [predicate (.only Predicate)] + [monad (.only do)] [\\specification ["$[0]" monoid]]] [control - ["[0]" state {"+" State}]] + ["[0]" state (.only State)]] [data ["[0]" product] [collection @@ -17,7 +17,7 @@ [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 1b5c38f78..badf850a0 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index 52cdf2b8c..df063a508 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,7 +13,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" IO} + ["[0]" / (.only IO) [// ["[0]" function]]]]) diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux index 0c00be310..cc79c4b46 100644 --- a/stdlib/source/test/lux/control/lazy.lux +++ b/stdlib/source/test/lux/control/lazy.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] ["$[0]" equivalence]]] [data ["[0]" product]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Lazy}]]) + ["[0]" / (.only Lazy)]]) (def: injection (Injection Lazy) diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index e980121b7..b12b76f92 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -19,7 +19,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index fcb84271d..567a825b8 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [parser ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math @@ -23,10 +23,10 @@ [number ["n" nat]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]]]] [\\library - ["[0]" / {"+" Parser}]] + ["[0]" / (.only Parser)]] ["[0]" / "_" ["[1][0]" analysis] ["[1][0]" binary] diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index 92be5bc35..453138aaa 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try] @@ -15,7 +15,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int] @@ -25,8 +25,8 @@ ["[0]" symbol ("[1]#[0]" equivalence)]] [tool [compiler - [reference {"+" Constant} - [variable {"+"}]] + [reference (.only Constant) + [variable (.only)]] [language [lux ["[0]" analysis]]]]]]] diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 50f1bea42..9ede7e084 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type] [abstract - [equivalence {"+" Equivalence}] - [predicate {"+" Predicate}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [predicate (.only Predicate)] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe] @@ -18,7 +18,7 @@ ["[0]" sum] ["[0]" bit] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] ["[0]" format "_" @@ -31,7 +31,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" i64] diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index 69d9a20e7..5cfb0e2a2 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["<>" parser]] diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index c4e202aba..10202231e 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" local global} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function] ["[0]" try] @@ -17,7 +17,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" functor)] + ["[0]" random (.only Random) ("[1]#[0]" functor)] [number ["[0]" nat] ["[0]" int] diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index 3f1c4bd6d..5cf714641 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux index 40d48afab..775e03093 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe] @@ -17,13 +17,13 @@ ["[0]" list ("[1]#[0]" functor)] ["[0]" set] ["[0]" dictionary] - ["[0]" sequence {"+" sequence} ("[1]#[0]" functor)]] + ["[0]" sequence (.only sequence) ("[1]#[0]" functor)]] [format ["[0]" json]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 4cf859a46..901821c1f 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["<>" parser] ["[0]" try] @@ -16,7 +16,7 @@ [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" i64] @@ -25,12 +25,12 @@ ["[0]" symbol]] [tool [compiler - [reference {"+" } - ["[0]" variable {"+" Variable}]] + [reference (.only) + ["[0]" variable (.only Variable)]] [language [lux - [analysis {"+" Environment}] - ["[0]" synthesis {"+" Synthesis}]]]]]]] + [analysis (.only Environment)] + ["[0]" synthesis (.only Synthesis)]]]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 94f067ef7..b1ba8f9f7 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" Exception}] + ["[0]" try (.only Try)] + ["[0]" exception (.only Exception)] ["[0]" function]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] ["[0]" unicode "_" ["[1]" set] ["[1]/[0]" block]]] @@ -22,7 +22,7 @@ ["[0]" finger]]]] [math ["[0]" random] - [number {"+" hex} + [number (.only hex) ["n" nat]]] [macro ["^" pattern] diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux index 391e90014..5ba170c13 100644 --- a/stdlib/source/test/lux/control/parser/tree.lux +++ b/stdlib/source/test/lux/control/parser/tree.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 66f5114db..da05ecdc9 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index f3e19d428..b2bc6a83b 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] ["[0]" exception]] @@ -19,7 +19,7 @@ ["^" pattern] ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 3c1c53232..8644e36d7 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" debug] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" identity] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index fead04bfa..9471e2f93 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,9 +13,9 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Reader} + ["[0]" / (.only Reader) [// - ["[0]" io {"+" IO}]]]]) + ["[0]" io (.only IO)]]]]) (def: (injection value) (Injection (All (_ a r) (Reader r a))) diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index da40cde51..4a257cce6 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - [type {"+" sharing}] - ["_" test {"+" Test}] + [type (.only sharing)] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [functor {"+" Functor}] - [apply {"+" Apply}] - ["[0]" monad {"+" Monad do}] + [equivalence (.only Equivalence)] + [functor (.only Functor)] + [apply (.only Apply)] + ["[0]" monad (.only Monad do)] ["[0]" enum] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data [collection ["[0]" list]]] @@ -23,10 +23,10 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Region} + ["[0]" / (.only Region) [// - ["[0]" thread {"+" Thread}] - ["[0]" exception {"+" Exception exception:}]]]]) + ["[0]" thread (.only Thread)] + ["[0]" exception (.only Exception exception:)]]]]) (exception: oops) diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 575e99aac..0fcd8833c 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -1,30 +1,30 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" io] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - [number {"+" hex}] - ["[0]" random {"+" Random} ("[1]#[0]" monad)]] + [number (.only hex)] + ["[0]" random (.only Random) ("[1]#[0]" monad)]] [time - ["[0]" date {"+" Date}] + ["[0]" date (.only Date)] ["[0]" instant] ["[0]" duration]] ["[0]" macro ["[0]" code] - ["[0]" syntax {"+" syntax:}]]]] + ["[0]" syntax (.only syntax:)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index aa25ebd6c..c68e5454c 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] [concurrency ["[0]" async]]] [math diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index afa9b2bda..60279a089 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [data @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Context Privacy Can_Conceal Can_Reveal Privilege Private}]]) + ["[0]" / (.only Context Privacy Can_Conceal Can_Reveal Privilege Private)]]) (def: (injection can_conceal) (All (_ label) diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index d821f5e62..2014d74fe 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" State}]]) + ["[0]" / (.only State)]]) (def: (with_conditions [state output] computation) (-> [Nat Nat] (State Nat Nat) Bit) diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index ed83c132f..808936de6 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,7 +13,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Thread} + ["[0]" / (.only Thread) [// ["[0]" io]]]]) diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 1c9af6336..7229b588d 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] ["$[0]" equivalence]]] @@ -15,11 +15,11 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Try}]]) + ["[0]" / (.only Try)]]) (def: injection (Injection Try) diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 418024334..6dd67b4c4 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monoid {"+" Monoid}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monoid (.only Monoid)] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control @@ -20,7 +20,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Writer}]]) + ["[0]" / (.only Writer)]]) (def: (injection monoid value) (All (_ w) (-> (Monoid w) (Injection (Writer w)))) diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index dc85d5c14..c1af1c94b 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random]]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 9e4e8e6b6..02c8373cd 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,24 +1,24 @@ (.using [library [lux "*" - [ffi {"+"}] - ["_" test {"+" Test}] + [ffi (.only)] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" enum] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only Exception)]] [data [collection ["[0]" list ("[1]#[0]" functor)] [array - [\\unsafe {"+"}]]]] + [\\unsafe (.only)]]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" i64]]]]] diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 25e1c5c8e..9a8e2c0f3 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 42c962e59..3516bd626 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" array] ["[1][0]" bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 278394bd3..badba4922 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [functor {"+"}] - [monad {"+" do}] + [functor (.only)] + [monad (.only do)] ["[0]" monoid ["$[1]" \\specification]] - ["[0]" mix {"+" Mix} + ["[0]" mix (.only Mix) ["$[1]" \\specification]] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -21,11 +21,11 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Array} + ["[0]" / (.only Array) ["!" \\unsafe]]]) (def: injection diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 717ed5337..b4c9beda0 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Bits}]]) + ["[0]" / (.only Bits)]]) (def: (size min max) (-> Nat Nat (Random Nat)) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index b48338682..3bca9cf59 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 6e3acefa2..de575006c 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] - [order {"+" Order}] + [monad (.only do)] + [equivalence (.only Equivalence)] + [order (.only Order)] [\\specification ["$[0]" equivalence]]] [control @@ -17,7 +17,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index ecac86868..ce6ff1722 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -16,7 +16,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 9351adb21..65f32d8c5 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" enum] [\\specification ["$[0]" equivalence] @@ -25,7 +25,7 @@ [collection ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" int]]]]] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index ef8575e81..a8f4bdea6 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index c802d6368..3a966e63a 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Queue}]]) + ["[0]" / (.only Queue)]]) (def: .public (random size) (-> Nat (Random (Queue Nat))) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index f3c3bb0d0..43266f2a2 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid] ["$[0]" mix] - ["$[0]" functor {"+" Injection}] + ["$[0]" functor (.only Injection)] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception]] [data ["[0]" bit ("[1]#[0]" equivalence)] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index e42a3e3a7..798e768b4 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 93f7ef7e6..2bbd890e6 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -15,7 +15,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 429df3d21..36f3ebef6 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [order {"+" Order}] + [monad (.only do)] + [order (.only Order)] [\\specification ["$[0]" equivalence]]] [data @@ -12,11 +12,11 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Set} + ["[0]" / (.only Set) ["[0]" //]]]) (def: size diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 62844c59d..6ce39af67 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe]] [data diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index f06af6f9c..66a66a7cb 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] ["[0]" enum] [\\specification ["$[0]" functor] ["$[0]" comonad]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 0adcb50ba..d37ed210b 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" mix] @@ -13,11 +13,11 @@ [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Tree}]]) + ["[0]" / (.only Tree)]]) (def: .public (tree gen_value) (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 3fc005e70..131c758a2 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -14,7 +14,7 @@ ["[0]" random] [number ["n" nat]]] - [type {"+" by_example}]]] + [type (.only by_example)]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index b6b9a965f..02e2fc901 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" functor] @@ -22,7 +22,7 @@ ["n" nat]]]]] ["[0]" //] [\\library - ["[0]" / {"+" Zipper} + ["[0]" / (.only Zipper) ["tree" //]]]) (def: move diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index de615faaf..b7dfa7405 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -12,7 +12,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["f" frac] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 70663ba7c..d69ffca31 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data [collection ["[0]" list] @@ -11,7 +11,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only 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 571a1ef5a..19c429b90 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification ["$[0]" monoid]]] [data ["[0]" binary ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 63bbcab87..382f219ef 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -14,22 +14,22 @@ ["[0]" product] ["[0]" bit] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" sequence] ["[0]" dictionary] ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" frac]]] ["[0]" macro - ["[0]" syntax {"+" syntax:}] + ["[0]" syntax (.only syntax:)] ["[0]" code]]]] [\\library - ["[0]" / {"+" JSON} ("#[0]" equivalence)]]) + ["[0]" / (.only JSON) ("#[0]" equivalence)]]) (def: .public random (Random /.JSON) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index b4c57411f..243d9d3e3 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" binary ("[1]#[0]" equivalence monoid)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]] ["[0]" unicode "_" @@ -26,10 +26,10 @@ ["[0]" format "_" ["[1]" binary]]] [time - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 0e45f5d72..20b4593dc 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" char symbol} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" Monad do}] + [monad (.only Monad do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -14,20 +14,20 @@ ["</>" xml]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor)]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [meta ["[0]" symbol]]]] [\\library - ["[0]" / {"+" XML}]]) + ["[0]" / (.only XML)]]) (def: char_range Text diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 2e8c63f0b..c15ddf662 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] ["$[0]" comonad]]]]] [\\library - ["[0]" / {"+" Identity}]]) + ["[0]" / (.only Identity)]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 9f7465057..f908c32c0 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index f1b132062..ce9f1ae13 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 76e6f4ccb..80b4788ae 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" char} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index aefc51bf1..1540b6485 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index b0a70422c..3949cb8ba 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" codec]]] [control @@ -17,7 +17,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index a95ea21e9..a4bd1beec 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [\\specification - ["$[0]" codec]]] - [data - ["[0]" text]] - [math - ["[0]" random {"+" Random}]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["_" test (.only Test)] + [abstract + [\\specification + ["$[0]" codec]]] + [data + ["[0]" text]] + [math + ["[0]" random (.only Random)]]]] + [\\library + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index bcff2ef7d..b69cd62eb 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" debug] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -13,17 +13,17 @@ ["<[0]>" code]]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text {"+" Char} ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["[0]" text (.only Char) ("[1]#[0]" equivalence) + ["%" format (.only format)]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" Random}] - [number {"+" hex} + ["[0]" random (.only Random)] + [number (.only hex) ["n" nat]]]]] [\\library ["[0]" / diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 97a9005f8..b6f93d856 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] [functor [\\specification ["$[0]" contravariant]]]] @@ -25,7 +25,7 @@ ["[0]" duration] ["[0]" date]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] ["[0]" modulus] ["[0]" modular] [number diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 7488c1b83..c1896061e 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,23 +1,23 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try] [parser - ["<[0]>" text {"+" Parser}] + ["<[0]>" text (.only Parser)] ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex}] + [number (.only hex)] ["[0]" random]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index b7c79e556..77a739e90 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -16,8 +16,8 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] - [number {"+" hex} + ["[0]" random (.only Random)] + [number (.only hex) ["n" nat]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 66b35626a..11270eab3 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data @@ -12,7 +12,7 @@ [collection ["[0]" set ("[1]#[0]" equivalence)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 3965359b5..257b65790 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] @@ -12,25 +12,25 @@ ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]] [format - [json {"+" JSON}] - [xml {"+" XML}]]] + [json (.only JSON)] + [xml (.only XML)]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number - [ratio {"+" Ratio}]]] - [time {"+" Time} - [instant {"+" Instant}] - [date {"+" Date}] - [duration {"+" Duration}] - [month {"+" Month}] - [day {"+" Day}]]]] + [ratio (.only Ratio)]]] + [time (.only Time) + [instant (.only Instant)] + [date (.only Date)] + [duration (.only Duration)] + [month (.only Month)] + [day (.only Day)]]]] [\\library ["[0]" /]] ["$[0]" // "_" diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index 684556ecf..bf8c733b6 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [control ["[0]" try] @@ -14,7 +14,7 @@ [format ["md" markdown]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" template] ["[0]" code]]]] [\\library diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index 5eb545463..adb10d26c 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -17,7 +17,7 @@ ["[0]" name]])) (~~ (.these))))]] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] ["<>" parser @@ -28,7 +28,7 @@ ["[0]" binary] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" sequence] ["[0]" list ("[1]#[0]" functor)]] @@ -58,9 +58,9 @@ (~~ (.for "JVM" (~~ (.these ["[0]" jvm "_" ["[1]/[0]" runtime]])) (~~ (.these))))]]]]]] - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] [\\library - ["[0]" / {"+" analysis: synthesis: generation: directive:}]]))) + ["[0]" / (.only analysis: synthesis: generation: directive:)]]))) (def: dummy_generation "dummy generation") diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index e8fcd24f8..1bcf80cc2 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 9b842641e..ac1da7670 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] ["[0]" meta] ["[0]" debug] ["[0]" static] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -17,16 +17,16 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" array {"+" Array}]]] + ["[0]" array (.only Array)]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] - [number {"+" hex} + ["[0]" random (.only Random) ("[1]#[0]" monad)] + [number (.only hex) ["[0]" i64] ["n" nat] ["i" int ("[1]#[0]" equivalence)] diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index 76ea6d2f3..3843ee649 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io]] [math diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 3e397ad8c..3bb29b5f9 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["[0]" pipe]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index ae182a90e..75366d7d1 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index edef790f9..f54f2d5f4 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index c12690d67..b7ec2ecb5 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index ae182a90e..75366d7d1 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/ffi/export.js.lux b/stdlib/source/test/lux/ffi/export.js.lux index 20bd74c34..d507fb39d 100644 --- a/stdlib/source/test/lux/ffi/export.js.lux +++ b/stdlib/source/test/lux/ffi/export.js.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [math [number diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index bb8d092ce..8d8ddf5d5 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] ["[0]" debug] ["[0]" static] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) @@ -15,8 +15,8 @@ ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] - [number {"+" hex} + ["[0]" random (.only Random) ("[1]#[0]" monad)] + [number (.only hex) ["[0]" i64] ["[0]" int ("[1]#[0]" equivalence)] ["[0]" frac ("[1]#[0]" equivalence)]]]]] diff --git a/stdlib/source/test/lux/ffi/export.lua.lux b/stdlib/source/test/lux/ffi/export.lua.lux index cfa2de19f..40d1655cf 100644 --- a/stdlib/source/test/lux/ffi/export.lua.lux +++ b/stdlib/source/test/lux/ffi/export.lua.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [math [number diff --git a/stdlib/source/test/lux/ffi/export.py.lux b/stdlib/source/test/lux/ffi/export.py.lux index 20bd74c34..d507fb39d 100644 --- a/stdlib/source/test/lux/ffi/export.py.lux +++ b/stdlib/source/test/lux/ffi/export.py.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [math [number diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index 6ee3b8832..0e236eb53 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [math [number diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index 479cd3e45..a1bd05263 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["[0]" encoding {"+" Encoding}]] + ["[0]" encoding (.only Encoding)]] [collection ["[0]" list]]]]] ["[0]" / "_" @@ -19,8 +19,8 @@ ["[1][0]" territory]] [\\library ["[0]" / - ["[0]" language {"+" Language}] - ["[0]" territory {"+" Territory}]]]) + ["[0]" language (.only Language)] + ["[0]" territory (.only Territory)]]]) (def: random_language (Random Language) diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux index f7eaa7840..13b3b8120 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" hash]]] [control @@ -12,12 +12,12 @@ [data ["[0]" text] [collection - ["[0]" set {"+" Set}] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index 5548c3a6e..70520c307 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" hash]]] [control @@ -12,12 +12,12 @@ [data ["[0]" text] [collection - ["[0]" set {"+" Set}] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index d10b10547..f4bd0b604 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [parser @@ -12,13 +12,13 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" functor)] + ["[0]" random (.only Random) ("[1]#[0]" functor)] [number ["n" nat]]] ["[0]" meta @@ -26,7 +26,7 @@ ["[0]" symbol]]]] [\\library ["[0]" / - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code ("[1]#[0]" equivalence)] ["[0]" template]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 528ffdfe0..61a135c0f 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" product] ["[0]" text] [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux index 4678fe067..c0f621921 100644 --- a/stdlib/source/test/lux/macro/local.lux +++ b/stdlib/source/test/lux/macro/local.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -18,10 +18,10 @@ [dictionary ["[0]" plist]]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/pattern.lux b/stdlib/source/test/lux/macro/pattern.lux index c4819c59e..4251efa37 100644 --- a/stdlib/source/test/lux/macro/pattern.lux +++ b/stdlib/source/test/lux/macro/pattern.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [macro ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index c70bdc504..ae4c66db0 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control [parser ["<[0]>" code]]] diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index de933e033..af4f14934 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ ["<>" parser ["<[0]>" code]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [macro ["[0]" code ("[1]#[0]" equivalence)]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index ed89e605a..b957f857c 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index 2efc46208..461bb8de7 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [meta ["[0]" location]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index e40f34e4b..20bfccb07 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try ("[1]#[0]" functor)] @@ -12,7 +12,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index eb5f9b7b4..91340383b 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index 91b1a0587..94cac27d5 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index 403266486..fad3a4328 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -13,10 +13,10 @@ [collection ["[0]" list]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index a59f42a6e..4ba734cb2 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int] ["r" rev] ["f" frac] - ["[0]" ratio {"+" Ratio}] - ["[0]" complex {"+" Complex}]]]]] + ["[0]" ratio (.only Ratio)] + ["[0]" complex (.only Complex)]]]]] [\\library ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index f8d3554cd..75773a56d 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index 56386b590..ac80e45b6 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" monoid]]] [math diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index dd030636a..df0426e87 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification [functor ["$[0]" contravariant]]]] @@ -14,12 +14,12 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["r" rev]]]]] [\\library - ["[0]" / {"+" Fuzzy} + ["[0]" / (.only Fuzzy) ["/[1]" // "_" ["[1]" continuous]]]]) diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index 69c47f49f..ca3f69a40 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -18,7 +18,7 @@ ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["i" int]]]]] ["$[0]" // "_" diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index df4d22c6d..edae0b72a 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["i" int]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index d5a065984..5bb2627ba 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [control ["[0]" try]] [data diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index d2e2d152a..5c6d39995 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 9009727f5..6e1e7f225 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] ["[0]" ffi] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -17,7 +17,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// "*" diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index 6a20bd218..7d943f199 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index 9a77acb81..b0c07f014 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index c7c7b9445..16757cffe 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [data ["[0]" bit ("[1]#[0]" equivalence)]] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] ["$[0]" monoid]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / ("#[0]" equivalence) - [// {"+" hex} + [// (.only hex) ["n" nat] ["i" int]]]]) diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux index 23f91eca3..2a8e67563 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 02a8fe497..528766645 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -15,7 +15,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 9dfc823c9..e0b811210 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index de4afac08..ddc148678 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -14,7 +14,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index db2657d98..149b3462d 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -18,7 +18,7 @@ ["[0]" random]]]] [\\library ["[0]" / - [// {"+" hex} + [// (.only hex) ["n" nat] ["f" frac] ["[0]" i64 ("[1]#[0]" hash)]]]]) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 5919d32af..64ee4fda6 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -1,30 +1,30 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index 2bcb18f7e..c1016cd0b 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -19,10 +19,10 @@ [collection ["[0]" list]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index d76b386be..6023054e9 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" text]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]] ["$[0]" /// "_" diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index e7b7df738..7f1b6f41f 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [macro ["^" pattern]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 4f0f769f9..0df04027c 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -14,7 +14,7 @@ [data ["[0]" text]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index f600adb53..4d0f13aa9 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io] ["[0]" try] @@ -15,7 +15,7 @@ [collection ["[0]" list]]] [macro - [syntax {"+" syntax:}]] + [syntax (.only syntax:)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index ff411b83a..814db9332 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] ["[0]" meta] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix)]]] [macro diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux index 6c7436400..76a8dd403 100644 --- a/stdlib/source/test/lux/target.lux +++ b/stdlib/source/test/lux/target.lux @@ -1,12 +1,12 @@ (.using [library [lux {"-" all} - ["_" test {"+" Test}] + ["_" test (.only Test)] [data ["[0]" text] [collection ["[0]" list] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math [number ["n" nat]]]]] diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux index d127d21d7..44e61a1eb 100644 --- a/stdlib/source/test/lux/target/js.lux +++ b/stdlib/source/test/lux/target/js.lux @@ -1,26 +1,26 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate]] [control ["[0]" pipe] ["[0]" function] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text {"+" \n} ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["[0]" text (.only \n) ("[1]#[0]" equivalence) + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 2121dfc19..ca4bedee2 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1,10 +1,10 @@ (.using [library [lux {"-" Type Primitive Label type int} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] ["@" target] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" function] ["[0]" io] @@ -15,7 +15,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] ["[0]" format "_" ["[1]" binary]] [collection @@ -25,34 +25,34 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] - ["[0]" i32 {"+" I32}] + ["[0]" i32 (.only I32)] ["[0]" i64]]] - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] [\\library ["[0]" / "_" - ["[1][0]" loader {"+" Library}] + ["[1][0]" loader (.only Library)] ["[1][0]" version] ["[1][0]" modifier ("[1]#[0]" monoid)] ["[1][0]" field] - ["[1][0]" method {"+" Method}] + ["[1][0]" method (.only Method)] ["[1][0]" class] ["[1][0]" attribute ["[1]/[0]" code]] ["[1][0]" constant - ["[1]/[0]" pool {"+" Resource}]] + ["[1]/[0]" pool (.only Resource)]] [encoding ["[1][0]" name] ["[1][0]" signed] ["[1][0]" unsigned]] - ["[1]" bytecode {"+" Label Bytecode} + ["[1]" bytecode (.only Label Bytecode) ["[1][0]" instruction]] - ["[1][0]" type {"+" Type} - ["[0]" category {"+" Value Object Class}]]]]) + ["[1][0]" type (.only Type) + ["[0]" category (.only Value Object Class)]]]]) (def: method_modifier (all /modifier#composite diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index 631b754f5..b9be05d9e 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" ffi] ["[0]" static] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -13,17 +13,17 @@ ["[0]" pipe] ["[0]" function] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text {"+" \n} ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["[0]" text (.only \n) ("[1]#[0]" equivalence) + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 95f765d6b..28c3ca542 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" ffi] ["[0]" static] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -13,17 +13,17 @@ [control ["[0]" function] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux index 76269ebd5..c54d4f6ec 100644 --- a/stdlib/source/test/lux/target/ruby.lux +++ b/stdlib/source/test/lux/target/ruby.lux @@ -1,28 +1,28 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" ffi] ["[0]" debug] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)]] + ["[0]" try (.only Try) ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] - [number {"+" hex} + ["[0]" random (.only Random) ("[1]#[0]" monad)] + [number (.only hex) ["n" nat] ["i" int] ["f" frac] diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 94bfaa193..d8770edd3 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io] ["[0]" exception] [concurrency ["[0]" async] - ["[0]" atom {"+" Atom}]]] + ["[0]" atom (.only Atom)]]] [data ["[0]" text ("[1]#[0]" equivalence) ["%" format]] diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index 91bd45a3e..ecdb8099a 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -17,7 +17,7 @@ ["<[0]>" text]]] [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 5f341d04f..0230748b4 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -16,9 +16,9 @@ ["<[0]>" text]]] [data [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 85b387bca..4351d23b4 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -19,7 +19,7 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index f106e7730..6e7147df9 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -13,7 +13,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index b31bf3749..3d5a2a9bb 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -19,8 +19,8 @@ [math ["[0]" random]] [time - ["[0]" duration {"+" Duration}] - ["[0]" day {"+" Day} ("[1]#[0]" enum)]]]] + ["[0]" duration (.only Duration)] + ["[0]" day (.only Day) ("[1]#[0]" enum)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index 8bc9438ce..d14a3d404 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -19,7 +19,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index 3c47d811f..4a289c047 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -14,9 +14,9 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index 1388dd52e..645190f0f 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" [compiler ["[1][0]" arity] diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux index ad89541f5..a1351e746 100644 --- a/stdlib/source/test/lux/tool/compiler/arity.lux +++ b/stdlib/source/test/lux/tool/compiler/arity.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index f620d1a10..a1f2e288c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -12,7 +12,7 @@ ["[0]" function] ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)] @@ -21,7 +21,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux index 2a351ec37..f082131fe 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux index 01d4e8481..bad488f9e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] @@ -23,7 +23,7 @@ [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat ("[1]#[0]" interval)] ["i" int] @@ -34,7 +34,7 @@ ["/[1]" // "_" ["[1][0]" simple] ["[1][0]" complex] - ["[1][0]" pattern {"+" Pattern}]]]]) + ["[1][0]" pattern (.only Pattern)]]]]) (def: spread 16) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index b35d2f857..cbbe77a67 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] @@ -17,7 +17,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [meta @@ -26,11 +26,11 @@ ["[0]" configuration "_" ["$[1]" \\test]]] ["[0]" type ("[1]#[0]" equivalence) - ["[0]" check {"+" Check}]]]] + ["[0]" check (.only Check)]]]] [\\library ["[0]" / ["/[1]" // - [evaluation {"+" Eval}] + [evaluation (.only Eval)] ["[1][0]" macro] ["[1][0]" type] ["[1][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index 18fc868ec..60a8b7249 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -19,7 +19,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] ["[0]" meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index 96d27be9c..3fb7570f9 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -15,7 +15,7 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] ["[0]" meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index ac6ce0392..93d48bc89 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index 9de7bd8ec..5137bd082 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] ["[0]" type "_" @@ -28,7 +28,7 @@ [/// ["[1][0]" phase ("[1]#[0]" monad)] [reference - ["[1][0]" variable {"+" Register Variable}]]]]]]] + ["[1][0]" variable (.only Register Variable)]]]]]]] ["$[0]" // "_" ["[1][0]" type]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index ba3ba6096..d62fa8ebd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index b3634b2e8..a36f208c0 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)]] [data ["[0]" product]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [meta ["[0]" configuration "_" ["$[1]" \\test]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index 7e0445312..ee5121040 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] @@ -27,8 +27,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["/[1]" analysis {"+" Analysis Operation} - [evaluation {"+" Eval}] + ["/[1]" analysis (.only Analysis Operation) + [evaluation (.only Eval)] ["[1][0]" macro] ["[1][0]" scope] ["[1][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index a62410d37..0aa2bcefc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -26,7 +26,7 @@ ["[1]" lux]]] [// ["[1][0]" analysis - [evaluation {"+" Eval}] + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" scope] ["[2][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index cea405776..7bd276bf4 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monad monoid)] ["[0]" set]]] @@ -21,7 +21,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["f" frac]]] @@ -40,8 +40,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["[1][0]" analysis {"+" Analysis} - [evaluation {"+" Eval}] + ["[1][0]" analysis (.only Analysis) + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" type] ["[2][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 5f002867e..8ad5525f7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function] ["[0]" try ("[1]#[0]" functor)] @@ -34,8 +34,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["[1][0]" analysis {"+" Analysis} - [evaluation {"+" Eval}] + ["[1][0]" analysis (.only Analysis) + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" module] ["[2][0]" type diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index ff0b55372..7b33ea14e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index dceaee0b2..a96e09627 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] @@ -20,7 +20,7 @@ [/// ["[1][0]" extension] [// - ["[1][0]" analysis {"+" Analysis Operation} + ["[1][0]" analysis (.only Analysis Operation) ["[2][0]" type] ["[2][0]" module]] [/// diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index 3833dfa63..460162144 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -14,12 +14,12 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 712eaad17..5d4dc57f2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -1,14 +1,14 @@ (.using [lux {"-" i64 int primitive} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data - ["%" text/format {"+" format}]] - ["r" math/random {"+" Random}] - ["_" test {"+" Test}] + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + ["_" test (.only Test)] [control + [io (.only IO)] ["[0]" pipe] - [io {"+" IO}] ["[0]" try] [concurrency ["[0]" atom]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux index e64b9540a..9281ed4d6 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -1,6 +1,6 @@ (.using [lux "*" - ["_" test {"+" Test}]] + ["_" test (.only Test)]] ["[0]" / "_" ["[1][0]" primitive] ["[1][0]" structure] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index ee7bdec19..45587fb90 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -1,16 +1,16 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)]] [data ["[0]" sum] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat] ["[0]" int] @@ -20,7 +20,7 @@ ["[0]" list ("[1]#[0]" functor mix monoid)] ["[0]" set]]] [math - ["[0]" random {"+" Random}]]] + ["[0]" random (.only Random)]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -30,11 +30,11 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" Branch Match Analysis}] - ["[0]" synthesis {"+" Path Synthesis}] + ["[0]" analysis (.only Branch Match Analysis)] + ["[0]" synthesis (.only Path Synthesis)] [/// ["[1][0]" reference - [variable {"+" Register}]] + [variable (.only Register)]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 51f9d87b9..dda9657be 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -1,24 +1,24 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random}]]] + ["[0]" random (.only Random)]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -28,12 +28,12 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" Analysis}] - ["[0]" synthesis {"+" Synthesis}] + ["[0]" analysis (.only Analysis)] + ["[0]" synthesis (.only Synthesis)] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" reference - ["[0]" variable {"+" Variable}]] + ["[0]" variable (.only Variable)]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 2a6cb934b..22581ad24 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -1,8 +1,8 @@ (.using [lux {"-" structure loop function} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] @@ -12,16 +12,16 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]] [\\ ["[0]" / [//// - ["[0]" analysis {"+" Environment}] - ["/[1]" synthesis {"+" Member Path Synthesis}] + ["[0]" analysis (.only Environment)] + ["/[1]" synthesis (.only Member Path Synthesis)] [/// - [arity {"+" Arity}] - ["[0]" reference {"+" Constant} - ["[0]" variable {"+" Register Variable}]]]]]]) + [arity (.only Arity)] + ["[0]" reference (.only Constant) + ["[0]" variable (.only Register Variable)]]]]]]) (type: (Scenario a) (-> Register Arity Register (Random [Register [a a]]))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index 327a799ef..4987fd68e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -1,17 +1,17 @@ (.using [lux {"-" primitive} - [abstract ["[0]" monad {"+" do}]] + [abstract ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] [data - ["%" text/format {"+" format}] + ["%" text/format (.only format)] [number ["n" nat]] [collection ["[0]" list]]] - ["r" math/random {"+" Random} ("[1]#[0]" monad)] - ["_" test {"+" Test}] + ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["_" test (.only Test)] [meta ["[0]" symbol]]] [\\ @@ -21,8 +21,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" Analysis}] - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" analysis (.only Analysis)] + ["[1][0]" synthesis (.only Synthesis)] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 5cfb0ecd6..2824d8bb2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -1,11 +1,11 @@ (.using [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data - ["%" text/format {"+" format}]] - ["r" math/random {"+" Random}] - ["_" test {"+" Test}] + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + ["_" test (.only Test)] [control ["[0]" pipe] ["[0]" try]] @@ -27,8 +27,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" Analysis}] - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" analysis (.only Analysis)] + ["[1][0]" synthesis (.only Synthesis)] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index ee364756a..6f28d4c7a 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -1,28 +1,28 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [control ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]] [\\ ["[0]" / [//// ["[0]" analysis] - ["[0]" synthesis {"+" Side Member Path Synthesis}] + ["[0]" synthesis (.only Side Member Path Synthesis)] [/// [reference ["[0]" variable]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 21a76beb9..a3012d280 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -1,12 +1,12 @@ (.using [lux "*" - [abstract/monad {"+" do}] + [abstract/monad (.only do)] [data - ["%" text/format {"+" format}] + ["%" text/format (.only format)] [number ["n" nat]]] - ["r" math/random {"+" Random} ("[1]#[0]" monad)] - ["_" test {"+" Test}] + ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["_" test (.only Test)] [control ["[0]" try] [parser @@ -15,7 +15,7 @@ ["[0]" text] [collection ["[0]" list] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" code]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux index c828ed855..8af03a066 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" side] ["[1][0]" member]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux index ecd3cd328..7ac145e97 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux index f9156206e..260723bce 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 2a6910daa..1b17d8092 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 1d0851bbf..113ce4c0d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list] ["[0]" set ("[1]#[0]" equivalence)] ["[0]" sequence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux index e87df01d3..1988b08ae 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] ["[0]" / "_" ["[1][0]" category]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index 82722ddcb..6b9121203 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux index ff80c5289..76c0f4d7d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux index 5251a1c86..b0b4b82c6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 446a91717..c5ac2ce20 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -15,7 +15,7 @@ [format ["[0]" binary]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux index 289ab40fd..8fe22754c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index 1e8c54fba..a17aef45c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] @@ -13,13 +13,13 @@ ["[0]" product] ["[0]" text] [collection - ["[0]" sequence {"+" Sequence}] - ["[0]" set {"+" Set}] + ["[0]" sequence (.only Sequence)] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" mix functor)]] [format ["[0]" binary]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index 7321e07da..c8742968f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -16,7 +16,7 @@ [format ["[0]F" binary]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]] ["[0]" //// "_" diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux index fedec7da6..6b61c719a 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence] @@ -10,7 +10,7 @@ [collection ["[0]" set]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux index 27e3c1ded..714ea920a 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] [concurrency diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index 061dda399..3f8162726 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux index 319a19d7a..359af8fa4 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data ["[0]" binary ("[1]#[0]" equivalence) ["$[1]" \\test]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux index 7923e4929..439195dd2 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [math ["[0]" random]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux index 419b247c1..3b14ddc2f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -19,7 +19,7 @@ ["[0]" sequence] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 657015461..a2f07b465 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" monoid monad)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta @@ -25,7 +25,7 @@ ["$[1]" \\test]]]]] [\\library ["[0]" / - ["[1][0]" compiler {"+" Compiler}]]] + ["[1][0]" compiler (.only Compiler)]]] ["$[0]" / "_" ["[1][0]" compiler]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index accb94da5..37632c8a6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ ["<>" parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 954f34791..2787c89c9 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text] [collection ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index c2fb768b2..7e9c33b6f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -13,18 +13,18 @@ ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" bit ("[1]#[0]" equivalence)] [format ["[0]" tar]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index 1c59ed494..75bda2a9f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] @@ -14,20 +14,20 @@ ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" format "_" - ["[0]" tar {"+" Tar}] + ["[0]" tar (.only Tar)] ["[1]" binary]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence] ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index dd956f90f..fab36b2ae 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" monad]]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index e29fc64bf..61beee2c4 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,14 +11,14 @@ ["[0]" text ("[1]#[0]" equivalence) ["%" format]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta ["[0]" symbol ("[1]#[0]" equivalence)]]]] [\\library ["[0]" / - ["[0]" variable {"+" Register}]]] + ["[0]" variable (.only Register)]]] ["[0]" / "_" ["[1][0]" variable]]) diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux index 69db9b255..603975f04 100644 --- a/stdlib/source/test/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/version.lux b/stdlib/source/test/lux/tool/compiler/version.lux index f76f8651d..0e3028654 100644 --- a/stdlib/source/test/lux/tool/compiler/version.lux +++ b/stdlib/source/test/lux/tool/compiler/version.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 8fbc8a066..3a378cdde 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" symbol} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -19,7 +19,7 @@ ["^" pattern] ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index c5fb83a48..5dd6377ad 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,31 +1,31 @@ (.using [library [lux {"-" type symbol} - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control ["[0]" pipe] ["[0]" function] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index d057ed790..20363e7d4 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index aeba6758c..21b354d3b 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" }] - [functor {"+" }] - [monoid {"+" }] - [monad {"+" do}] + [equivalence (.only)] + [functor (.only)] + [monoid (.only)] + [monad (.only do)] ["[0]" enum]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux index 0850116fb..0a8552bd9 100644 --- a/stdlib/source/test/lux/type/poly.lux +++ b/stdlib/source/test/lux/type/poly.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] [\\library ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 47caf14ac..64b4c0e3c 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -1,11 +1,11 @@ (.using [library [lux {"-" Variant Record} - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence} + [monad (.only do)] + [equivalence (.only Equivalence) [\\poly ["[0]" /]]] [\\specification @@ -18,7 +18,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]]) diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux index e37d05dd0..617c6e31f 100644 --- a/stdlib/source/test/lux/type/poly/functor.lux +++ b/stdlib/source/test/lux/type/poly/functor.lux @@ -3,12 +3,12 @@ [lux "*" ["@" target] [abstract - [monad {"+" do}] - [functor {"+" Functor} + [monad (.only do)] + [functor (.only Functor) [\\poly ["[0]" /]]]] - ["r" math/random {"+" Random}] - ["_" test {"+" Test}] + ["r" math/random (.only Random)] + ["_" test (.only Test)] [control ["[0]" state]] [data diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux index 3e9c4cea1..d3e9459fe 100644 --- a/stdlib/source/test/lux/type/poly/json.lux +++ b/stdlib/source/test/lux/type/poly/json.lux @@ -1,13 +1,13 @@ (.using [library [lux {"-" Variant Record} - ["_" test {"+" Test}] + ["_" test (.only Test)] ["@" target] ["[0]" debug] [abstract codec - [monad {"+" do}] - ["[0]" equivalence {"+" Equivalence} + [monad (.only do)] + ["[0]" equivalence (.only Equivalence) ["poly/[1]" \\poly]] [\\specification ["$[0]" equivalence] @@ -16,22 +16,22 @@ ["[0]" try] ["p" parser ... TODO: Get rid of this import ASAP - [json {"+"}]]] + [json (.only)]]] [data ["[0]" bit] ["[0]" text] [format - [json {"+" JSON} + [json (.only JSON) [\\poly ["[0]" /]]]] [collection - [sequence {"+" sequence}] + [sequence (.only sequence)] ["d" dictionary] ["[0]" list]]] [type ["[0]" unit]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" frac]]] diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux index f438abcb2..65c537709 100644 --- a/stdlib/source/test/lux/type/primitive.lux +++ b/stdlib/source/test/lux/type/primitive.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -13,7 +13,7 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code] ["[0]" template]] ["[0]" math diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index f10d2a4c2..9809da7a0 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat ("[1]#[0]" equivalence)]]]]] [\\library diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 26617a2fc..04c914bad 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [predicate {"+" Predicate}] - [monad {"+" do}]] + [predicate (.only Predicate)] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" monad)]] [data diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index 755978e8c..89c65d03b 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -1,30 +1,30 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract ["[0]" monad - [indexed {"+" do}]]] + [indexed (.only do)]]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" try] - ["[0]" exception {"+" Exception}] + ["[0]" exception (.only Exception)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["<[0]>" code]]] [data - ["[0]" identity {"+" Identity}] + ["[0]" identity (.only Identity)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math ["[0]" random]]]] [\\library - ["[0]" / {"+" Res}]]) + ["[0]" / (.only Res)]]) (def: pure Test diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux index 306d4391a..a351c43ac 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -1,21 +1,21 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" debug] ["[0]" meta] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] [\\specification ["$[0]" equivalence] ["$[0]" order] ["$[0]" enum]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["i" int] ["[0]" ratio ("[1]#[0]" equivalence)]]]]] diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux index 8b7e62f1a..572b863db 100644 --- a/stdlib/source/test/lux/type/variance.lux +++ b/stdlib/source/test/lux/type/variance.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index 454a5a001..6e45123fc 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" file] ["[1][0]" shell] diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 29e8f66e5..263892a3c 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" io] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 0ff782b56..c37c0eb91 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -1,28 +1,28 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try}] + ["[0]" io (.only IO)] + ["[0]" try (.only Try)] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}] - ["[0]" atom {"+" Atom}]]] + ["[0]" async (.only Async)] + ["[0]" atom (.only Atom)]]] [data - ["[0]" binary {"+" Binary} ("[1]#[0]" monoid)] + ["[0]" binary (.only Binary) ("[1]#[0]" monoid)] ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list]]] [macro ["^" pattern]] [math ["[0]" random]] [time - ["[0]" instant {"+" Instant}]]]] + ["[0]" instant (.only Instant)]]]] ["[0]" / "_" ["[1][0]" watch]] [\\library diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 73e09ee96..e7beaa6a1 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -1,23 +1,23 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [predicate {"+" Predicate}] - [monad {"+" do}]] + [predicate (.only Predicate)] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" / ["/[1]" //]]] diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index 5e2e33364..2c77b4e0c 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection ["[0]" list] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 560162875..e0b57ccd2 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" Monad do}]] + [monad (.only Monad do)]] [control ["[0]" pipe] - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try}] + ["[0]" io (.only IO)] + ["[0]" try (.only Try)] ["[0]" function] [concurrency ["[0]" async ("[1]#[0]" functor)]]] @@ -15,13 +15,13 @@ ["[0]" binary] ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["[0]" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index 90ad92906..5ef42f25d 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -1,11 +1,11 @@ (.using [library [lux {"-" all} - ["_" test {"+" Test}] + ["_" test (.only Test)] [data [collection ["[0]" list] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 3d46dc916..6839d6c1e 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -12,9 +12,9 @@ [data [collection ["[0]" list] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 6c82d00da..88183a6cb 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" io] @@ -11,20 +11,20 @@ ["[0]" try] ["[0]" exception] [parser - [environment {"+" Environment}]]] + [environment (.only Environment)]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library ["[0]" / [// - [file {"+" Path}]]]] + [file (.only Path)]]]] [\\specification ["$[0]" /]]) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 1c51086d6..2a86ff9be 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser - ["[0]" environment {"+" Environment}]]] + ["[0]" environment (.only Environment)]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection @@ -24,7 +24,7 @@ [\\library ["[0]" / [// - [file {"+" Path}]]]] + [file (.only Path)]]]] [\\specification ["$[0]" /]]) |