diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation/case.lux')
-rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 18 |
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) |