algebra-4.3.1: Constructive abstract algebra

Safe Haskell	Safe
Language	Haskell98

Numeric.Decidable.Zero

Documentation

class Monoidal r => DecidableZero r where #

Minimal complete definition

Methods

isZero :: r -> Bool #

Instances

DecidableZero Bool #
Methods isZero :: Bool -> Bool #
DecidableZero Int #
Methods isZero :: Int -> Bool #
DecidableZero Int8 #
Methods isZero :: Int8 -> Bool #
DecidableZero Int16 #
Methods isZero :: Int16 -> Bool #
DecidableZero Int32 #
Methods isZero :: Int32 -> Bool #
DecidableZero Int64 #
Methods isZero :: Int64 -> Bool #
DecidableZero Integer #
Methods isZero :: Integer -> Bool #
DecidableZero Natural #
Methods isZero :: Natural -> Bool #
DecidableZero Word #
Methods isZero :: Word -> Bool #
DecidableZero Word8 #
Methods isZero :: Word8 -> Bool #
DecidableZero Word16 #
Methods isZero :: Word16 -> Bool #
DecidableZero Word32 #
Methods isZero :: Word32 -> Bool #
DecidableZero Word64 #
Methods isZero :: Word64 -> Bool #
DecidableZero () #
Methods isZero :: () -> Bool #
DecidableZero r => DecidableZero (Opposite r) #
Methods isZero :: Opposite r -> Bool #
DecidableZero (BasisCoblade m) #
Methods isZero :: BasisCoblade m -> Bool #
GCDDomain d => DecidableZero (Fraction d) #
Methods isZero :: Fraction d -> Bool #
(DecidableZero a, DecidableZero b) => DecidableZero (a, b) #
Methods isZero :: (a, b) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c) => DecidableZero (a, b, c) #
Methods isZero :: (a, b, c) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d) => DecidableZero (a, b, c, d) #
Methods isZero :: (a, b, c, d) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d, DecidableZero e) => DecidableZero (a, b, c, d, e) #
Methods isZero :: (a, b, c, d, e) -> Bool #