Safe Haskell	Safe
Language	Haskell98

Numeric.Decidable.Zero

Documentation

class Monoidal r => DecidableZero r where Source #

Minimal complete definition

isZero

Methods

isZero :: r -> Bool Source #

Instances

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