Data.Generic.Rep.Eq

class GenericEq a  where

Members

• genericEq' :: a -> a -> Boolean

Instances

• GenericEq NoConstructors
• GenericEq NoArguments
• (GenericEq a, GenericEq b) => GenericEq (Sum a b)
• (GenericEq a, GenericEq b) => GenericEq (Product a b)
• (GenericEq a) => GenericEq (Constructor name a)
• (Eq a) => GenericEq (Argument a)
• (GenericEq a) => GenericEq (Rec a)
• (Eq a) => GenericEq (Field name a)

genericEq :: forall rep a. Generic a rep => GenericEq rep => a -> a -> Boolean

A Generic implementation of the eq member from the Eq type class.