Algebra.RealIntegral

Generally before using quot and rem, think twice. In most cases divMod and friends are the right choice, because they fulfill more of the wanted properties. On some systems quot and rem are more efficient and if you only use positive numbers, you may be happy with them. But we cannot warrant the efficiency advantage.

See also: Daan Leijen: Division and Modulus for Computer Scientists http://www.cs.uu.nl/%7Edaan/download/papers/divmodnote-letter.pdf, http://www.haskell.org/pipermail/haskell-cafe/2007-August/030394.html

Documentation

class (C a, C a, Ord a, C a) => C a where

Remember that divMod does not specify exactly what a quot b should be, mainly because there is no sensible way to define it in general. For an instance of Algebra.RealIntegral.C a, it is expected that a quot b will round towards 0 and a div b will round towards minus infinity.

Minimal definition: nothing required

Methods

quot, rem :: a -> a -> a infixl 7 `quot`, `rem`

quotRem :: a -> a -> (a, a)

Instances

C Int

Methods

quot :: Int -> Int -> Int

rem :: Int -> Int -> Int

quotRem :: Int -> Int -> (Int, Int)

C Int8

Methods

quot :: Int8 -> Int8 -> Int8

rem :: Int8 -> Int8 -> Int8

quotRem :: Int8 -> Int8 -> (Int8, Int8)

C Int16

Methods

quot :: Int16 -> Int16 -> Int16

rem :: Int16 -> Int16 -> Int16

quotRem :: Int16 -> Int16 -> (Int16, Int16)

C Int32

Methods

quot :: Int32 -> Int32 -> Int32

rem :: Int32 -> Int32 -> Int32

quotRem :: Int32 -> Int32 -> (Int32, Int32)

C Int64

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

C Integer

Methods

quot :: Integer -> Integer -> Integer

rem :: Integer -> Integer -> Integer

quotRem :: Integer -> Integer -> (Integer, Integer)

C Word

Methods

quot :: Word -> Word -> Word

rem :: Word -> Word -> Word

quotRem :: Word -> Word -> (Word, Word)

C Word8

Methods

quot :: Word8 -> Word8 -> Word8

rem :: Word8 -> Word8 -> Word8

quotRem :: Word8 -> Word8 -> (Word8, Word8)

C Word16

Methods

quot :: Word16 -> Word16 -> Word16

rem :: Word16 -> Word16 -> Word16

quotRem :: Word16 -> Word16 -> (Word16, Word16)

C Word32

Methods

quot :: Word32 -> Word32 -> Word32

rem :: Word32 -> Word32 -> Word32

quotRem :: Word32 -> Word32 -> (Word32, Word32)

C Word64

Methods

quot :: Word64 -> Word64 -> Word64

rem :: Word64 -> Word64 -> Word64

quotRem :: Word64 -> Word64 -> (Word64, Word64)

C T

Methods

quot :: T -> T -> T

rem :: T -> T -> T

quotRem :: T -> T -> (T, T)

Integral a => C (T a)

Methods

quot :: T a -> T a -> T a

rem :: T a -> T a -> T a

quotRem :: T a -> T a -> (T a, T a)

(C a, C a) => C (T a)

Methods

quot :: T a -> T a -> T a

rem :: T a -> T a -> T a

quotRem :: T a -> T a -> (T a, T a)

C a => C (T a)

Methods

quot :: T a -> T a -> T a

rem :: T a -> T a -> T a

quotRem :: T a -> T a -> (T a, T a)