diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
6 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index 491e35448..2f9465e94 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -56,7 +56,7 @@ [constant random.nat .let [hash (is (Hash Nat) (implementation - (def: &equivalence n.equivalence) + (def: equivalence n.equivalence) (def: (hash _) constant)))]] (_.cover [/.key_hash] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 0d6f31475..a5336f6f7 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -55,7 +55,7 @@ [hash (# ! each (function (_ constant) (is (Hash Nat) (implementation - (def: &equivalence n.equivalence) + (def: equivalence n.equivalence) (def: (hash _) constant)))) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 04a3eed86..b4b97a984 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -23,15 +23,15 @@ (random.Random Nat) (# random.monad each (n.% 100) random.nat)) -(def: .public (random size &order gen_value) +(def: .public (random size order gen_value) (All (_ a) (-> Nat (Order a) (Random a) (Random (Set a)))) (case size 0 - (random#in (/.empty &order)) + (random#in (/.empty order)) _ (do random.monad - [partial (random (-- size) &order gen_value) + [partial (random (-- size) order gen_value) value (random.only (|>> (/.member? partial) not) gen_value)] (in (/.has value partial))))) diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index d7fa8a191..64c5d6337 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -111,7 +111,7 @@ (/.iterations (function (_ n) [(++ n) (%.nat n)]) offset))))) (_.cover [/.cycle] - (let [cycle (list& cycle_start cycle_next)] + (let [cycle (partial_list cycle_start cycle_next)] (list#= (list.together (list.repeated size cycle)) (/.first (n.* size (list.size cycle)) (/.cycle [cycle_start cycle_next]))))) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 8973e4818..b8569005e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,23 +1,23 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - ["[0]" monad {"+" do}] - [\\specification - ["$[0]" equivalence] - ["$[0]" mix] - ["$[0]" functor]]] - [data - ["[0]" product] - [collection - ["[0]" list ("[1]#[0]" functor mix)]]] - [math - ["[0]" random {"+" Random}] - [number - ["n" nat]]]]] - [\\library - ["[0]" / {"+" Tree}]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + ["[0]" monad {"+" do}] + [\\specification + ["$[0]" equivalence] + ["$[0]" mix] + ["$[0]" functor]]] + [data + ["[0]" product] + [collection + ["[0]" list ("[1]#[0]" functor mix)]]] + [math + ["[0]" random {"+" Random}] + [number + ["n" nat]]]]] + [\\library + ["[0]" / {"+" Tree}]]) (def: .public (tree gen_value) (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) @@ -62,7 +62,7 @@ children (random.list num_children random.nat)] (_.cover [/.branch] (# (list.equivalence n.equivalence) = - (list& value children) + (partial_list value children) (/.flat (/.branch value (list#each /.leaf children)))))) (do random.monad [expected/0 random.nat diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 85c5ec037..fb4ddc214 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -90,8 +90,8 @@ (# builder branch tree (# builder leaf tag value))) (# builder leaf tags/H values/H) (list.zipped_2 tags/T values/T))] - (and (# tags_equivalence = (list& tags/H tags/T) (/.tags tree)) - (# values_equivalence = (list& values/H values/T) (/.values tree)))))) + (and (# tags_equivalence = (partial_list tags/H tags/T) (/.tags tree)) + (# values_equivalence = (partial_list values/H values/T) (/.values tree)))))) (_.cover [/.one] (let [can_find_correct_one! (|> (# ..builder leaf tag_left expected_left) |