diff options
author | Eduardo Julian | 2022-06-02 13:56:01 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-02 13:56:01 -0400 |
commit | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (patch) | |
tree | 86bc717f0afb31042c7fc25d22a15eba6826a7ad /stdlib/source/specification | |
parent | 6d1dcfd9125b891b3425dd6fe27a91bdc959891e (diff) |
Extensible import syntax [Part 3]
Diffstat (limited to 'stdlib/source/specification')
23 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index d3a674857..8e9053349 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 8d17e5f48..d95e522fe 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,5 +1,5 @@ (.using - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 0f1be3da9..dc4b6645e 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,5 +1,5 @@ (.using - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 483468015..76f3be80f 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,5 +1,5 @@ (.using - [lux "*" + [lux (.full) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 6e61088c4..2010b412d 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,5 +1,5 @@ (.using - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 79e6374fb..c748bca03 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,5 +1,5 @@ (.using - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index b60c62b35..832d99343 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] ["[0]" type] [abstract diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index b191fe625..6fb116a8c 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 54abaf10a..a7d852351 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 28fb43653..7254c8b08 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 6088ac6d3..b94aac7f0 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index f01646fbe..1d6bea489 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index 9256f6019..89e6f3616 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index 0bc4e5e24..f039dd652 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index d146570fa..20d7f40ba 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)] diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index 877715bfc..22ef637c5 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index e7b894663..0d06089c5 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [math ["[0]" random] diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index dfed33ce8..9c28a1a94 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index e36c9ea61..91cbee66a 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index c767d5e71..4b7925983 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 27464c304..ee238b49d 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)] diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 5302deca4..b6f859b9c 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 8a173d696..710aa86c4 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["_" test (.only Test)] [abstract [monad (.only do)]] |