diff options
author | Eduardo Julian | 2022-06-03 22:08:18 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-03 22:08:18 -0400 |
commit | f2172051a91bbb2578918dc784a053a321849b63 (patch) | |
tree | 5e49152d0992cadf9420a055cc24cabafc4e7972 /stdlib/source/specification | |
parent | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (diff) |
Extensible import syntax [Part 5]
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 1e39c009b..d35058c45 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 51e274453..99d991c0f 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,5 +1,5 @@ (.using - [lux (.full) + [lux (.except) ["_" 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 dc4b6645e..6a0a3acf0 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,5 +1,5 @@ (.using - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 76f3be80f..5e197472b 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,5 +1,5 @@ (.using - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 2010b412d..375cdf94c 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,5 +1,5 @@ (.using - [lux (.full) + [lux (.except) ["_" 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 c748bca03..e43533acb 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,5 +1,5 @@ (.using - [lux (.full) + [lux (.except) ["_" 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 832d99343..fcb51c926 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 3c6a05a11..59d8b5104 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 a7d852351..6486cecd8 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 7254c8b08..6e48b6521 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 b94aac7f0..8454e002a 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 1d6bea489..cc53413ca 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 89e6f3616..b89e6cd6a 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 (.full) + [lux (.except) ["_" 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 f039dd652..a1c4d4880 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 20d7f40ba..567ac7cbb 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 22ef637c5..519f1249e 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 0d06089c5..70911488b 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 0082a5c22..1786919f4 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 91cbee66a..365164c19 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 e373596c4..e80610389 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 ee238b49d..6075f38c7 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 b6f859b9c..26371c1e6 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" 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 1ebabbd0b..3bff4626d 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] |