diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 27 insertions, 27 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index da7667c98..3c9dd8f2c 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 8e65e038d..aa2239cf7 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux "*" ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index d4f3a863b..c529d124c 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux "*" ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 21ab7b474..d9a7e1e24 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux "*" [abstract [monad {"+" do}]] diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 6206fa3a1..7d6c81a7b 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux {"-" case} ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 6f7fe3b68..88f13e2ae 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux {"-" i64} ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 0898eb48b..c03971eef 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux {"-" function} ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 7821f793b..c7d486553 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux "*" ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index 2438074a4..b3f270445 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux {"-" symbol} ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 256b52b78..bf852085d 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,4 +1,4 @@ -(.module: +(.using [lux "*" ["_" test {"+" Test}] [abstract diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 00629ed8a..867a7b76f 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 652a4ef42..c220c8de6 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 21246511d..97ccee43e 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 0b0d6a521..48e67fcf5 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 560f7f8fb..84bcea50f 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index a6c9f9d03..2d5e6b11d 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index d7c5ed28a..45401b15d 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index 28e854087..4ba0e5f53 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index b4c3d1710..6994353f1 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index d444b5127..c6413c601 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 60a6bfdac..132e9eeb2 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index bf4fb1cf1..c3857dbbb 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index fdf02e346..fd5560710 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 60faeaa6a..e40230f94 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index b107c5483..c6a4f3faf 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 69031e3c6..b7c742164 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index c38227933..8897596ba 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,4 +1,4 @@ -(.module: +(.using [library [lux "*" ["_" test {"+" Test}] |