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 745ec0910..472342c70 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 (:: ! map (n.% 100) random.nat)] - (:: ! map hash (_binary.random size)))) + [size (\ ! map (n.% 100) random.nat)] + (\ ! map hash (_binary.random size)))) (def: #export test Test @@ -51,13 +51,13 @@ (_.cover [<hash> <constructor> <exception>] (and (case (<constructor> (/.data expected)) (#try.Success actual) - (:: /.equivalence = expected actual) + (\ /.equivalence = expected actual) (#try.Failure error) false) - (case (<constructor> (:: binary.monoid compose - (/.data expected) - (/.data expected))) + (case (<constructor> (\ binary.monoid compose + (/.data expected) + (/.data expected))) (#try.Success actual) false @@ -80,9 +80,9 @@ [(do random.monad [expected (..random <hash>)] (_.cover [<codec>] - (case (:: <codec> decode - (format (:: <codec> encode expected) - "AABBCC")) + (case (\ <codec> decode + (format (\ <codec> encode expected) + "AABBCC")) (#try.Success actual) false |