Precursor.Numeric.Integral

Documentation

class Semiring a => Integral a where

An integral domain. Members of this class must be Semirings with commutative *.

• a * b = b * a

• (a // b) * b + (a % b) = a

• (a'+'k'*'b) % b = a % b

• zero % b = zero

Minimal complete definition

divMod | (//), (%)

Methods

divMod :: a -> a -> (a, a)

The divisor and modulo

(//) :: a -> a -> a infixl 7

Integer division

(%) :: a -> a -> a infixl 7

Modulo

Instances

Integral Int

Methods

divMod :: Int -> Int -> (Int, Int)

(//) :: Int -> Int -> Int

(%) :: Int -> Int -> Int

Integral Int8

Methods

divMod :: Int8 -> Int8 -> (Int8, Int8)

(//) :: Int8 -> Int8 -> Int8

(%) :: Int8 -> Int8 -> Int8

Integral Int16

Methods

divMod :: Int16 -> Int16 -> (Int16, Int16)

(//) :: Int16 -> Int16 -> Int16

(%) :: Int16 -> Int16 -> Int16

Integral Int32

Methods

divMod :: Int32 -> Int32 -> (Int32, Int32)

(//) :: Int32 -> Int32 -> Int32

(%) :: Int32 -> Int32 -> Int32

Integral Int64

Methods

divMod :: Int64 -> Int64 -> (Int64, Int64)

(//) :: Int64 -> Int64 -> Int64

(%) :: Int64 -> Int64 -> Int64

Integral Integer

Methods

divMod :: Integer -> Integer -> (Integer, Integer)

(//) :: Integer -> Integer -> Integer

(%) :: Integer -> Integer -> Integer

even :: Integral a => a -> Bool

odd :: Integral a => a -> Bool