Copyright | (c) 2008--2010 Universiteit Utrecht |
---|---|
License | BSD3 |
Maintainer | generics@haskell.org |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Generic equality.
Generic equality
class HEq phi f where Source #
Instances
HEq phi U Source # | |
Eq a => HEq phi (K a) Source # | For constant types, we make use of the standard equality function. |
El phi xi => HEq phi (I xi) Source # | |
(Constructor c, HEq phi f) => HEq phi (C c f) Source # | |
HEq phi f => HEq phi (f :>: ix) Source # | |
(Eq1 f, HEq phi g) => HEq phi (f :.: g) Source # | |
(HEq phi f, HEq phi g) => HEq phi (f :*: g) Source # | |
(HEq phi f, HEq phi g) => HEq phi (f :+: g) Source # | |