aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/case.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation/case.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux14
1 files changed, 7 insertions, 7 deletions
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)