diff options
Diffstat (limited to '')
-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 8343cbb67..00de5e126 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>]}] - ["[0]" try {"+" [Try]}]] + [pipe {"+" case>}] + ["[0]" try {"+" Try}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [number ["n" nat] ["f" frac]] [collection ["[0]" list ("[1]#[0]" mix)]]] [math - ["r" random {"+" [Random]}]] + ["r" random {"+" Random}]] [tool [compiler ["[0]" reference] ["[0]" analysis] - ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" synthesis {"+" Path Synthesis}] ["[0]" phase ["[1]/[0]" synthesis ["[0]" case]] ["[0]" extension/synthesis]]]]] [/// - [common {"+" [Runner]}]]) + [common {"+" Runner}]]) (def: limit Nat 10) |