Data.Array.Accelerate.Data.Hashable

This module defines a class Hashable, for types that can be converted to a hash value.

Documentation

class Elt a => Hashable a where

The class of types that can be converted to a hash value.

Minimal complete definition

hashWithSalt

Methods

hashWithSalt :: Exp Int -> Exp a -> Exp Int infixl 0

Return a hash value for the argument, using the given salt.

The general contract of hashWithSalt is:

• If two values are equal according to the == method, then applying the hashWithSalt method on each of the two values must produce the same integer result if the same salt is used in each case.
• It is not required that if two values are unequal according to the == method, then applying the hashWithSalt method on each of the two values must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal values may improve the performance of hashing-based data structures.
• This method can be used to compute different hash values for the same input by providing a different salt in each application of the method. This implies that any instance that defines hashWithSalt must make use of the salt in its implementation.

hash :: Exp a -> Exp Int

Like hashWithSalt, but no salt is used. The default implementation uses hashWithSalt with some default salt. Instances might want to implement this method to provide a more efficient implementation than the default implementation.

Instances

Hashable Bool

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Bool -> Exp Int

hash :: Exp Bool -> Exp Int

Hashable Char

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Char -> Exp Int

hash :: Exp Char -> Exp Int

Hashable Double

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Double -> Exp Int

hash :: Exp Double -> Exp Int

Hashable Float

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Float -> Exp Int

hash :: Exp Float -> Exp Int

Hashable Int

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Int -> Exp Int

hash :: Exp Int -> Exp Int

Hashable Int8

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Int8 -> Exp Int

hash :: Exp Int8 -> Exp Int

Hashable Int16

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Int16 -> Exp Int

hash :: Exp Int16 -> Exp Int

Hashable Int32

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Int32 -> Exp Int

hash :: Exp Int32 -> Exp Int

Hashable Int64

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Int64 -> Exp Int

hash :: Exp Int64 -> Exp Int

Hashable Word

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Word -> Exp Int

hash :: Exp Word -> Exp Int

Hashable Word8

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Word8 -> Exp Int

hash :: Exp Word8 -> Exp Int

Hashable Word16

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Word16 -> Exp Int

hash :: Exp Word16 -> Exp Int

Hashable Word32

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Word32 -> Exp Int

hash :: Exp Word32 -> Exp Int

Hashable Word64

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Word64 -> Exp Int

hash :: Exp Word64 -> Exp Int

Hashable ()

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp () -> Exp Int

hash :: Exp () -> Exp Int

Hashable Half

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp Half -> Exp Int

hash :: Exp Half -> Exp Int

Hashable a => Hashable (Maybe a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Maybe a) -> Exp Int

hash :: Exp (Maybe a) -> Exp Int

Hashable a => Hashable (Ratio a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Ratio a) -> Exp Int

hash :: Exp (Ratio a) -> Exp Int

Hashable a => Hashable (Product a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Product a) -> Exp Int

hash :: Exp (Product a) -> Exp Int

Hashable a => Hashable (Sum a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Sum a) -> Exp Int

hash :: Exp (Sum a) -> Exp Int

Hashable a => Hashable (Max a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Max a) -> Exp Int

hash :: Exp (Max a) -> Exp Int

Hashable a => Hashable (Min a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Min a) -> Exp Int

hash :: Exp (Min a) -> Exp Int

Hashable a => Hashable (Complex a)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Complex a) -> Exp Int

hash :: Exp (Complex a) -> Exp Int

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

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (Either a b) -> Exp Int

hash :: Exp (Either a b) -> Exp Int

(Hashable x0, Hashable x1) => Hashable (x0, x1)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1) -> Exp Int

hash :: Exp (x0, x1) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2) => Hashable (x0, x1, x2)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2) -> Exp Int

hash :: Exp (x0, x1, x2) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3) => Hashable (x0, x1, x2, x3)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3) -> Exp Int

hash :: Exp (x0, x1, x2, x3) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4) => Hashable (x0, x1, x2, x3, x4)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5) => Hashable (x0, x1, x2, x3, x4, x5)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6) => Hashable (x0, x1, x2, x3, x4, x5, x6)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10, Hashable x11) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10, Hashable x11, Hashable x12) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10, Hashable x11, Hashable x12, Hashable x13) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10, Hashable x11, Hashable x12, Hashable x13, Hashable x14) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Exp Int

(Hashable x0, Hashable x1, Hashable x2, Hashable x3, Hashable x4, Hashable x5, Hashable x6, Hashable x7, Hashable x8, Hashable x9, Hashable x10, Hashable x11, Hashable x12, Hashable x13, Hashable x14, Hashable x15) => Hashable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)

Defined in Data.Array.Accelerate.Data.Hashable

Methods

hashWithSalt :: Exp Int -> Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Exp Int

hash :: Exp (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Exp Int

hashUsing

Arguments

:: Hashable b

=> (Exp a -> Exp b)

transformation function

-> Exp Int

salt

-> Exp a

value to transform

-> Exp Int

Transform a value into a Hashable value, then hash the transformed value using the given salt.

This is a useful shorthand in cases where a type can easily be mapped to another type that is already an instance of Hashable.

defaultHashWithSalt :: Hashable a => Exp Int -> Exp a -> Exp Int