diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/enum.lux')
-rw-r--r-- | stdlib/source/test/lux/abstract/enum.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 856c20d1a..03decb4c7 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [control - ["[0]" maybe ("[1]\[0]" functor)]] + ["[0]" maybe ("[1]#[0]" functor)]] [data ["[0]" product] [collection - ["[0]" list ("[1]\[0]" mix)]]] + ["[0]" list ("[1]#[0]" mix)]]] [math ["[0]" random {"+" [Random]}] [number @@ -20,7 +20,7 @@ (def: .public test Test (let [limit (: (Random Nat) - (\ random.monad each (n.% 20) random.nat))] + (# random.monad each (n.% 20) random.nat))] (do random.monad [start limit end limit @@ -32,16 +32,16 @@ ($_ _.and (_.cover [/.range] (let [expected_size (|> end (n.- start) ++) - expected_start? (|> range list.head (maybe\each (n.= start)) (maybe.else false)) - expected_end? (|> range list.last (maybe\each (n.= end)) (maybe.else false)) - can_be_backwards? (\ (list.equivalence n.equivalence) = + expected_start? (|> range list.head (maybe#each (n.= start)) (maybe.else false)) + expected_end? (|> range list.last (maybe#each (n.= end)) (maybe.else false)) + can_be_backwards? (# (list.equivalence n.equivalence) = (/.range n.enum start end) (list.reversed (/.range n.enum end start))) every_element_is_a_successor? (case range {.#Item head tail} - (|> (list\mix (function (_ next [verdict prev]) + (|> (list#mix (function (_ next [verdict prev]) [(and verdict - (n.= next (\ n.enum succ prev))) + (n.= next (# n.enum succ prev))) next]) [true head] tail) |