diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
46 files changed, 855 insertions, 809 deletions
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 ["." /]]) |