Generics.Instant.Functions.Hashable

Documentation

You can use ghashWithSaltDefault as your generic hashWithSalt for any Representable type as follows:

instance Hashable MyType where hashWithSalt = ghashWithSaltDefault

ghashWithSaltDefault :: (Representable a, GHashable (Rep a)) => Int -> a -> Int

class (Representable a, GHashable (Rep a)) => RepGHashable a

RepGHashable is simply a synonym for (Representable a, GHashable (Rep a)) with the convenient kind (* -> Constraint)

Instances

(Representable a, GHashable (Rep a)) => RepGHashable a

Internals

class GHashable a where

Methods

ghashWithSalt :: Int -> a -> Int

Instances

GHashable Z

GHashable U

Hashable a => GHashable (Var a)

Hashable a => GHashable (Rec a)

(GHashable a, GHashable b) => GHashable ((:+:) a b)

(GHashable a, GHashable b) => GHashable ((:*:) a b)

GHashable a => GHashable (CEq k k c p q a)