Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Safe Haskell | Safe-Infered |
Generic equality.
Generic equality
HEq phi U | |
Eq a => HEq phi (K a) | For constant types, we make use of the standard equality function. |
El phi xi => HEq phi (I xi) | |
(Constructor c, HEq phi f) => HEq phi (C c f) | |
HEq phi f => HEq phi (:>: f ix) | |
(Eq1 f, HEq phi g) => HEq phi (:.: f g) | |
(HEq phi f, HEq phi g) => HEq phi (:*: f g) | |
(HEq phi f, HEq phi g) => HEq phi (:+: f g) |