aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux10
-rw-r--r--stdlib/source/specification/compositor.lux14
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux10
-rw-r--r--stdlib/source/specification/compositor/common.lux16
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux14
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux12
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux14
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux12
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux6
-rw-r--r--stdlib/source/specification/lux/world/console.lux10
-rw-r--r--stdlib/source/specification/lux/world/file.lux14
-rw-r--r--stdlib/source/specification/lux/world/program.lux6
-rw-r--r--stdlib/source/specification/lux/world/shell.lux12
27 files changed, 127 insertions, 127 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 699a6cc52..d3a674857 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -1,13 +1,13 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
- ["[0]" try {"+" Try}]
+ ["[0]" try (.only Try)]
[concurrency
- ["[0]" async {"+" Async}]]]
+ ["[0]" async (.only Async)]]]
[data
["[0]" binary
["_[1]" \\test]]]
@@ -17,7 +17,7 @@
["[0]" /
["[1][0]" remote]
["/[1]" // "_"
- ["[1][0]" artifact {"+" Artifact}
+ ["[1][0]" artifact (.only Artifact)
["[1]/[0]" extension]]]]]
[\\test
["_[0]" // "_"
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index ebf509498..8d17e5f48 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,10 +1,10 @@
(.using
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
- ["[0]" io {"+" IO}]
+ ["[0]" io (.only IO)]
["[0]" try]]
[math
["r" random]]
@@ -13,12 +13,12 @@
["[0]" analysis]
["[0]" directive]
[phase
- [macro {"+" Expander}]
- [generation {"+" Bundle}]]
+ [macro (.only Expander)]
+ [generation (.only Bundle)]]
[default
- [platform {"+" Platform}]]]]]
+ [platform (.only Platform)]]]]]
["[0]" / "_"
- ["[1][0]" common {"+" Runner Definer}]
+ ["[1][0]" common (.only Runner Definer)]
["[1]./" analysis "_"
["[1][0]" type]]
["[1]./" generation "_"
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 2cbc93cea..0f1be3da9 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -1,21 +1,21 @@
(.using
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
["[0]" io]
["[0]" try]]
[math
- ["r" random {"+" Random}]]
+ ["r" random (.only Random)]]
[macro
["[0]" code]]
[tool
[compiler
- [analysis {"+" State+}]
+ [analysis (.only State+)]
["[0]" phase
- [macro {"+" Expander}]
+ [macro (.only Expander)]
["[0]" analysis
["[1]/[0]" scope]
["[1]/[0]" type]]]]]])
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 58546822c..483468015 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -1,23 +1,23 @@
(.using
[lux "*"
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
- ["[0]" io {"+" IO}]
- ["[0]" try {"+" Try}]]
+ ["[0]" io (.only IO)]
+ ["[0]" try (.only Try)]]
[tool
[compiler
["[0]" reference]
["[0]" analysis]
- ["[0]" synthesis {"+" Synthesis}]
+ ["[0]" synthesis (.only Synthesis)]
["[0]" directive]
["[0]" phase
- ["[0]" macro {"+" Expander}]
- ["[0]" generation {"+" Operation}]
- [extension {"+" Extender}
+ ["[0]" macro (.only Expander)]
+ ["[0]" generation (.only Operation)]
+ [extension (.only Extender)
["[0]" bundle]]]
[default
- ["[0]" platform {"+" Platform}]]]]])
+ ["[0]" platform (.only Platform)]]]]])
(type: .public Runner
(-> Text Synthesis (Try Any)))
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 1e5502e17..bfc499232 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -1,32 +1,32 @@
(.using
[lux {"-" case}
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try {"+" Try}]]
+ ["[0]" try (.only Try)]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]
+ ["%" format (.only format)]]
[number
["n" nat]
["f" frac]]
[collection
["[0]" list ("[1]#[0]" mix)]]]
[math
- ["r" random {"+" Random}]]
+ ["r" random (.only Random)]]
[tool
[compiler
["[0]" reference]
["[0]" analysis]
- ["[0]" synthesis {"+" Path Synthesis}]
+ ["[0]" synthesis (.only Path Synthesis)]
["[0]" phase
["[1]/[0]" synthesis
["[0]" case]]
["[0]" extension/synthesis]]]]]
[///
- [common {"+" Runner}]])
+ [common (.only Runner)]])
(def: limit Nat 10)
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index e93a46c29..b20c2e646 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -1,11 +1,11 @@
(.using
[lux {"-" i64}
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try {"+" Try}]]
+ ["[0]" try (.only Try)]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[number
@@ -14,13 +14,13 @@
["i" int]
["f" frac]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]
+ ["%" format (.only format)]]
[collection
["[0]" list]]]
[macro
["^" pattern]]
[math
- ["r" random {"+" Random}]]
+ ["r" random (.only Random)]]
[tool
[compiler
["[0]" reference]
@@ -28,7 +28,7 @@
["[0]" // "_"
["[1][0]" case]
[//
- [common {"+" Runner}]]])
+ [common (.only Runner)]]])
(def: safe
(-> Text Text)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 33db49436..b49305c50 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,8 +1,8 @@
(.using
[lux {"-" function}
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]
+ [monad (.only do)]
["[0]" enum]]
[control
["[0]" maybe]]
@@ -12,16 +12,16 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["r" random {"+" Random} ("[1]#[0]" monad)]]
+ ["r" random (.only Random) ("[1]#[0]" monad)]]
[tool
[compiler
- [analysis {"+" Arity}]
- ["[0]" reference {"+" Register}]
- ["[0]" synthesis {"+" Synthesis}]]]]
+ [analysis (.only Arity)]
+ ["[0]" reference (.only Register)]
+ ["[0]" synthesis (.only Synthesis)]]]]
["[0]" // "_"
["[1][0]" case]
[//
- [common {"+" Runner}]]])
+ [common (.only Runner)]]])
(def: max_arity
Arity
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index d79b226c3..6e61088c4 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -1,8 +1,8 @@
(.using
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
["[0]" try]]
@@ -11,14 +11,14 @@
[number
["f" frac]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]]
+ ["%" format (.only format)]]]
[math
["r" random]]
[tool
[compiler
["[0]" synthesis]]]]
[///
- [common {"+" Runner}]])
+ [common (.only Runner)]])
(def: (f/=' reference subject)
(-> Frac Frac Bit)
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index f0893573f..56bb78a2f 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,8 +1,8 @@
(.using
[lux {"-" symbol}
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
["[0]" try]]
@@ -15,9 +15,9 @@
["[0]" reference]
["[0]" synthesis]]]
[math
- ["r" random {"+" Random}]]]
+ ["r" random (.only Random)]]]
[///
- [common {"+" Runner Definer}]])
+ [common (.only Runner Definer)]])
(def: symbol
(Random Symbol)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 3080f6abd..79e6374fb 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -1,8 +1,8 @@
(.using
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" pipe]
["[0]" maybe]
@@ -12,19 +12,19 @@
["n" nat]
["i" int]]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]
+ ["%" format (.only format)]]
[collection
- ["[0]" array {"+" Array}]
+ ["[0]" array (.only Array)]
["[0]" list ("[1]#[0]" functor)]]]
[math
["r" random]]
- ["[0]" ffi {"+" import:}]
+ ["[0]" ffi (.only import:)]
[tool
[compiler
["[0]" analysis]
["[0]" synthesis]]]]
[///
- [common {"+" Runner}]])
+ [common (.only Runner)]])
(import: java/lang/Integer)
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 3266925ce..b60c62b35 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -1,20 +1,20 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
["[0]" type]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" function]]
[math
- ["[0]" random {"+" Random}]
+ ["[0]" random (.only Random)]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" Apply}]]
+ ["[0]" / (.only Apply)]]
[//
- [functor {"+" Injection Comparison}]])
+ [functor (.only Injection Comparison)]])
(def: (identity injection comparison (open "/#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index af4a3b157..b191fe625 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -1,17 +1,17 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" try]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" Equivalence}]]]])
+ [equivalence (.only Equivalence)]]]])
(def: .public (spec (open "@//[0]") (open "@//[0]") generator)
(All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 4ef7f6b22..54abaf10a 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -1,17 +1,17 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" CoMonad}]]
+ ["[0]" / (.only CoMonad)]]
[//
- [functor {"+" Injection Comparison}]])
+ [functor (.only Injection Comparison)]])
(def: (left_identity injection (open "_//[0]"))
(All (_ f) (-> (Injection f) (CoMonad f) Test))
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 572550645..28fb43653 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -1,11 +1,11 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 21b425f3d..6088ac6d3 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -1,15 +1,15 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
- ["[0]" / {"+" Equivalence}]])
+ ["[0]" / (.only Equivalence)]])
(def: .public (spec (open "/#[0]") random)
(All (_ a) (-> (Equivalence a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 9e2110a97..f01646fbe 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -1,10 +1,10 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
+ [equivalence (.only Equivalence)]
+ [monad (.only do)]]
[control
["[0]" function]]
[math
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" Functor}]])
+ ["[0]" / (.only Functor)]])
(type: .public (Injection f)
(All (_ a) (-> a (f a))))
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 291476eb4..9256f6019 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -1,10 +1,10 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
+ [equivalence (.only Equivalence)]
+ [monad (.only do)]]
[control
["[0]" function]]
[math
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" Functor}]])
+ ["[0]" / (.only Functor)]])
(def: (identity equivalence value (open "@//[0]"))
(All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index 29b5a2a2f..0bc4e5e24 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -1,11 +1,11 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
- ["[0]" random {"+" Random}]
+ ["[0]" random (.only Random)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index 10e18cd81..d146570fa 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -1,12 +1,12 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]
+ [monad (.only do)]
["[0]" order]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index 57b900a03..877715bfc 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -1,15 +1,15 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
["[0]" random]
[number
["n" nat]]]]]
[//
- [functor {"+" Injection Comparison}]]
+ [functor (.only Injection Comparison)]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 4344e5236..e7b894663 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -1,15 +1,15 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" do}]]
+ ["[0]" / (.only do)]]
[//
- [functor {"+" Injection Comparison}]])
+ [functor (.only Injection Comparison)]])
(def: (left_identity injection comparison (open "_//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 815cf8c4d..dfed33ce8 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -1,15 +1,15 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" Equivalence}]]]])
+ [equivalence (.only Equivalence)]]]])
(def: .public (spec (open "_#[0]") (open "_#[0]") gen_sample)
(All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 18d6b845f..e36c9ea61 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -1,11 +1,11 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[math
- ["[0]" random {"+" Random}]]]]
+ ["[0]" random (.only Random)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 38bb5ed8b..c767d5e71 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -1,17 +1,17 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
- [io {"+" IO}]
+ [io (.only IO)]
["[0]" try]
[concurrency
- ["[0]" async {"+" Async}]]]
+ ["[0]" async (.only Async)]]]
[data
["[0]" text
- ["%" format {"+" format}]]]
+ ["%" format (.only format)]]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index da20b8d30..27464c304 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -1,23 +1,23 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]
+ [monad (.only do)]
["[0]" predicate]]
[control
- [io {"+" IO}]
+ [io (.only IO)]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
[concurrency
- ["[0]" async {"+" Async}]]]
+ ["[0]" async (.only Async)]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]
+ ["%" format (.only format)]
[encoding
["[0]" utf8 ("[1]#[0]" codec)]]]
- ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence monoid)
+ ["[0]" binary (.only Binary) ("[1]#[0]" equivalence monoid)
["$[1]" \\test]]
[collection
["[0]" list]]]
@@ -26,7 +26,7 @@
[number
["n" nat]]]
[time
- ["[0]" instant {"+" Instant} ("[1]#[0]" equivalence)]]]]
+ ["[0]" instant (.only Instant) ("[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 08392541c..5302deca4 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -1,13 +1,13 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" try]
[concurrency
- ["[0]" async {"+" Async}]]]
+ ["[0]" async (.only Async)]]]
[data
["[0]" text]
[collection
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 7d136b7e1..8a173d696 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -1,19 +1,19 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" try ("[1]#[0]" functor)]
[concurrency
- ["[0]" async {"+" Async} ("[1]#[0]" monad)]]
+ ["[0]" async (.only Async) ("[1]#[0]" monad)]]
[parser
- ["[0]" environment {"+" Environment}]]]
+ ["[0]" environment (.only Environment)]]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]]
+ ["%" format (.only format)]]]
[math
["[0]" random]
[number
@@ -22,7 +22,7 @@
[\\library
["[0]" /
[//
- [file {"+" Path}]]]])
+ [file (.only Path)]]]])
(template [<name> <command> <type> <prep>]
[(def: <name>