Safe Haskell	Safe
Language	Haskell98

Algebra.ZeroTestable

Contents

Instances for atomic types
Instances for composed types

Synopsis

class C a where
- isZero :: a -> Bool
defltIsZero :: (Eq a, C a) => a -> Bool

Documentation

class C a where #

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

Methods

isZero :: a -> Bool #

Instances

C Double #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Double -> Bool #
C Float #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Float -> Bool #
C Int #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Int -> Bool #
C Int8 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Int8 -> Bool #
C Int16 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Int16 -> Bool #
C Int32 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Int32 -> Bool #
C Int64 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Int64 -> Bool #
C Integer #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Integer -> Bool #
C Word #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Word -> Bool #
C Word8 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Word8 -> Bool #
C Word16 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Word16 -> Bool #
C Word32 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Word32 -> Bool #
C Word64 #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: Word64 -> Bool #
C T #
Instance details Defined in Number.Peano Methods isZero :: T -> Bool #
C T #
Instance details Defined in Number.GaloisField2p32m5 Methods isZero :: T -> Bool #
C T #
Instance details Defined in Number.FixedPoint.Check Methods isZero :: T -> Bool #
C T #
Instance details Defined in Number.Positional.Check Methods isZero :: T -> Bool #
C v => C [v] #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: [v] -> Bool #
C a => C (T a) #
Instance details Defined in Number.NonNegative Methods isZero :: T a -> Bool #
(C a, C a) => C (T a) #
Instance details Defined in Number.Ratio Methods isZero :: T a -> Bool #
(Eq a, Num a) => C (T a) #
Instance details Defined in MathObj.Wrapper.Haskell98 Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in Number.ResidueClass.Check Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in Number.NonNegativeChunky Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in MathObj.Polynomial Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in Number.Complex Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in Number.Quaternion Methods isZero :: T a -> Bool #
C a => C (T a) #
Instance details Defined in MathObj.Wrapper.NumericPrelude Methods isZero :: T a -> Bool #
(C v0, C v1) => C (v0, v1) #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: (v0, v1) -> Bool #
C v => C (T a v) #
Instance details Defined in Number.OccasionallyScalarExpression Methods isZero :: T a v -> Bool #
C v => C (T a v) #
Instance details Defined in Number.Physical Methods isZero :: T a v -> Bool #
C v => C (T a v) #
Instance details Defined in Number.SI Methods isZero :: T a v -> Bool #
(C v0, C v1, C v2) => C (v0, v1, v2) #
Instance details Defined in Algebra.ZeroTestable Methods isZero :: (v0, v1, v2) -> Bool #

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

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