Safe Haskell	Safe
Language	Haskell98

Numeric.Decidable.Nilpotent

Synopsis

Documentation

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

Minimal complete definition

Methods

Instances

DecidableNilpotent Bool #
Methods isNilpotent :: Bool -> Bool #
DecidableNilpotent Int #
Methods isNilpotent :: Int -> Bool #
DecidableNilpotent Int8 #
Methods isNilpotent :: Int8 -> Bool #
DecidableNilpotent Int16 #
Methods isNilpotent :: Int16 -> Bool #
DecidableNilpotent Int32 #
Methods isNilpotent :: Int32 -> Bool #
DecidableNilpotent Int64 #
Methods isNilpotent :: Int64 -> Bool #
DecidableNilpotent Integer #
Methods isNilpotent :: Integer -> Bool #
DecidableNilpotent Natural #
Methods isNilpotent :: Natural -> Bool #
DecidableNilpotent Word8 #
Methods isNilpotent :: Word8 -> Bool #
DecidableNilpotent Word16 #
Methods isNilpotent :: Word16 -> Bool #
DecidableNilpotent Word32 #
Methods isNilpotent :: Word32 -> Bool #
DecidableNilpotent Word64 #
Methods isNilpotent :: Word64 -> Bool #
DecidableNilpotent () #
Methods isNilpotent :: () -> Bool #
(DecidableNilpotent a, DecidableNilpotent b) => DecidableNilpotent (a, b) #
Methods isNilpotent :: (a, b) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c) => DecidableNilpotent (a, b, c) #
Methods isNilpotent :: (a, b, c) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c, DecidableNilpotent d) => DecidableNilpotent (a, b, c, d) #
Methods isNilpotent :: (a, b, c, d) -> Bool #
(DecidableNilpotent a, DecidableNilpotent b, DecidableNilpotent c, DecidableNilpotent d, DecidableNilpotent e) => DecidableNilpotent (a, b, c, d, e) #
Methods isNilpotent :: (a, b, c, d, e) -> Bool #