diff options
Diffstat (limited to '')
6 files changed, 34 insertions, 34 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) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index e93a46c29..b20c2e646 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -1,11 +1,11 @@ (.using [lux {"-" i64} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" bit ("[1]#[0]" equivalence)] [number @@ -14,13 +14,13 @@ ["i" int] ["f" frac]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list]]] [macro ["^" pattern]] [math - ["r" random {"+" Random}]] + ["r" random (.only Random)]] [tool [compiler ["[0]" reference] @@ -28,7 +28,7 @@ ["[0]" // "_" ["[1][0]" case] [// - [common {"+" Runner}]]]) + [common (.only Runner)]]]) (def: safe (-> Text Text) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 33db49436..b49305c50 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -1,8 +1,8 @@ (.using [lux {"-" function} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" enum]] [control ["[0]" maybe]] @@ -12,16 +12,16 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["r" random {"+" Random} ("[1]#[0]" monad)]] + ["r" random (.only Random) ("[1]#[0]" monad)]] [tool [compiler - [analysis {"+" Arity}] - ["[0]" reference {"+" Register}] - ["[0]" synthesis {"+" Synthesis}]]]] + [analysis (.only Arity)] + ["[0]" reference (.only Register)] + ["[0]" synthesis (.only Synthesis)]]]] ["[0]" // "_" ["[1][0]" case] [// - [common {"+" Runner}]]]) + [common (.only Runner)]]]) (def: max_arity Arity diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index d79b226c3..6e61088c4 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,8 +1,8 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] @@ -11,14 +11,14 @@ [number ["f" frac]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["r" random]] [tool [compiler ["[0]" synthesis]]]] [/// - [common {"+" Runner}]]) + [common (.only 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 f0893573f..56bb78a2f 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -1,8 +1,8 @@ (.using [lux {"-" symbol} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] @@ -15,9 +15,9 @@ ["[0]" reference] ["[0]" synthesis]]] [math - ["r" random {"+" Random}]]] + ["r" random (.only Random)]]] [/// - [common {"+" Runner Definer}]]) + [common (.only Runner Definer)]]) (def: symbol (Random Symbol) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 3080f6abd..79e6374fb 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,8 +1,8 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe] @@ -12,19 +12,19 @@ ["n" nat] ["i" int]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" array {"+" Array}] + ["[0]" array (.only Array)] ["[0]" list ("[1]#[0]" functor)]]] [math ["r" random]] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [tool [compiler ["[0]" analysis] ["[0]" synthesis]]]] [/// - [common {"+" Runner}]]) + [common (.only Runner)]]) (import: java/lang/Integer) |