Safe Haskell	None
Language	Haskell2010

Data.Constructors.TH

Synopsis

Documentation

class EqC a where Source #

Methods

Compare the outermost constructor for a datatype. Instances should satisfy eqConstr (C a) (K b) = True iff C=K

Compare the outermost constructor for a datatype. Instances should satisfy eqConstr (C a) (K b) = True iff C=K

Derive an instance of EqC for any simple type For example, deriveEqC ''Either will generate:

instance EqC (Either a b) where
  eqConstr Left{}  Left{}  = True
  eqConstr Right{} Right{} = True
  eqConstr _       _       = False