numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellSafe-Inferred
LanguageHaskell98

Algebra.ZeroTestable

Synopsis

Documentation

class C a where Source #

Maybe the naming should be according to Algebra.Unit: Algebra.Zero as module name, and query as method name.

Methods

isZero :: a -> Bool Source #

Instances

Instances details
C Double Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Double -> Bool Source #

C Float Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Float -> Bool Source #

C Int Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Int -> Bool Source #

C Int8 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Int8 -> Bool Source #

C Int16 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Int16 -> Bool Source #

C Int32 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Int32 -> Bool Source #

C Int64 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Int64 -> Bool Source #

C Integer Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Integer -> Bool Source #

C Word Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Word -> Bool Source #

C Word8 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Word8 -> Bool Source #

C Word16 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Word16 -> Bool Source #

C Word32 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Word32 -> Bool Source #

C Word64 Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: Word64 -> Bool Source #

C T Source # 
Instance details

Defined in Number.Peano

Methods

isZero :: T -> Bool Source #

C T Source # 
Instance details

Defined in Number.GaloisField2p32m5

Methods

isZero :: T -> Bool Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

isZero :: T -> Bool Source #

C T Source # 
Instance details

Defined in Number.Positional.Check

Methods

isZero :: T -> Bool Source #

C v => C [v] Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: [v] -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in Number.NonNegative

Methods

isZero :: T a -> Bool Source #

(C a, C a) => C (T a) Source # 
Instance details

Defined in Number.Ratio

Methods

isZero :: T a -> Bool Source #

(Eq a, Num a) => C (T a) Source # 
Instance details

Defined in MathObj.Wrapper.Haskell98

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in Number.ResidueClass.Check

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in Number.NonNegativeChunky

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in MathObj.Polynomial

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in Number.Complex

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in Number.Quaternion

Methods

isZero :: T a -> Bool Source #

C a => C (T a) Source # 
Instance details

Defined in MathObj.Wrapper.NumericPrelude

Methods

isZero :: T a -> Bool Source #

(C v0, C v1) => C (v0, v1) Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: (v0, v1) -> Bool Source #

C v => C (T a v) Source # 
Instance details

Defined in Number.OccasionallyScalarExpression

Methods

isZero :: T a v -> Bool Source #

C v => C (T a v) Source # 
Instance details

Defined in Number.Physical

Methods

isZero :: T a v -> Bool Source #

C v => C (T a v) Source # 
Instance details

Defined in Number.SI

Methods

isZero :: T a v -> Bool Source #

(C v0, C v1, C v2) => C (v0, v1, v2) Source # 
Instance details

Defined in Algebra.ZeroTestable

Methods

isZero :: (v0, v1, v2) -> Bool Source #

defltIsZero :: (Eq a, C a) => a -> Bool Source #

Checks if a number is the zero element. This test is not possible for all C types, since e.g. a function type does not belong to Eq. isZero is possible for some types where (==zero) fails because there is no unique zero. Examples are vector (the length of the zero vector is unknown), physical values (the unit of a zero quantity is unknown), residue class (the modulus is unknown).

Instances for atomic types

Instances for composed types