|
Generics.MultiRec.Eq | Portability | non-portable | Stability | experimental | Maintainer | generics@haskell.org |
|
|
|
|
|
Description |
Generic equality.
|
|
Synopsis |
|
class HEq phi f where | heq :: (forall ix. phi ix -> r ix -> r ix -> Bool) -> phi ix -> f r ix -> f r ix -> Bool |
| | eq :: (Fam phi, HEq phi (PF phi)) => phi ix -> ix -> ix -> Bool |
|
|
|
Generic equality
|
|
|
| Methods | heq :: (forall ix. phi ix -> r ix -> r ix -> Bool) -> phi ix -> f r ix -> f r ix -> Bool | Source |
|
| | Instances | |
|
|
|
|
Produced by Haddock version 2.4.2 |