multirec-0.2: Generic programming with systems of recursive datatypesSource codeContentsIndex
Generics.MultiRec.Eq
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Generic equality
Description
Generic equality.
Synopsis
class HEq f where
heq :: s ix -> (forall ix. Ix s ix => s ix -> r ix -> r ix -> Bool) -> f s r ix -> f s r ix -> Bool
eq :: (Ix s ix, HEq (PF s)) => s ix -> ix -> ix -> Bool
Generic equality
class HEq f whereSource
Methods
heq :: s ix -> (forall ix. Ix s ix => s ix -> r ix -> r ix -> Bool) -> f s r ix -> f s r ix -> BoolSource
show/hide Instances
HEq U
Eq x => HEq (K x)
HEq (I xi)
HEq f => HEq (C c f)
HEq f => HEq (f :>: ix)
(HEq f, HEq g) => HEq (f :*: g)
(HEq f, HEq g) => HEq (f :+: g)
eq :: (Ix s ix, HEq (PF s)) => s ix -> ix -> ix -> BoolSource
Produced by Haddock version 2.4.2