multirec-0.5: Generic programming for families of recursive datatypes
Generics.MultiRec.Eq
Contents
Description
Generic equality.
Synopsis
class HEq phi f whereSource
Methods
heq :: (forall ix. phi ix -> r ix -> r ix -> Bool) -> phi ix -> f r ix -> f r ix -> BoolSource
Instances
For constant types, we make use of the standard equality function.
eq :: (Fam phi, HEq phi (PF phi)) => phi ix -> ix -> ix -> BoolSource