diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 8a22579b2..310fd421d 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -150,21 +150,21 @@ (exception.except ..not_a_hash [(..encoding_size size) encoded])))) (with_template [<codec> <hash> <nat> <constructor>] - [(implementation: .public <codec> + [(def: .public <codec> (Codec Text (Hash <hash>)) - - (def: encoded (|>> representation ..encoded)) - (def: decoded (..decoded <nat> <constructor>)))] + (implementation + (def: encoded (|>> representation ..encoded)) + (def: decoded (..decoded <nat> <constructor>))))] [sha-1_codec SHA-1 ..sha-1::size ..as_sha-1] [md5_codec MD5 ..md5::size ..as_md5] ) - (implementation: .public equivalence + (def: .public equivalence (All (_ h) (Equivalence (Hash h))) - - (def: (= reference subject) - (at binary.equivalence = - (representation reference) - (representation subject)))) + (implementation + (def: (= reference subject) + (at binary.equivalence = + (representation reference) + (representation subject))))) ) |