diff options
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
-rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index a8b2e0d80..dfa36217b 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -30,8 +30,8 @@ (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) (do [! random.monad] - [size (# ! each (n.% 100) random.nat)] - (# ! each hash (_binary.random size)))) + [size (at ! each (n.% 100) random.nat)] + (at ! each hash (_binary.random size)))) (def: .public test Test @@ -51,13 +51,13 @@ (_.coverage [<hash> <constructor> <exception>] (and (case (<constructor> (/.data expected)) {try.#Success actual} - (# /.equivalence = expected actual) + (at /.equivalence = expected actual) {try.#Failure error} false) - (case (<constructor> (# binary.monoid composite - (/.data expected) - (/.data expected))) + (case (<constructor> (at binary.monoid composite + (/.data expected) + (/.data expected))) {try.#Success actual} false @@ -80,9 +80,9 @@ [(do random.monad [expected (..random <hash>)] (_.coverage [<codec>] - (case (# <codec> decoded - (format (# <codec> encoded expected) - "AABBCC")) + (case (at <codec> decoded + (format (at <codec> encoded expected) + "AABBCC")) {try.#Success actual} false |