base-4.8.2.0: Basic libraries

Data.Eq

Description

Equality

Synopsis

Documentation

class Eq a where Source

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 Source

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

Instances

 Eq () Equality of constructors Eq a => Eq [a] Eq a => Eq (Ratio a) Eq (StablePtr a) Eq (Ptr a) Eq (FunPtr 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)