FR
importPour l'utiliser : import Data.Hashable

Data.Hashable — hashing keys for hash tables

Synopsis
hashMod : Int
combineHash : Int -> Int -> Int

Mix two digests (the classic 31-multiplier, à la Java hashCode), kept in [0, hashMod). Order-sensitive, so combineHash a b ≠ combineHash b a.

interface Hashable a where
hash : a -> Int

Types whose values can be hashed to an Int in [0, hashMod).

Instances : Bool, Char, Int, Nat, String