diff options
| author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
| commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
| tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/test/aedifex/hash.lux | |
| parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) | |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index b4ef53c73..28d912a48 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -25,7 +25,7 @@ [data ["_[0]" binary]]]]) -(def: .public (random hash) +(def .public (random hash) (All (_ h) (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) @@ -33,7 +33,7 @@ [size (at ! each (n.% 100) random.nat)] (at ! each hash (_binary.random size)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Hash /.SHA-1 /.MD5]) |