liquidhaskell-boot-0.9.6.3: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Types.Generics

Description

Deriving instances of Hashable and Binary, generically.

Orphan instances

(Generic a, GBinaryPut (Rep a), GBinaryGet (Rep a)) => Binary (Generically a) Source # 
Instance details

Methods

put :: Generically a -> Put #

get :: Get (Generically a) #

putList :: [Generically a] -> Put #

(Generic a, Eq (Rep a ())) => Eq (Generically a) Source # 
Instance details

(Eq (Generically a), Generic a, GHashable Zero (Rep a)) => Hashable (Generically a) Source # 
Instance details

Methods

hashWithSalt :: Int -> Generically a -> Int #

hash :: Generically a -> Int #