Safe Haskell	Safe-Inferred
Language	Haskell98

Numeric.Decidable.Nilpotent

Synopsis

class (Monoidal r, Multiplicative r) => DecidableNilpotent r where
- isNilpotent :: r -> Bool

Documentation

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

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

Methods

isNilpotent :: r -> Bool Source #

Instances

Instances details

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