Data.Hashable.Generic

Hashable support for GHC generics.

Since: 1.3.0.0

Implementation using Generics.

genericHashWithSalt :: (Generic a, GHashable Zero (Rep a)) => Int -> a -> Int

Generic hashWithSalt.

Since: 1.3.0.0

genericLiftHashWithSalt :: (Generic1 t, GHashable One (Rep1 t)) => (Int -> a -> Int) -> Int -> t a -> Int

Generic liftHashWithSalt.

Since: 1.3.0.0

Constraints

class GHashable arity f where

The class of types that can be generically hashed.

Methods

ghashWithSalt :: HashArgs arity a -> Int -> f a -> Int

Instances

GHashable One Par1

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> Par1 a -> Int

GHashable arity (U1 :: Type -> Type)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a -> Int -> U1 a -> Int

GHashable arity (V1 :: Type -> Type)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a -> Int -> V1 a -> Int

Hashable1 f => GHashable One (Rec1 f)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> Rec1 f a -> Int

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

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a0 -> Int -> (a :+: b) a0 -> Int

Hashable a => GHashable arity (K1 i a :: Type -> Type)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a0 -> Int -> K1 i a a0 -> Int

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

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a0 -> Int -> (a :*: b) a0 -> Int

GHashable arity a => GHashable arity (M1 i c a)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs arity a0 -> Int -> M1 i c a a0 -> Int

(Hashable1 f, GHashable One g) => GHashable One (f :.: g)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> (f :.: g) a -> Int

data One

Instances

GHashable One Par1

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> Par1 a -> Int

Hashable1 f => GHashable One (Rec1 f)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> Rec1 f a -> Int

(Hashable1 f, GHashable One g) => GHashable One (f :.: g)

Defined in Data.Hashable.Generic.Instances

Methods

ghashWithSalt :: HashArgs One a -> Int -> (f :.: g) a -> Int

newtype HashArgs One a

Defined in Data.Hashable.Class

newtype HashArgs One a = HashArgs1 (Int -> a -> Int)

data Zero

Instances

data HashArgs Zero a

Defined in Data.Hashable.Class

data HashArgs Zero a = HashArgs0

data family HashArgs arity a :: Type

Instances

newtype HashArgs One a

Defined in Data.Hashable.Class

newtype HashArgs One a = HashArgs1 (Int -> a -> Int)

data HashArgs Zero a

Defined in Data.Hashable.Class

data HashArgs Zero a = HashArgs0