Safe Haskell	Safe
Language	Haskell98

Numeric.Decidable.Nilpotent

Synopsis

class (Monoidal r, Multiplicative r) => DecidableNilpotent r where

Documentation

class (Monoidal r, Multiplicative r) => DecidableNilpotent r where #

An element x is nilpotent if there exists n s.t. pow1p x n is zero.

Minimal complete definition

isNilpotent

Methods

isNilpotent :: r -> Bool #

Instances

DecidableNilpotent Bool #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Bool -> Bool #
DecidableNilpotent Int #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Int -> Bool #
DecidableNilpotent Int8 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Int8 -> Bool #
DecidableNilpotent Int16 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Int16 -> Bool #
DecidableNilpotent Int32 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Int32 -> Bool #
DecidableNilpotent Int64 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Int64 -> Bool #
DecidableNilpotent Integer #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Integer -> Bool #
DecidableNilpotent Natural #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Natural -> Bool #
DecidableNilpotent Word8 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Word8 -> Bool #
DecidableNilpotent Word16 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Word16 -> Bool #
DecidableNilpotent Word32 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Word32 -> Bool #
DecidableNilpotent Word64 #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: Word64 -> Bool #
DecidableNilpotent () #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: () -> Bool #
(DecidableNilpotent a, DecidableNilpotent b) => DecidableNilpotent (a, b) #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: (a, b) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c) => DecidableNilpotent (a, b, c) #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: (a, b, c) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c, DecidableNilpotent d) => DecidableNilpotent (a, b, c, d) #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: (a, b, c, d) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c, DecidableNilpotent d, DecidableNilpotent e) => DecidableNilpotent (a, b, c, d, e) #
Instance details Defined in Numeric.Decidable.Nilpotent Methods isNilpotent :: (a, b, c, d, e) -> Bool #