diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation')
6 files changed, 43 insertions, 43 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) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 82dc698f9..6f7fe3b68 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -1,11 +1,11 @@ (.module: - [lux {"-" [i64]} - ["_" test {"+" [Test]}] + [lux {"-" i64} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] - ["[0]" try {"+" [Try]}]] + [pipe {"+" case>}] + ["[0]" try {"+" Try}]] [data ["[0]" bit ("[1]#[0]" equivalence)] [number @@ -14,11 +14,11 @@ ["i" int] ["f" frac]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list]]] [math - ["r" random {"+" [Random]}]] + ["r" random {"+" Random}]] [tool [compiler ["[0]" reference] @@ -26,7 +26,7 @@ ["[0]" // "_" ["[1][0]" case] [// - [common {"+" [Runner]}]]]) + [common {"+" Runner}]]]) (def: safe (-> Text Text) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 8250a8d71..0898eb48b 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -1,11 +1,11 @@ (.module: - [lux {"-" [function]} - ["_" test {"+" [Test]}] + [lux {"-" function} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" enum]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" maybe]] [data [number @@ -13,16 +13,16 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["r" random {"+" [Random]} ("[1]#[0]" monad)]] + ["r" random {"+" Random} ("[1]#[0]" monad)]] [tool [compiler - [analysis {"+" [Arity]}] - ["[0]" reference {"+" [Register]}] - ["[0]" synthesis {"+" [Synthesis]}]]]] + [analysis {"+" Arity}] + ["[0]" reference {"+" Register}] + ["[0]" synthesis {"+" Synthesis}]]]] ["[0]" // "_" ["[1][0]" case] [// - [common {"+" [Runner]}]]]) + [common {"+" Runner}]]]) (def: max_arity Arity diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 531b48c88..48de4d90e 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,24 +1,24 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try]] [data ["[0]" bit ("[1]#[0]" equivalence)] [number ["f" frac]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["r" random]] [tool [compiler ["[0]" synthesis]]]] [/// - [common {"+" [Runner]}]]) + [common {"+" 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 ddeab3146..d19aed0af 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -1,10 +1,10 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try]] [data [number @@ -15,9 +15,9 @@ ["[0]" reference] ["[0]" synthesis]]] [math - ["r" random {"+" [Random]}]]] + ["r" random {"+" Random}]]] [/// - [common {"+" [Runner Definer]}]]) + [common {"+" Runner Definer}]]) (def: name (Random Name) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 9045c60e1..40a00e8c6 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,10 +1,10 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" maybe] ["[0]" try]] [data @@ -12,19 +12,19 @@ ["n" nat] ["i" int]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection - ["[0]" array {"+" [Array]}] + ["[0]" array {"+" Array}] ["[0]" list ("[1]#[0]" functor)]]] [math ["r" random]] - ["[0]" ffi {"+" [import:]}] + ["[0]" ffi {"+" import:}] [tool [compiler ["[0]" analysis] ["[0]" synthesis]]]] [/// - [common {"+" [Runner]}]]) + [common {"+" Runner}]]) (import: java/lang/Integer) |