diff options
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 137 insertions, 137 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 7ed477767..da7667c98 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data ["[0]" binary ["_[1]" \\test]]] @@ -17,7 +17,7 @@ ["[0]" / ["[1][0]" remote] ["/[1]" // "_" - ["[1][0]" artifact {"+" [Artifact]} + ["[1][0]" artifact {"+" Artifact} ["[1]/[0]" extension]]]]] [\\test ["_[0]" // "_" diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 832273cd3..8e65e038d 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,10 +1,10 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" io {"+" [IO]}] + ["[0]" io {"+" IO}] ["[0]" try]] [math ["r" random]] @@ -13,12 +13,12 @@ ["[0]" analysis] ["[0]" directive] [phase - [macro {"+" [Expander]}] - [generation {"+" [Bundle]}]] + [macro {"+" Expander}] + [generation {"+" Bundle}]] [default - [platform {"+" [Platform]}]]]]] + [platform {"+" Platform}]]]]] ["[0]" / "_" - ["[1][0]" common {"+" [Runner Definer]}] + ["[1][0]" common {"+" 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 bd8da0f38..d4f3a863b 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -1,21 +1,21 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" io] ["[0]" try]] [math - ["r" random {"+" [Random]}]] + ["r" random {"+" Random}]] [macro ["[0]" code]] [tool [compiler - [analysis {"+" [State+]}] + [analysis {"+" State+}] ["[0]" phase - [macro {"+" [Expander]}] + [macro {"+" 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 c71082a94..616952c2b 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -1,23 +1,23 @@ (.module: [lux "*" [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" io {"+" [IO]}] - ["[0]" try {"+" [Try]}]] + ["[0]" io {"+" IO}] + ["[0]" try {"+" Try}]] [tool [compiler ["[0]" reference] ["[0]" analysis] - ["[0]" synthesis {"+" [Synthesis]}] + ["[0]" synthesis {"+" Synthesis}] ["[0]" directive] ["[0]" phase - ["[0]" macro {"+" [Expander]}] - ["[0]" generation {"+" [Operation]}] - [extension {"+" [Extender]} + ["[0]" macro {"+" Expander}] + ["[0]" generation {"+" Operation}] + [extension {"+" Extender} ["[0]" bundle]]] [default - ["[0]" platform {"+" [Platform]}]]]]]) + ["[0]" platform {"+" 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 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) diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 9b52df567..00629ed8a 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" function]] [math @@ -11,9 +11,9 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Apply]}]] + ["[0]" / {"+" Apply}]] [// - [functor {"+" [Injection Comparison]}]]) + [functor {"+" 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 979cc60e6..652a4ef42 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" 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 e465bee7e..21246511d 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [CoMonad]}]] + ["[0]" / {"+" CoMonad}]] [// - [functor {"+" [Injection Comparison]}]]) + [functor {"+" 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 4b0a66fa1..0b0d6a521 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index d4c335794..560f7f8fb 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library - ["[0]" / {"+" [Equivalence]}]]) + ["[0]" / {"+" 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 b446b565c..a6c9f9d03 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["[0]" function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Functor]}]]) + ["[0]" / {"+" 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 048b34ba8..d7c5ed28a 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["[0]" function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Functor]}]]) + ["[0]" / {"+" 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 1671647b3..28e854087 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index 38b9a3e6c..b4c3d1710 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" order]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index aecd00cbb..d444b5127 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random] [number ["n" nat]]]]] [// - [functor {"+" [Injection Comparison]}]] + [functor {"+" Injection Comparison}]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 7de5df858..60a6bfdac 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [do]}]] + ["[0]" / {"+" do}]] [// - [functor {"+" [Injection Comparison]}]]) + [functor {"+" 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 531a246a2..bf4fb1cf1 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" 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 79c8d4c78..fdf02e346 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index aa51422de..60faeaa6a 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [io {"+" [IO]}] + [io {"+" IO}] ["[0]" try] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data ["[0]" text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index d768d446c..b107c5483 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -1,24 +1,24 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate]] [control - [pipe {"+" [case>]}] - [io {"+" [IO]}] + [pipe {"+" case>}] + [io {"+" IO}] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8 ("[1]#[0]" codec)]]] - ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence monoid) + ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence monoid) ["$[1]" \\test]] [collection ["[0]" list]]] @@ -27,7 +27,7 @@ [number ["n" nat]]] [time - ["[0]" instant {"+" [Instant]} ("[1]#[0]" equivalence)]]]] + ["[0]" instant {"+" 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 401422fc4..69031e3c6 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data ["[0]" text] [collection diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 6d80fbbd8..c38227933 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -1,19 +1,19 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency - ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]] + ["[0]" async {"+" Async} ("[1]#[0]" monad)]] [parser - ["[0]" environment {"+" [Environment]}]]] + ["[0]" environment {"+" Environment}]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random] [number @@ -22,7 +22,7 @@ [\\library ["[0]" / [// - [file {"+" [Path]}]]]]) + [file {"+" Path}]]]]) (template [<name> <command> <type> <prep>] [(def: <name> |