regular-0.3.4.2: Generic programming library for regular datatypes.

Portabilitynon-portable
Stabilityexperimental
Maintainer[email protected]
Safe HaskellSafe-Inferred

Generics.Regular.Functions.Eq

Contents

Description

Summary: Generic equality.

Synopsis

Generic equality

class Eq f whereSource

Methods

eqf :: (a -> a -> Bool) -> f a -> f a -> BoolSource

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 -> BoolSource