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