diff options
Diffstat (limited to '')
22 files changed, 159 insertions, 159 deletions
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index 95576f815..8f07c3ad5 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -29,7 +29,7 @@ (template: (!bundle body) (: Test (do random.monad - [_ (wrap [])] + [_ (in [])] body))) (def: format diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 2a8f519fa..b8775be48 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -40,7 +40,7 @@ [byte random.nat] (exec (try.assumed (/.write/8 idx byte output)) (recur (inc idx)))) - (\ random.monad wrap output))))) + (\ random.monad in output))))) (def: (throws? exception try) (All [e a] (-> (Exception e) (Try a) Bit)) @@ -64,8 +64,8 @@ [pre (read 0 binary) _ (write 0 value binary) post (read 0 binary)] - (wrap (and (n.= 0 pre) - (n.= capped_value post))))) + (in (and (n.= 0 pre) + (n.= capped_value post))))) (throws? /.index_out_of_bounds (read 1 binary)) (throws? /.index_out_of_bounds (write 1 value binary))))) @@ -158,6 +158,6 @@ copy (/.copy 1 0 sample 0 (/.create 2)) copy/0 (/.read/8 0 copy) copy/1 (/.read/8 1 copy)] - (wrap (and (n.= sample/0 copy/0) - (n.= 0 copy/1))))))) + (in (and (n.= sample/0 copy/0) + (n.= 0 copy/1))))))) ))))) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 3e8b89d2a..402f52379 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -24,10 +24,10 @@ (do {! random.monad} [size (\ ! map (n.% 1,000) random.nat)] (case size - 0 (wrap /.empty) + 0 (in /.empty) _ (do {! random.monad} [idx (|> random.nat (\ ! map (n.% size)))] - (wrap (/.set idx /.empty)))))) + (in (/.set idx /.empty)))))) (def: #export test Test @@ -63,8 +63,8 @@ (and (n.= 0 (/.capacity /.empty)) (|> /.empty (/.set idx) /.capacity (n.- idx) - (predicate.unite (n.>= 0) - (n.< /.chunk_size))) + (predicate.or (n.>= 0) + (n.< /.chunk_size))) (let [grown (/.flip idx /.empty)] (and (n.> 0 (/.capacity grown)) (is? /.empty (/.flip idx grown)))))) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 19c6bfde6..0b98204a9 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -27,7 +27,7 @@ (-> (Order k) (Random k) (Random v) Nat (Random (/.Dictionary k v)))) (case size 0 - (random\wrap (/.new order)) + (random\in (/.new order)) _ (do random.monad @@ -35,7 +35,7 @@ key (random.only (|>> (/.key? partial) not) gen_key) value gen_value] - (wrap (/.put key value partial))))) + (in (/.put key value partial))))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index f7450e3d1..7916da3eb 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -26,7 +26,7 @@ (do random.monad [keys (random.set text.hash size gen_key) values (random.list size gen_value)] - (wrap (list.zipped/2 (set.to_list keys) values)))) + (in (list.zipped/2 (set.to_list keys) values)))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index f3175fbb5..207ba73d9 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -57,13 +57,13 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid ..random)) (_.for [/.fold] - ($fold.spec /\wrap /.equivalence /.fold)) + ($fold.spec /\in /.equivalence /.fold)) (_.for [/.functor] - ($functor.spec /\wrap /.equivalence /.functor)) + ($functor.spec /\in /.equivalence /.functor)) (_.for [/.apply] - ($apply.spec /\wrap /.equivalence /.apply)) + ($apply.spec /\in /.equivalence /.apply)) (_.for [/.monad] - ($monad.spec /\wrap /.equivalence /.monad)) + ($monad.spec /\in /.equivalence /.monad)) (do {! random.monad} [parameter random.nat @@ -73,9 +73,9 @@ expected (n.+ parameter subject)] (_.cover [/.with /.lift] (|> (io.run (do (/.with io.monad) - [a (lift (io\wrap parameter)) - b (wrap subject)] - (wrap (n.+ a b)))) + [a (lift (io\in parameter)) + b (in subject)] + (in (n.+ a b)))) (case> (^ (list actual)) (n.= expected actual) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index a43b0e278..06238c4c8 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -21,7 +21,7 @@ (monad.fold ! (function (_ head tail) (do ! [priority random.nat] - (wrap (/.push priority head tail)))) + (in (/.push priority head tail)))) /.empty inputs))) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index fdd2c6276..407fcde8e 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -36,13 +36,13 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.row size random.nat))) (_.for [/.fold] - ($fold.spec /\wrap /.equivalence /.fold)) + ($fold.spec /\in /.equivalence /.fold)) (_.for [/.functor] - ($functor.spec /\wrap /.equivalence /.functor)) + ($functor.spec /\in /.equivalence /.functor)) (_.for [/.apply] - ($apply.spec /\wrap /.equivalence /.apply)) + ($apply.spec /\in /.equivalence /.apply)) (_.for [/.monad] - ($monad.spec /\wrap /.equivalence /.monad)) + ($monad.spec /\in /.equivalence /.monad)) ))) (def: whole @@ -103,14 +103,14 @@ (do try.monad [sample (/.put good_index non_member sample) actual (/.nth good_index sample)] - (wrap (is? non_member actual))))) + (in (is? non_member actual))))) (_.cover [/.update] (<| (try.default false) (do try.monad [sample (/.put good_index non_member sample) sample (/.update good_index inc sample) actual (/.nth good_index sample)] - (wrap (n.= (inc non_member) actual))))) + (in (n.= (inc non_member) actual))))) (_.cover [/.within_bounds?] (and (/.within_bounds? sample good_index) (not (/.within_bounds? sample bad_index)))) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 05752d6fa..197f35e93 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -30,11 +30,11 @@ (do {! random.monad} [elements (random.set hash size element) element_counts (random.list size ..count)] - (wrap (list\fold (function (_ [count element] set) - (/.add count element set)) - (/.new hash) - (list.zipped/2 element_counts - (set.to_list elements)))))) + (in (list\fold (function (_ [count element] set) + (/.add count element set)) + (/.new hash) + (list.zipped/2 element_counts + (set.to_list elements)))))) (def: signature Test diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 260ab946f..0614a1938 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -27,14 +27,14 @@ (All [a] (-> Nat (Order a) (Random a) (Random (Set a)))) (case size 0 - (random\wrap (/.new &order)) + (random\in (/.new &order)) _ (do random.monad [partial (random (dec size) &order gen_value) value (random.only (|>> (/.member? partial) not) gen_value)] - (wrap (/.add value partial))))) + (in (/.add value partial))))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index a610fdef5..a263b2451 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -25,11 +25,11 @@ [value gen_value num_children (\ ! map (n.% 2) random.nat) children (random.list num_children (tree gen_value))] - (wrap [(|> children - (list\map product.left) - (list\fold n.+ 1)) - {#/.value value - #/.children (list\map product.right children)}]))) + (in [(|> children + (list\map product.left) + (list\fold n.+ 1)) + {#/.value value + #/.children (list\map product.right children)}]))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 6487e5685..35b55f4bf 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -36,7 +36,7 @@ /.zip (do> maybe.monad [/.down] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.up] (|> (tree.branch expected (list (tree.leaf dummy))) @@ -44,7 +44,7 @@ (do> maybe.monad [/.down] [/.up] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.right] (|> (tree.branch dummy (list (tree.leaf dummy) (tree.leaf expected))) @@ -52,7 +52,7 @@ (do> maybe.monad [/.down] [/.right] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.rightmost] (|> (tree.branch dummy @@ -64,7 +64,7 @@ (do> maybe.monad [/.down] [/.rightmost] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.left] (|> (tree.branch dummy (list (tree.leaf expected) (tree.leaf dummy))) @@ -73,7 +73,7 @@ [/.down] [/.right] [/.left] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.leftmost] (|> (tree.branch dummy @@ -86,7 +86,7 @@ [/.down] [/.rightmost] [/.leftmost] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.next] (and (|> (tree.branch dummy @@ -95,7 +95,7 @@ /.zip (do> maybe.monad [/.next] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)) (|> (tree.branch dummy (list (tree.leaf dummy) @@ -104,7 +104,7 @@ (do> maybe.monad [/.next] [/.next] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)))) (_.cover [/.end] (|> (tree.branch dummy @@ -115,7 +115,7 @@ /.zip (do> maybe.monad [/.end] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.start] (|> (tree.branch expected @@ -127,7 +127,7 @@ (do> maybe.monad [/.end] [/.start] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.previous] (and (|> (tree.branch expected @@ -137,7 +137,7 @@ (do> maybe.monad [/.next] [/.previous] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)) (|> (tree.branch dummy (list (tree.leaf expected) @@ -147,7 +147,7 @@ [/.next] [/.next] [/.previous] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)))) ))) @@ -207,13 +207,13 @@ (|> cursor (do> maybe.monad [/.down] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)) (|> cursor (do> maybe.monad [/.down] [/.down] - [/.value (n.= dummy) wrap]) + [/.value (n.= dummy) in]) (maybe.default false))))) (_.cover [/.adopt] (let [cursor (|> (tree.branch dummy (list (tree.leaf dummy))) @@ -223,13 +223,13 @@ (|> cursor (do> maybe.monad [/.down] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false)) (|> cursor (do> maybe.monad [/.down] [/.right] - [/.value (n.= dummy) wrap]) + [/.value (n.= dummy) in]) (maybe.default false))))) (_.cover [/.insert_left] (|> (tree.branch dummy (list (tree.leaf dummy))) @@ -238,7 +238,7 @@ [/.down] [(/.insert_left expected)] [/.left] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.insert_right] (|> (tree.branch dummy (list (tree.leaf dummy))) @@ -247,7 +247,7 @@ [/.down] [(/.insert_right expected)] [/.right] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) (_.cover [/.remove] (|> (tree.branch dummy (list (tree.leaf dummy))) @@ -256,6 +256,6 @@ [/.down] [(/.insert_left expected)] [/.remove] - [/.value (n.= expected) wrap]) + [/.value (n.= expected) in]) (maybe.default false))) )))) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 22dce27f1..e9acae043 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -38,7 +38,7 @@ (do {! random.monad} [size (\ ! map (n.% 2) random.nat)] ($_ random.or - (\ ! wrap []) + (\ ! in []) random.bit random.safe_frac (random.unicode size) @@ -49,17 +49,17 @@ (syntax: (boolean) (do meta.monad [value meta.count] - (wrap (list (code.bit (n.even? value)))))) + (in (list (code.bit (n.even? value)))))) (syntax: (number) (do meta.monad [value meta.count] - (wrap (list (code.frac (n.frac value)))))) + (in (list (code.frac (n.frac value)))))) (syntax: (string) (do meta.monad [value (macro.gensym "string")] - (wrap (list (code.text (%.code value)))))) + (in (list (code.text (%.code value)))))) (def: #export test Test @@ -132,8 +132,8 @@ (#try.Failure error) true)]] - (wrap (and can_find_known_key! - cannot_find_unknown_key!)))))) + (in (and can_find_known_key! + cannot_find_unknown_key!)))))) (~~ (template [<type> <get> <tag> <random> <equivalence>] [(do random.monad [key (random.ascii/alpha 1) @@ -189,11 +189,11 @@ value4 (/.get <key4> object) value5 (/.get <key5> object) value6 (/.get <key6> value5)] - (wrap (and (\= #/.Null value0) - (\= (#/.Boolean <boolean>) value1) - (\= (#/.Number <number>) value2) - (\= (#/.String <string>) value3) - (\= (#/.Array <array_row>) value4) - (\= (#/.Number <number>) value6)))))) + (in (and (\= #/.Null value0) + (\= (#/.Boolean <boolean>) value1) + (\= (#/.Number <number>) value2) + (\= (#/.String <string>) value3) + (\= (#/.Array <array_row>) value4) + (\= (#/.Number <number>) value6)))))) ))) )))) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index fedcdd251..8dfe9635d 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -174,13 +174,13 @@ tar (|> (row.row (<tag> expected_path)) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (<tag> actual_path))) - (text\= (/.from_path expected_path) - (/.from_path actual_path)) + (in (case (row.to_list tar) + (^ (list (<tag> actual_path))) + (text\= (/.from_path expected_path) + (/.from_path actual_path)) - _ - false))) + _ + false))) (try.default false)))] [/.Symbolic_Link #/.Symbolic_Link] @@ -203,19 +203,19 @@ expected_content])) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]))) - (let [seconds (: (-> Instant Int) - (|>> instant.relative (duration.query duration.second)))] - (and (text\= (/.from_path expected_path) - (/.from_path actual_path)) - (i.= (seconds expected_moment) - (seconds actual_moment)) - (binary\= (/.data expected_content) - (/.data actual_content)))) - - _ - false))) + (in (case (row.to_list tar) + (^ (list (<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]))) + (let [seconds (: (-> Instant Int) + (|>> instant.relative (duration.query duration.second)))] + (and (text\= (/.from_path expected_path) + (/.from_path actual_path)) + (i.= (seconds expected_moment) + (seconds actual_moment)) + (binary\= (/.data expected_content) + (/.data actual_content)))) + + _ + false))) (try.default false)))] [/.Normal #/.Normal] @@ -226,18 +226,18 @@ (Random /.Mode) (do {! random.monad} [] - (random.either (random.either (random.either (wrap /.execute_by_other) - (wrap /.write_by_other)) - (random.either (wrap /.read_by_other) - (wrap /.execute_by_group))) - (random.either (random.either (random.either (wrap /.write_by_group) - (wrap /.read_by_group)) - (random.either (wrap /.execute_by_owner) - (wrap /.write_by_owner))) - (random.either (random.either (wrap /.read_by_owner) - (wrap /.save_text)) - (random.either (wrap /.set_group_id_on_execution) - (wrap /.set_user_id_on_execution))))))) + (random.either (random.either (random.either (in /.execute_by_other) + (in /.write_by_other)) + (random.either (in /.read_by_other) + (in /.execute_by_group))) + (random.either (random.either (random.either (in /.write_by_group) + (in /.read_by_group)) + (random.either (in /.execute_by_owner) + (in /.write_by_owner))) + (random.either (random.either (in /.read_by_owner) + (in /.save_text)) + (random.either (in /.set_group_id_on_execution) + (in /.set_user_id_on_execution))))))) (def: mode Test @@ -261,13 +261,13 @@ content])) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (#/.Normal [_ _ actual_mode _ _]))) - (n.= (/.mode expected_mode) - (/.mode actual_mode)) + (in (case (row.to_list tar) + (^ (list (#/.Normal [_ _ actual_mode _ _]))) + (n.= (/.mode expected_mode) + (/.mode actual_mode)) - _ - false))) + _ + false))) (try.default false))) (~~ (template [<expected_mode>] [(_.cover [<expected_mode>] @@ -284,13 +284,13 @@ content])) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (#/.Normal [_ _ actual_mode _ _]))) - (n.= (/.mode <expected_mode>) - (/.mode actual_mode)) + (in (case (row.to_list tar) + (^ (list (#/.Normal [_ _ actual_mode _ _]))) + (n.= (/.mode <expected_mode>) + (/.mode actual_mode)) - _ - false))) + _ + false))) (try.default false)))] [/.none] @@ -351,15 +351,15 @@ content])) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (#/.Normal [_ _ _ actual_ownership _]))) - (and (text\= (/.from_name expected) - (/.from_name (get@ [#/.user #/.name] actual_ownership))) - (text\= (/.from_name /.anonymous) - (/.from_name (get@ [#/.group #/.name] actual_ownership)))) - - _ - false))) + (in (case (row.to_list tar) + (^ (list (#/.Normal [_ _ _ actual_ownership _]))) + (and (text\= (/.from_name expected) + (/.from_name (get@ [#/.user #/.name] actual_ownership))) + (text\= (/.from_name /.anonymous) + (/.from_name (get@ [#/.group #/.name] actual_ownership)))) + + _ + false))) (try.default false))) (_.cover [/.anonymous /.no_id] (|> (do try.monad @@ -375,19 +375,19 @@ content])) (format.run /.writer) (<b>.run /.parser))] - (wrap (case (row.to_list tar) - (^ (list (#/.Normal [_ _ _ actual_ownership _]))) - (and (text\= (/.from_name /.anonymous) - (/.from_name (get@ [#/.user #/.name] actual_ownership))) - (n.= (/.from_small /.no_id) - (/.from_small (get@ [#/.user #/.id] actual_ownership))) - (text\= (/.from_name /.anonymous) - (/.from_name (get@ [#/.group #/.name] actual_ownership))) - (n.= (/.from_small /.no_id) - (/.from_small (get@ [#/.group #/.id] actual_ownership)))) - - _ - false))) + (in (case (row.to_list tar) + (^ (list (#/.Normal [_ _ _ actual_ownership _]))) + (and (text\= (/.from_name /.anonymous) + (/.from_name (get@ [#/.user #/.name] actual_ownership))) + (n.= (/.from_small /.no_id) + (/.from_small (get@ [#/.user #/.id] actual_ownership))) + (text\= (/.from_name /.anonymous) + (/.from_name (get@ [#/.group #/.name] actual_ownership))) + (n.= (/.from_small /.no_id) + (/.from_small (get@ [#/.group #/.id] actual_ownership)))) + + _ + false))) (try.default false))) )))) @@ -396,7 +396,7 @@ (<| (_.covering /._) (_.for [/.Tar]) (do random.monad - [_ (wrap [])] + [_ (in [])] ($_ _.and (_.cover [/.writer /.parser] (|> row.empty diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 7c9267b16..e73e4960a 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -37,7 +37,7 @@ (Random Nat) (do {! random.monad} [idx (|> random.nat (\ ! map (n.% (text.size char_range))))] - (wrap (maybe.assume (text.nth idx char_range))))) + (in (maybe.assume (text.nth idx char_range))))) (def: (size bottom top) (-> Nat Nat (Random Nat)) diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 899541f37..c2baca4fa 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -39,11 +39,11 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.maybe random.nat))) (_.for [/.functor] - ($functor.spec /\wrap /.equivalence /.functor)) + ($functor.spec /\in /.equivalence /.functor)) (_.for [/.apply] - ($apply.spec /\wrap /.equivalence /.apply)) + ($apply.spec /\in /.equivalence /.apply)) (_.for [/.monad] - ($monad.spec /\wrap /.equivalence /.monad)) + ($monad.spec /\in /.equivalence /.monad)) (do random.monad [left random.nat @@ -52,9 +52,9 @@ (let [lift (/.lift io.monad)] (_.cover [/.with /.lift] (|> (io.run (do (/.with io.monad) - [a (lift (io\wrap left)) - b (wrap right)] - (wrap (n.+ a b)))) + [a (lift (io\in left)) + b (in right)] + (in (n.+ a b)))) (case> (#.Some actual) (n.= expected actual) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 3b7f83b72..11a68ea33 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -215,7 +215,7 @@ (let [options (list.size ..all_encodings)] (do {! random.monad} [choice (\ ! map (n.% options) random.nat)] - (wrap (maybe.assume (list.nth choice ..all_encodings)))))) + (in (maybe.assume (list.nth choice ..all_encodings)))))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 203cf9b81..73f9455d7 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -74,10 +74,10 @@ [seed meta.count #let [[_ expected] (random.run (random.pcg32 [seed seed]) (random.ascii 10))]] - (wrap (list (code.text expected))))) + (in (list (code.text expected))))) (syntax: (static_escape {un_escaped <code>.text}) - (wrap (list (code.text (/.escape un_escaped))))) + (in (list (code.text (/.escape un_escaped))))) (def: #export test Test diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index d339e0717..e8cdb1e67 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -62,11 +62,11 @@ (Random (Ex [a] [(/.Format a) (Random a)])) ($_ random.either - (random\wrap [/.bit random.bit]) - (random\wrap [/.nat random.nat]) - (random\wrap [/.int random.int]) - (random\wrap [/.rev random.rev]) - (random\wrap [/.frac random.frac]) + (random\in [/.bit random.bit]) + (random\in [/.nat random.nat]) + (random\in [/.int random.int]) + (random\in [/.rev random.rev]) + (random\in [/.frac random.frac]) )) (def: codec diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 50498f396..52053f108 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -53,13 +53,13 @@ (syntax: (should_check pattern regex input) (macro.with_gensyms [g!message g!_] - (wrap (list (` (|> (~ input) - (<text>.run (~ regex)) - (case> (^ (#try.Success (~ pattern))) - true + (in (list (` (|> (~ input) + (<text>.run (~ regex)) + (case> (^ (#try.Success (~ pattern))) + true - (~ g!_) - false))))))) + (~ g!_) + false))))))) (def: basics Test diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index b895df0de..d08f41fa8 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -27,7 +27,7 @@ (do random.monad [start random.nat end random.nat] - (wrap (/.block start end)))) + (in (/.block start end)))) (with_expansions [<blocks> (as_is [blocks/0 [/.basic_latin diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index e70816efe..054c6c6f7 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -28,7 +28,7 @@ (do {! random.monad} [left //block.random right //block.random] - (wrap (/.set [left (list right)])))) + (in (/.set [left (list right)])))) (def: #export test Test |