regular-0.2: Generic programming library for regular datatypes.Source codeContentsIndex
Generics.Regular.Functions.Eq
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Generic equality
Description
Summary: Generic equality.
Synopsis
class Eq f where
eqf :: (a -> a -> Bool) -> f a -> f a -> Bool
eq :: (Regular a, Eq (PF a)) => a -> a -> Bool
Generic equality
class Eq f whereSource
Methods
eqf :: (a -> a -> Bool) -> f a -> f a -> BoolSource
show/hide Instances
Eq U
Eq I
Eq a => Eq (K a)
Eq f => Eq (C c f)
(Eq f, Eq g) => Eq (f :*: g)
(Eq f, Eq g) => Eq (f :+: g)
eq :: (Regular a, Eq (PF a)) => a -> a -> BoolSource
Produced by Haddock version 2.4.2