algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

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 # 
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 #