regular-0.2: Generic programming library for regular datatypes.
Source code
Contents
Index
Generics.Regular.Functions.Eq
Portability
non-portable
Stability
experimental
Maintainer
generics@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
where
Source
Methods
eqf
:: (a -> a ->
Bool
) -> f a -> f a ->
Bool
Source
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 ->
Bool
Source
Produced by
Haddock
version 2.4.2