Stability	experimental
Maintainer	Patrick Perry <patperry@stanford.edu>

Data.AEq

Description

A type class for approximate and exact equalilty comparisons and instances for common data types.

Documentation

class Eq a => AEq a whereSource

Methods

(===) :: a -> a -> Bool Source

A reliable way to test if two values are exactly equal. For floating point values, this will consider NaN to be (===) to NaN.

(~==) :: a -> a -> Bool Source

An approximate equality comparison operator. For RealFloat values, (~==) x y = (x == y) || (abs (x - y) < epsilon) || (eqRel delta x y) || (isNaN x && isNaN y). For Complex numbers, the if the real and imaginary parts are not approximately equal, the polar forms are compared, instead.

Instances

AEq Bool
AEq Double
AEq Float
AEq Int
AEq Int8
AEq Int16
AEq Int32
AEq Int64
AEq Word
AEq Word8
AEq Word16
AEq Word32
AEq Word64
AEq ()
AEq a => AEq [a]
(RealFloat a, AEq a) => AEq (Complex a)
AEq a => AEq (Maybe a)
(AEq a, AEq b) => AEq (Either a b)
(AEq a, AEq b) => AEq (a, b)
(AEq a, AEq b, AEq c) => AEq (a, b, c)
(AEq a, AEq b, AEq c, AEq d) => AEq (a, b, c, d)

compareListsWith :: (a -> a -> Bool) -> [a] -> [a] -> Bool Source