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 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Bool -> Bool #
DecidableZero Int #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Int -> Bool #
DecidableZero Int8 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Int8 -> Bool #
DecidableZero Int16 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Int16 -> Bool #
DecidableZero Int32 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Int32 -> Bool #
DecidableZero Int64 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Int64 -> Bool #
DecidableZero Integer #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Integer -> Bool #
DecidableZero Natural #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Natural -> Bool #
DecidableZero Word #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Word -> Bool #
DecidableZero Word8 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Word8 -> Bool #
DecidableZero Word16 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Word16 -> Bool #
DecidableZero Word32 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Word32 -> Bool #
DecidableZero Word64 #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: Word64 -> Bool #
DecidableZero () #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: () -> Bool #
DecidableZero r => DecidableZero (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite Methods isZero :: Opposite r -> Bool #
DecidableZero (BasisCoblade m) #
Instance details Defined in Numeric.Coalgebra.Geometric Methods isZero :: BasisCoblade m -> Bool #
GCDDomain d => DecidableZero (Fraction d) #
Instance details Defined in Numeric.Field.Fraction Methods isZero :: Fraction d -> Bool #
(DecidableZero a, DecidableZero b) => DecidableZero (a, b) #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: (a, b) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c) => DecidableZero (a, b, c) #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: (a, b, c) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d) => DecidableZero (a, b, c, d) #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: (a, b, c, d) -> Bool #
(DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d, DecidableZero e) => DecidableZero (a, b, c, d, e) #
Instance details Defined in Numeric.Decidable.Zero Methods isZero :: (a, b, c, d, e) -> Bool #