multirec-0.3: Generic programming for families of recursive datatypesSource codeContentsIndex
Generics.MultiRec.Eq
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Generic equality
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
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
show/hide Instances
HEq phi U
Eq a => HEq phi (K a)
El phi xi => HEq phi (I xi)
(Constructor c, HEq phi f) => HEq phi (C c f)
HEq phi f => HEq phi (f :>: ix)
(HEq phi f, HEq phi g) => HEq phi (f :*: g)
(HEq phi f, HEq phi g) => HEq phi (f :+: g)
eq :: (Fam phi, HEq phi (PF phi)) => phi ix -> ix -> ix -> BoolSource
Produced by Haddock version 2.4.2