diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/specification | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'stdlib/source/specification')
27 files changed, 173 insertions, 173 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index e08211d32..bf430a368 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." binary - ["_#" \\test]]] + ["[0]" binary + ["_[1]" \\test]]] [math - ["." random]]]] + ["[0]" random]]]] [\\program - ["." / - ["#." remote] - ["/#" // "_" - ["#." artifact {"+" [Artifact]} - ["#/." extension]]]]] + ["[0]" / + ["[1][0]" remote] + ["/[1]" // "_" + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" extension]]]]] [\\test - ["_." // "_" - ["#." artifact]]]) + ["_[0]" // "_" + ["[1][0]" artifact]]]) (def: .public (spec valid_artifact invalid_artifact subject) (-> Artifact Artifact (/.Repository Async) Test) diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index d8d1a718c..a2569f334 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -4,30 +4,30 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." try]] + ["[0]" io {"+" [IO]}] + ["[0]" try]] [math ["r" random]] [tool [compiler - ["." analysis] - ["." directive] + ["[0]" analysis] + ["[0]" directive] [phase [macro {"+" [Expander]}] [generation {"+" [Bundle]}]] [default [platform {"+" [Platform]}]]]]] - ["." / "_" - ["#." common {"+" [Runner Definer]}] - ["#./" analysis "_" - ["#." type]] - ["#./" generation "_" - ["#." primitive] - ["#." structure] - ["#." reference] - ["#." case] - ["#." function] - ["#." common]]]) + ["[0]" / "_" + ["[1][0]" common {"+" [Runner Definer]}] + ["[1]./" analysis "_" + ["[1][0]" type]] + ["[1]./" generation "_" + ["[1][0]" primitive] + ["[1][0]" structure] + ["[1][0]" reference] + ["[1][0]" case] + ["[1][0]" function] + ["[1][0]" common]]]) (def: (test runner definer state expander) (-> Runner Definer analysis.State+ Expander Test) diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 2ad411da0..be7677848 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -5,20 +5,20 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." io] - ["." try]] + ["[0]" io] + ["[0]" try]] [math ["r" random {"+" [Random]}]] [macro - ["." code]] + ["[0]" code]] [tool [compiler [analysis {"+" [State+]}] - ["." phase + ["[0]" phase [macro {"+" [Expander]}] - ["." analysis - ["#/." scope] - ["#/." type]]]]]]) + ["[0]" analysis + ["[1]/[0]" scope] + ["[1]/[0]" type]]]]]]) (def: (check_success+ expander state extension params output_type) (-> Expander State+ Text (List Code) Type Bit) diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index bf1236b3f..31a1675f3 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -3,21 +3,21 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." try {"+" [Try]}]] + ["[0]" io {"+" [IO]}] + ["[0]" try {"+" [Try]}]] [tool [compiler - ["." reference] - ["." analysis] - ["." synthesis {"+" [Synthesis]}] - ["." directive] - ["." phase - ["." macro {"+" [Expander]}] - ["." generation {"+" [Operation]}] + ["[0]" reference] + ["[0]" analysis] + ["[0]" synthesis {"+" [Synthesis]}] + ["[0]" directive] + ["[0]" phase + ["[0]" macro {"+" [Expander]}] + ["[0]" generation {"+" [Operation]}] [extension {"+" [Extender]} - ["." bundle]]] + ["[0]" bundle]]] [default - ["." 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 d71abc703..d699aa74b 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [number ["n" nat] ["f" frac]] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." analysis] - ["." synthesis {"+" [Path Synthesis]}] - ["." phase - ["#/." synthesis - ["." case]] - ["." extension/synthesis]]]]] + ["[0]" reference] + ["[0]" analysis] + ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" phase + ["[1]/[0]" synthesis + ["[0]" case]] + ["[0]" extension/synthesis]]]]] [/// [common {"+" [Runner]}]]) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 917d830b6..c8dd72bf7 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [number - ["." i64] + ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list]]] + ["[0]" list]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." synthesis]]]] - ["." // "_" - ["#." case] + ["[0]" reference] + ["[0]" synthesis]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index f356bce90..1708264a2 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -3,24 +3,24 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [control [pipe {"+" [case>]}] - ["." maybe]] + ["[0]" maybe]] [data [number ["n" nat]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["r" random {"+" [Random]} ("#\." monad)]] + ["r" random {"+" [Random]} ("[1]\[0]" monad)]] [tool [compiler [analysis {"+" [Arity]}] - ["." reference {"+" [Register]}] - ["." synthesis {"+" [Synthesis]}]]]] - ["." // "_" - ["#." case] + ["[0]" reference {"+" [Register]}] + ["[0]" synthesis {"+" [Synthesis]}]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index a73ba6f21..ba20601a3 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -5,18 +5,18 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [number ["f" frac]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math ["r" random]] [tool [compiler - ["." synthesis]]]] + ["[0]" synthesis]]]] [/// [common {"+" [Runner]}]]) diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index 37aea49fe..ce3c7332a 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -5,15 +5,15 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data [number ["n" nat] ["f" frac]]] [tool [compiler - ["." reference] - ["." synthesis]]] + ["[0]" reference] + ["[0]" synthesis]]] [math ["r" random {"+" [Random]}]]] [/// diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index cd86ecab2..a70e61531 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -5,24 +5,24 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data [number ["n" nat] ["i" int]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." array {"+" [Array]}] - ["." list ("#\." functor)]]] + ["[0]" array {"+" [Array]}] + ["[0]" list ("[1]\[0]" functor)]]] [math ["r" random]] - ["." ffi {"+" [import:]}] + ["[0]" ffi {"+" [import:]}] [tool [compiler - ["." analysis] - ["." synthesis]]]] + ["[0]" analysis] + ["[0]" synthesis]]]] [/// [common {"+" [Runner]}]]) diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 431fc8f29..f14a43aa5 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}]] [control - ["." function]] + ["[0]" function]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Apply]}]] + ["[0]" / {"+" [Apply]}]] [// [functor {"+" [Injection Comparison]}]]) -(def: (identity injection comparison (^open "\.")) +(def: (identity injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample (\ ! each injection random.nat)] @@ -24,7 +24,7 @@ (\on sample (injection function.identity)) sample)))) -(def: (homomorphism injection comparison (^open "\.")) +(def: (homomorphism injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -34,7 +34,7 @@ (\on (injection sample) (injection increase)) (injection (increase sample)))))) -(def: (interchange injection comparison (^open "\.")) +(def: (interchange injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -45,7 +45,7 @@ (\on (injection increase) (injection (: (-> (-> Nat Nat) Nat) (function (_ f) (f sample))))))))) -(def: (composition injection comparison (^open "\.")) +(def: (composition injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index bea518b69..5cbdb2aa1 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// [equivalence {"+" [Equivalence]}]]]]) -(def: .public (spec (^open "@//.") (^open "@//.") generator) +(def: .public (spec (^open "@//[0]") (^open "@//[0]") generator) (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test)) (do random.monad [expected generator] diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 4941d31ad..ee28bfb49 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [CoMonad]}]] + ["[0]" / {"+" [CoMonad]}]] [// [functor {"+" [Injection Comparison]}]]) -(def: (left_identity injection (^open "_//.")) +(def: (left_identity injection (^open "_//[0]")) (All (_ f) (-> (Injection f) (CoMonad f) Test)) (do [! random.monad] [sample random.nat @@ -25,7 +25,7 @@ (n.= (morphism start) (|> start _//disjoint (_//each morphism) _//out))))) -(def: (right_identity injection comparison (^open "_//.")) +(def: (right_identity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do random.monad [sample random.nat @@ -35,7 +35,7 @@ (== start (|> start _//disjoint (_//each _//out)))))) -(def: (associativity injection comparison (^open "_//.")) +(def: (associativity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do [! random.monad] [sample random.nat diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 2f71401ae..26fdf0828 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) -(def: .public (spec (^open "\.") gen_sample) +(def: .public (spec (^open "\[0]") gen_sample) (All (_ a) (-> (/.Enum a) (Random a) Test)) (do random.monad [sample gen_sample] diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 59786ab42..d4c335794 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / {"+" [Equivalence]}]]) + ["[0]" / {"+" [Equivalence]}]]) -(def: .public (spec (^open "_//.") random) +(def: .public (spec (^open "_//[0]") random) (All (_ a) (-> (Equivalence a) (Random a) Test)) (do random.monad [left random diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 681f6dcd5..37e38ad42 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -6,13 +6,13 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." function]] + ["[0]" function]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Functor]}]]) + ["[0]" / {"+" [Functor]}]]) (type: .public (Injection f) (All (_ a) (-> a (f a)))) @@ -22,7 +22,7 @@ (-> (Equivalence a) (Equivalence (f a))))) -(def: (identity injection comparison (^open "@//.")) +(def: (identity injection comparison (^open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample (\ ! each injection random.nat)] @@ -31,7 +31,7 @@ (@//each function.identity sample) sample)))) -(def: (homomorphism injection comparison (^open "@//.")) +(def: (homomorphism injection comparison (^open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample random.nat @@ -41,7 +41,7 @@ (@//each increase (injection sample)) (injection (increase sample)))))) -(def: (composition injection comparison (^open "@//.")) +(def: (composition injection comparison (^open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do [! random.monad] [sample (\ ! each injection random.nat) diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index a9ac6e660..048b34ba8 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -6,15 +6,15 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." function]] + ["[0]" function]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Functor]}]]) + ["[0]" / {"+" [Functor]}]]) -(def: (identity equivalence value (^open "@//.")) +(def: (identity equivalence value (^open "@//[0]")) (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test)) (_.test "Law of identity." (equivalence diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index ed504cd26..65b78a5cb 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -5,13 +5,13 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) -(def: .public (spec (^open "\.") random) +(def: .public (spec (^open "\[0]") random) (All (_ a) (-> (/.Hash a) (Random a) Test)) (do random.monad [parameter random diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux index a6de2bc5a..38b9a3e6c 100644 --- a/stdlib/source/specification/lux/abstract/interval.lux +++ b/stdlib/source/specification/lux/abstract/interval.lux @@ -4,13 +4,13 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." order]] + ["[0]" order]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) -(def: .public (spec (^open "@//.") gen_sample) +(def: .public (spec (^open "@//[0]") gen_sample) (All (_ a) (-> (/.Interval a) (Random a) Test)) (<| (_.for [/.Interval]) (do random.monad diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index dddf30c5f..aecd00cbb 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [// [functor {"+" [Injection Comparison]}]] [\\library - ["." /]]) + ["[0]" /]]) -(def: .public (spec injection comparison (^open "@//.")) +(def: .public (spec injection comparison (^open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test)) (do random.monad [subject random.nat diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 11ee011e1..e193e1ecd 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -3,15 +3,15 @@ [lux "*" ["_" test {"+" [Test]}] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [do]}]] + ["[0]" / {"+" [do]}]] [// [functor {"+" [Injection Comparison]}]]) -(def: (left_identity injection comparison (^open "_//.")) +(def: (left_identity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat @@ -23,7 +23,7 @@ (|> (injection sample) (_//each morphism) _//conjoint) (morphism sample))))) -(def: (right_identity injection comparison (^open "_//.")) +(def: (right_identity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do random.monad [sample random.nat] @@ -32,7 +32,7 @@ (|> (injection sample) (_//each _//in) _//conjoint) (injection sample))))) -(def: (associativity injection comparison (^open "_//.")) +(def: (associativity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 6dc4d2207..dba042a60 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -5,13 +5,13 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// [equivalence {"+" [Equivalence]}]]]]) -(def: .public (spec (^open "\.") (^open "\.") gen_sample) +(def: .public (spec (^open "\[0]") (^open "\[0]") gen_sample) (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test)) (do random.monad [sample gen_sample diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index 139e8cac4..79c8d4c78 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) -(def: .public (spec (^open "@//.") generator) +(def: .public (spec (^open "@//[0]") generator) (All (_ a) (-> (/.Order a) (Random a) Test)) (<| (_.for [/.Order]) ($_ _.and diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 5264211b4..15305d236 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -6,16 +6,16 @@ [monad {"+" [do]}]] [control [io {"+" [IO]}] - ["." try] + ["[0]" try] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (spec console) (-> (IO (/.Console Async)) Test) diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 765893ba6..f7c056624 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -4,32 +4,32 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate]] + ["[0]" predicate]] [control [pipe {"+" [case>]}] [io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." functor)] - ["." exception] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8 ("#\." codec)]]] - ["." binary {"+" [Binary]} ("#\." equivalence monoid) - ["$#" \\test]] + ["[0]" utf8 ("[1]\[0]" codec)]]] + ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence monoid) + ["$[1]" \\test]] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [time - ["." instant {"+" [Instant]} ("#\." equivalence)]]]] + ["[0]" instant {"+" [Instant]} ("[1]\[0]" equivalence)]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (for_path fs) (-> (IO (/.System Async)) Test) @@ -126,7 +126,7 @@ [made_sub? (\ fs make_directory sub_dir) directory_files (\ fs directory_files parent) sub_directories (\ fs sub_directories parent) - .let [(^open "list\.") (list.equivalence text.equivalence)]] + .let [(^open "list\[0]") (list.equivalence text.equivalence)]] (in (<| (try.else false) (do try.monad [_ made_sub?] diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux index 772aa28a4..e647e316b 100644 --- a/stdlib/source/specification/lux/world/program.lux +++ b/stdlib/source/specification/lux/world/program.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." try] + ["[0]" try] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." text] + ["[0]" text] [collection - ["." dictionary] - ["." list]]] + ["[0]" dictionary] + ["[0]" list]]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (spec subject) (-> (/.Program Async) Test) diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 8f12be702..2d844ce9a 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." async {"+" [Async]} ("#\." monad)]] + ["[0]" async {"+" [Async]} ("[1]\[0]" monad)]] [parser - ["." environment {"+" [Environment]}]]] + ["[0]" environment {"+" [Environment]}]]] [data - ["." product] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." / + ["[0]" / [// [file {"+" [Path]}]]]]) |