regular-0.3.4.4: Generic programming library for regular datatypes.

Copyright(c) 2008 Universiteit Utrecht
LicenseBSD3
Maintainergenerics@haskell.org
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell98

Generics.Regular.Functions.Eq

Contents

Description

Summary: Generic equality.

Synopsis

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 (S s f) 
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