diff options
| author | code <code@mail.matthias.benkard.de> | 2014-11-10 22:04:35 +0100 |
|---|---|---|
| committer | code <code@mail.matthias.benkard.de> | 2014-11-10 22:04:35 +0100 |
| commit | 7a00f761db31ada5098d3e4a2ce995fa775c47c9 (patch) | |
| tree | 7fe39513703860694d4ed435f3e00b1b6a87481c /cubehash.rkt | |
| parent | 5b1507b89b3c688cf92a6c303ec0bf7d5648309a (diff) | |
Diffstat (limited to 'cubehash.rkt')
| -rw-r--r-- | cubehash.rkt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cubehash.rkt b/cubehash.rkt index 9eb8a84..bb87788 100644 --- a/cubehash.rkt +++ b/cubehash.rkt @@ -42,6 +42,19 @@ [cubehash-512x (Bytes -> Exact-Nonnegative-Integer)] #;[cubemac-128 (Bytes Bytes -> Exact-Nonnegative-Integer)]) +(: cubehash (Exact-Nonnegative-Integer Exact-Nonnegative-Integer + Exact-Nonnegative-Integer Exact-Nonnegative-Integer + Exact-Nonnegative-Integer -> + Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-128 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-160 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-224 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-256 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-384 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-512 (Bytes -> Exact-Nonnegative-Integer)) +(: cubehash-512x (Bytes -> Exact-Nonnegative-Integer)) +#;(: cubemac-128 (Bytes Bytes -> Exact-Nonnegative-Integer)) + (define-type Word Exact-Nonnegative-Integer) (define-type Bit (U Zero One)) |