aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-06-03 22:08:18 -0400
committerEduardo Julian2022-06-03 22:08:18 -0400
commitf2172051a91bbb2578918dc784a053a321849b63 (patch)
tree5e49152d0992cadf9420a055cc24cabafc4e7972 /stdlib/source/specification
parent3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (diff)
Extensible import syntax [Part 5]
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux2
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux2
-rw-r--r--stdlib/source/specification/compositor/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux2
-rw-r--r--stdlib/source/specification/lux/world/console.lux2
-rw-r--r--stdlib/source/specification/lux/world/file.lux2
-rw-r--r--stdlib/source/specification/lux/world/program.lux2
-rw-r--r--stdlib/source/specification/lux/world/shell.lux2
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)]]