aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/collection/array.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux82
1 files changed, 41 insertions, 41 deletions
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index b41a178d2..1d0d95f34 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -63,11 +63,11 @@
evens (random.array size (random.only n.even? random.nat))]
($_ _.and
(let [(open "/#[0]") /.functor
- choose (: (-> Nat (Maybe Text))
- (function (_ value)
- (if (n.even? value)
- {.#Some (# n.decimal encoded value)}
- {.#None})))]
+ choose (is (-> Nat (Maybe Text))
+ (function (_ value)
+ (if (n.even? value)
+ {.#Some (# n.decimal encoded value)}
+ {.#None})))]
(_.cover [/.one]
(case [(|> evens
(/#each (# n.decimal encoded))
@@ -144,16 +144,16 @@
(!.each $ it))))
(_.for [!.mix]
($mix.spec ..injection /.equivalence
- (: (Mix !.Array)
- (function (_ $ init it)
- (!.mix (function (_ index item output)
- ($ item output))
- init
- it)))))
+ (is (Mix !.Array)
+ (function (_ $ init it)
+ (!.mix (function (_ index item output)
+ ($ item output))
+ init
+ it)))))
(_.cover [!.empty !.size]
- (n.= size (!.size (: (Array Nat)
- (!.empty size)))))
+ (n.= size (!.size (is (Array Nat)
+ (!.empty size)))))
(_.cover [!.type]
(case !.Array
(pattern (<| {.#Named (symbol !.Array)}
@@ -165,44 +165,44 @@
false))
(_.cover [!.lacks?]
(let [the_array (|> (!.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 expected))]
(and (not (!.lacks? 0 the_array))
(!.lacks? 1 the_array))))
(_.cover [!.item !.has!]
(|> (!.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 expected)
(!.item 0)
(n.= expected)))
(_.cover [!.lacks!]
(|> (!.empty 1)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 expected)
(!.lacks! 0)
(!.lacks? 0)))
(_.cover [!.lacks?]
(let [the_array (|> (!.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 expected))]
(and (not (!.lacks? 0 the_array))
(!.lacks? 1 the_array))))
(_.cover [!.has?]
(let [the_array (|> (!.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 expected))]
(and (!.has? 0 the_array)
(not (!.has? 1 the_array)))))
(_.cover [!.revised!]
(|> (!.empty 1)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 base)
(!.revised! 0 (n.+ shift))
(!.item 0)
(n.= expected)))
(_.cover [!.upsert!]
(let [the_array (|> (!.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(!.has! 0 base)
(!.upsert! 0 dummy (n.+ shift))
(!.upsert! 1 base (n.+ shift)))]
@@ -211,8 +211,8 @@
(do !
[occupancy (# ! each (n.% (++ size)) random.nat)]
(_.cover [!.occupancy !.vacancy]
- (let [the_array (loop [output (: (Array Nat)
- (!.empty size))
+ (let [the_array (loop [output (is (Array Nat)
+ (!.empty size))
idx 0]
(if (n.< occupancy idx)
(again (!.has! idx expected output)
@@ -243,8 +243,8 @@
(do !
[amount (# ! each (n.% (++ size)) random.nat)]
(_.cover [!.copy!]
- (let [copy (: (Array Nat)
- (!.empty size))]
+ (let [copy (is (Array Nat)
+ (!.empty size))]
(exec (!.copy! amount 0 the_array 0 copy)
(# (list.equivalence n.equivalence) =
(list.first amount (!.list {.#None} the_array))
@@ -263,11 +263,11 @@
(|> the_array
(!.list {.#None})
(# (list.equivalence n.equivalence) = evens))))))
- (let [choose (: (-> Nat (Maybe Text))
- (function (_ value)
- (if (n.even? value)
- {.#Some (# n.decimal encoded value)}
- {.#None})))]
+ (let [choose (is (-> Nat (Maybe Text))
+ (function (_ value)
+ (if (n.even? value)
+ {.#Some (# n.decimal encoded value)}
+ {.#None})))]
(_.cover [!.one]
(|> evens
(!.one choose)
@@ -320,8 +320,8 @@
..search
(_.cover [/.empty /.size]
- (n.= size (/.size (: (Array Nat)
- (/.empty size)))))
+ (n.= size (/.size (is (Array Nat)
+ (/.empty size)))))
(_.cover [/.type_name]
(case /.Array
(pattern (<| {.#Named (symbol /.Array)}
@@ -334,7 +334,7 @@
false))
(_.cover [/.read! /.write!]
(let [the_array (|> (/.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 expected))]
(case [(/.read! 0 the_array)
(/.read! 1 the_array)]
@@ -345,7 +345,7 @@
false)))
(_.cover [/.delete!]
(let [the_array (|> (/.empty 1)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 expected))]
(case [(/.read! 0 the_array)
(/.read! 0 (/.delete! 0 the_array))]
@@ -356,19 +356,19 @@
false)))
(_.cover [/.lacks?]
(let [the_array (|> (/.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 expected))]
(and (not (/.lacks? 0 the_array))
(/.lacks? 1 the_array))))
(_.cover [/.contains?]
(let [the_array (|> (/.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 expected))]
(and (/.contains? 0 the_array)
(not (/.contains? 1 the_array)))))
(_.cover [/.update!]
(let [the_array (|> (/.empty 1)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 base)
(/.update! 0 (n.+ shift)))]
(case (/.read! 0 the_array)
@@ -379,7 +379,7 @@
false)))
(_.cover [/.upsert!]
(let [the_array (|> (/.empty 2)
- (: (Array Nat))
+ (is (Array Nat))
(/.write! 0 base)
(/.upsert! 0 dummy (n.+ shift))
(/.upsert! 1 base (n.+ shift)))]
@@ -394,8 +394,8 @@
(do !
[occupancy (# ! each (n.% (++ size)) random.nat)]
(_.cover [/.occupancy /.vacancy]
- (let [the_array (loop [output (: (Array Nat)
- (/.empty size))
+ (let [the_array (loop [output (is (Array Nat)
+ (/.empty size))
idx 0]
(if (n.< occupancy idx)
(again (/.write! idx expected output)
@@ -426,8 +426,8 @@
(do !
[amount (# ! each (n.% (++ size)) random.nat)]
(_.cover [/.copy!]
- (let [copy (: (Array Nat)
- (/.empty size))]
+ (let [copy (is (Array Nat)
+ (/.empty size))]
(exec (/.copy! amount 0 the_array 0 copy)
(# (list.equivalence n.equivalence) =
(list.first amount (/.list {.#None} the_array))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:03:29 +0000