diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/enum.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/enum.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 0f575f3e6..916dc04d0 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -21,7 +21,7 @@ (def .public test Test (let [limit (is (Random Nat) - (at random.monad each (n.% 20) random.nat))] + (of random.monad each (n.% 20) random.nat))] (do random.monad [start limit end limit @@ -35,14 +35,14 @@ (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? (at (list.equivalence n.equivalence) = + can_be_backwards? (of (list.equivalence n.equivalence) = (/.range n.enum start end) (list.reversed (/.range n.enum end start))) every_element_is_a_successor? (when range {.#Item head tail} (|> (list#mix (function (_ next [verdict prev]) [(and verdict - (n.= next (at n.enum succ prev))) + (n.= next (of n.enum succ prev))) next]) [true head] tail) |