aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-06-02 13:56:01 -0400
committerEduardo Julian2022-06-02 13:56:01 -0400
commit0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (patch)
tree86bc717f0afb31042c7fc25d22a15eba6826a7ad /stdlib/source/specification
parent6d1dcfd9125b891b3425dd6fe27a91bdc959891e (diff)
Extensible import syntax [Part 3]
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 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)]]