idris-lang/Idris-dev — pull request #1586 by Helkafen (2014-10-05 13:43:39+00:00)
Title: Data.Hash module

This module provides a hash function for several basic types. The underlying hashing function is basic (djb2 alike).

The salted version is meant to mitigate hash-flooding DoS attacks.

Idris> :module Data.Hash
*Hash> hash 'a'
12503442884019904820 : Bits64
*Hash> saltedHash 38923 'a'
224223360712479852 : Bits64