diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 127 insertions, 127 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 699a6cc52..d3a674857 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" binary ["_[1]" \\test]]] @@ -17,7 +17,7 @@ ["[0]" / ["[1][0]" remote] ["/[1]" // "_" - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" extension]]]]] [\\test ["_[0]" // "_" diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index ebf509498..8d17e5f48 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,10 +1,10 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" try]] [math ["r" random]] @@ -13,12 +13,12 @@ ["[0]" analysis] ["[0]" directive] [phase - [macro {"+" Expander}] - [generation {"+" Bundle}]] + [macro (.only Expander)] + [generation (.only Bundle)]] [default - [platform {"+" Platform}]]]]] + [platform (.only Platform)]]]]] ["[0]" / "_" - ["[1][0]" common {"+" Runner Definer}] + ["[1][0]" common (.only Runner Definer)] ["[1]./" analysis "_" ["[1][0]" type]] ["[1]./" generation "_" diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 2cbc93cea..0f1be3da9 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,21 +1,21 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" io] ["[0]" try]] [math - ["r" random {"+" Random}]] + ["r" random (.only Random)]] [macro ["[0]" code]] [tool [compiler - [analysis {"+" State+}] + [analysis (.only State+)] ["[0]" phase - [macro {"+" Expander}] + [macro (.only Expander)] ["[0]" analysis ["[1]/[0]" scope] ["[1]/[0]" type]]]]]]) diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 58546822c..483468015 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,23 +1,23 @@ (.using [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try}]] + ["[0]" io (.only IO)] + ["[0]" try (.only Try)]] [tool [compiler ["[0]" reference] ["[0]" analysis] - ["[0]" synthesis {"+" Synthesis}] + ["[0]" synthesis (.only Synthesis)] ["[0]" directive] ["[0]" phase - ["[0]" macro {"+" Expander}] - ["[0]" generation {"+" Operation}] - [extension {"+" Extender} + ["[0]" macro (.only Expander)] + ["[0]" generation (.only Operation)] + [extension (.only Extender) ["[0]" bundle]]] [default - ["[0]" platform {"+" Platform}]]]]]) + ["[0]" platform (.only Platform)]]]]]) (type: .public Runner (-> Text Synthesis (Try Any))) 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) diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 3266925ce..b60c62b35 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Apply}]] + ["[0]" / (.only Apply)]] [// - [functor {"+" Injection Comparison}]]) + [functor (.only Injection Comparison)]]) (def: (identity injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index af4a3b157..b191fe625 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: .public (spec (open "@//[0]") (open "@//[0]") generator) (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test)) diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 4ef7f6b22..54abaf10a 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" CoMonad}]] + ["[0]" / (.only CoMonad)]] [// - [functor {"+" Injection Comparison}]]) + [functor (.only Injection Comparison)]]) (def: (left_identity injection (open "_//[0]")) (All (_ f) (-> (Injection f) (CoMonad f) Test)) diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 572550645..28fb43653 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 21b425f3d..6088ac6d3 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library - ["[0]" / {"+" Equivalence}]]) + ["[0]" / (.only Equivalence)]]) (def: .public (spec (open "/#[0]") random) (All (_ a) (-> (Equivalence a) (Random a) Test)) diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 9e2110a97..f01646fbe 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["[0]" function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Functor}]]) + ["[0]" / (.only Functor)]]) (type: .public (Injection f) (All (_ a) (-> a (f a)))) diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index 291476eb4..9256f6019 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["[0]" function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Functor}]]) + ["[0]" / (.only Functor)]]) (def: (identity equivalence value (open "@//[0]")) (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test)) diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index 29b5a2a2f..0bc4e5e24 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index 10e18cd81..d146570fa 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" order]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index 57b900a03..877715bfc 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random] [number ["n" nat]]]]] [// - [functor {"+" Injection Comparison}]] + [functor (.only Injection Comparison)]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 4344e5236..e7b894663 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" do}]] + ["[0]" / (.only do)]] [// - [functor {"+" Injection Comparison}]]) + [functor (.only Injection Comparison)]]) (def: (left_identity injection comparison (open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 815cf8c4d..dfed33ce8 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" / [// - [equivalence {"+" Equivalence}]]]]) + [equivalence (.only Equivalence)]]]]) (def: .public (spec (open "_#[0]") (open "_#[0]") gen_sample) (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test)) diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index 18d6b845f..e36c9ea61 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 38bb5ed8b..c767d5e71 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - [io {"+" IO}] + [io (.only IO)] ["[0]" try] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index da20b8d30..27464c304 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,23 +1,23 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate]] [control - [io {"+" IO}] + [io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8 ("[1]#[0]" codec)]]] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence monoid) + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence monoid) ["$[1]" \\test]] [collection ["[0]" list]]] @@ -26,7 +26,7 @@ [number ["n" nat]]] [time - ["[0]" instant {"+" Instant} ("[1]#[0]" equivalence)]]]] + ["[0]" instant (.only Instant) ("[1]#[0]" equivalence)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 08392541c..5302deca4 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text] [collection diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 7d136b7e1..8a173d696 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]] [parser - ["[0]" environment {"+" Environment}]]] + ["[0]" environment (.only Environment)]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number @@ -22,7 +22,7 @@ [\\library ["[0]" / [// - [file {"+" Path}]]]]) + [file (.only Path)]]]]) (template [<name> <command> <type> <prep>] [(def: <name> |