data-constructors-0.1.0.0: Generically compare data by their constructors

Safe HaskellSafe
LanguageHaskell2010

Data.Constructors.EqC

Documentation

class EqC a where Source #

Methods

eqConstr :: a -> a -> Bool Source #

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

eqConstr :: Data a => a -> a -> Bool Source #

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