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.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index d1d0074fd..c7c221eb7 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -1,32 +1,32 @@
(.module:
- [lux (#- case)
- ["_" test (#+ Test)]
+ [lux {"-" [case]}
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
- ["." try (#+ Try)]]
+ [pipe {"+" [case>]}]
+ ["." try {"+" [Try]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[number
["n" nat]
["f" frac]]
[collection
["." list ("#\." mix)]]]
[math
- ["r" random (#+ Random)]]
+ ["r" random {"+" [Random]}]]
[tool
[compiler
["." reference]
["." analysis]
- ["." synthesis (#+ Path Synthesis)]
+ ["." synthesis {"+" [Path Synthesis]}]
["." phase
["#/." synthesis
["." case]]
["." extension/synthesis]]]]]
[///
- [common (#+ Runner)]])
+ [common {"+" [Runner]}]])
(def: limit Nat 10)