Data.Hashable

Definitions

defaultSalt : Bits64

  A default salt used in the implementation of 'hash'.

Visibility: export

interface Hashable : Type -> Type

  Interface for type that can be hashed.
  Minimal implementation: 'hashWithSalt'

Parameters: a
Methods:

hashWithSalt : Bits64 -> a -> Bits64

  Hash a value with the given salt

Fixity Declaration: infixl operator, level 10

hash : a -> Bits64

  Hash a value with the default salt

Fixity Declaration: infixl operator, level 10

Implementations:

Hashable Bits8

Hashable Bits16

Hashable Bits32

Hashable Bits64

Hashable Int

Hashable Int8

Hashable Int16

Hashable Int32

Hashable Int64

Hashable Char

Hashable Integer

Hashable Nat

Hashable String

Hashable Bool

(Hashable a, Hashable b) => Hashable (a, b)

Hashable a => Hashable (Maybe a)

Hashable a => Hashable (List a)

Hashable a => Hashable (SnocList a)

Hashable a => Hashable (Vect len a)

hashWithSalt : Hashable a => Bits64 -> a -> Bits64

  Hash a value with the given salt

Visibility: public export
Fixity Declaration: infixl operator, level 10

hash : Hashable a => a -> Bits64

  Hash a value with the default salt

Visibility: public export
Fixity Declaration: infixl operator, level 10

combine : Bits64 -> Bits64 -> Bits64

  Combine 2 hashes.

Visibility: export

defaultHashWithSalt : (a -> Bits64) -> Bits64 -> a -> Bits64

  Default implementation of 'hashWithSalt' for types which are smaller than Bits64 (eg Bits32, Int).

Visibility: export