Futhark.Data.Compare

Facilities for comparing values for equality. While Eq instances are defined, these are not useful when NaNs are involved, and do not *explain* the differences.

Documentation

compareValues :: Tolerance -> Value -> Value -> [Mismatch]

Compare two Futhark values for equality.

compareSeveralValues :: Tolerance -> [Value] -> [Value] -> [Mismatch]

As compareValues, but compares several values. The two lists must have the same length.

newtype Tolerance

The maximum relative tolerance used for comparing floating-point results. 0.002 (0.2%) is a fine default if you have no particular opinion.

Constructors

Tolerance Double

Instances

Eq Tolerance

Defined in Futhark.Data.Compare

Methods

(==) :: Tolerance -> Tolerance -> Bool

(/=) :: Tolerance -> Tolerance -> Bool

Ord Tolerance

Defined in Futhark.Data.Compare

Methods

compare :: Tolerance -> Tolerance -> Ordering

(<) :: Tolerance -> Tolerance -> Bool

(<=) :: Tolerance -> Tolerance -> Bool

(>) :: Tolerance -> Tolerance -> Bool

(>=) :: Tolerance -> Tolerance -> Bool

max :: Tolerance -> Tolerance -> Tolerance

min :: Tolerance -> Tolerance -> Tolerance

Show Tolerance

Defined in Futhark.Data.Compare

Methods

showsPrec :: Int -> Tolerance -> ShowS

show :: Tolerance -> String

showList :: [Tolerance] -> ShowS

data Mismatch

Two values differ in some way. The Show instance produces a human-readable explanation.

Instances

Show Mismatch

Defined in Futhark.Data.Compare

Methods

showsPrec :: Int -> Mismatch -> ShowS

show :: Mismatch -> String

showList :: [Mismatch] -> ShowS