Data.Hashable.Lifted · hashable-1.5.1.0 · horizon-build-essentials

valuedefaultLiftHashWithSalt

:: (Hashable2 f, Hashable a)
=> Int -> b -> Int
-> Int
-> f a b
-> Int

valuehashWithSalt1 :: (Hashable1 f, Hashable a) => Int -> f a -> Int

valuehashWithSalt2

:: (Hashable2 f, Hashable a, Hashable b)
=> Int
-> f a b
-> Int

classclass (Eq1 t, forall a. Hashable a => Hashable (t a)) => Hashable1 (t :: Type -> Type) where

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> t a -> Int

Instances21Hashable1, …

Hashable1 ComplexDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 IntMapDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 SeqDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 SetDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 TreeDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 NonEmptyDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 IdentityDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 MaybeDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 SoloDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 HashedDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 []Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable1 (Either a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a1 => Hashable1 (Tuple2 a1)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable k => Hashable1 (Map k)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 ProxyDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable1 (Const a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2) => Hashable1 (Tuple3 a1 a2)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2, Hashable a3) => Hashable1 (Tuple4 a1 a2 a3)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable1 f, Hashable1 g) => Hashable1 (Product f g)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable1 f, Hashable1 g) => Hashable1 (Sum f g)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable1 f, Hashable1 g) => Hashable1 (Compose f g)Defined in hashable-1.5.1.0 · Data.Hashable.Class

classclass (Eq2 t, forall a. Hashable a => Hashable1 (t a)) => Hashable2 (t :: Type -> Type -> Type) where

Methods

liftHashWithSalt2 :: (Int -> a -> Int) -> (Int -> b -> Int) -> Int -> t a b -> Int

Instances6Hashable2

Hashable2 MapDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable2 EitherDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable2 Tuple2Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a1 => Hashable2 (Tuple3 a1)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable2 ConstDefined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2) => Hashable2 (Tuple4 a1 a2)Defined in hashable-1.5.1.0 · Data.Hashable.Class