base-4.8.0.0: Basic libraries

Copyright	(c) The University of Glasgow 2005
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	stable
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Eq

Description

Equality

Synopsis

class Eq a where
- (==) :: a -> a -> Bool
- (/=) :: a -> a -> Bool

Documentation

class Eq a where

The Eq class defines equality (== ) and inequality (/= ). All the basic datatypes exported by the Prelude are instances of Eq , and Eq may be derived for any datatype whose constituents are also instances of Eq .

Minimal complete definition: either == or /= .

Minimal complete definition

Methods

(==) :: a -> a -> Bool infix 4

(/=) :: a -> a -> Bool infix 4

Instances

Eq ()

Eq GeneralCategory

Eq Associativity

Eq ArithException

Eq MaskingState

Eq CodingProgress

Eq IODeviceType

Eq ArrayException

Eq AsyncException

Eq ThreadStatus

Equality of constructors

Eq SpecConstrAnnotation

Eq a => Eq [a]

Eq a => Eq (Ratio a)

Eq (StablePtr a)

Eq (Ptr a)

Eq (U1 p)

Eq p => Eq (Par1 p)

Eq a => Eq (Maybe a)

Eq a => Eq (Down a)

Eq a => Eq (Last a)

Eq a => Eq (First a)

Eq a => Eq (Product a)

Eq a => Eq (Sum a)

Eq a => Eq (Dual a)

Eq (MVar a)

Eq (IORef a)

Eq (ForeignPtr a)

Eq (TVar a)

Eq a => Eq (ZipList a)

Eq (Chan a)

Eq a => Eq (Complex a)

Eq (Fixed a)

Eq a => Eq (Identity a)

Eq (StableName a)

(Eq a, Eq b) => Eq (Either a b)

Eq (f p) => Eq (Rec1 f p)

(Eq a, Eq b) => Eq (a, b)

Eq (STRef s a)

Eq (Proxy k s)

Eq a => Eq (Const a b)

Eq c => Eq (K1 i c p)

(Eq (f p), Eq (g p)) => Eq ((:+:) f g p)

(Eq (f p), Eq (g p)) => Eq ((:*:) f g p)

Eq (f (g p)) => Eq ((:.:) f g p)

(Eq a, Eq b, Eq c) => Eq (a, b, c)

Eq ((:~:) k a b)

Eq (Coercion k a b)

Eq (f a) => Eq (Alt k f a)

Eq (f p) => Eq (M1 i c f p)

(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)

(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)