Numeric.MixedTypes.Eq

Equality checks

type HasEq t1 t2

class HasEqAsymmetric a b

(==)

(/=)

type HasEqCertainly t1 t2

type HasEqCertainlyAsymmetric t1 t2

notCertainlyDifferentFrom

certainlyEqualTo

certainlyNotEqualTo

(?==?)

(!==!)

(!/=!)

Tests

specHasEq

specHasEqNotMixed

type HasEqX t1 t2

specConversion

Specific comparisons

class CanTestFinite t

class CanTestInteger t

class CanTestZero t

specCanTestZero

class CanPickNonZero t

specCanPickNonZero