Safe Haskell	None
Language	Haskell2010

Numeric.Algebra.Multiplicative.MEuclidean

Description

Provides typeclass for euclidean division.

Since: 0.1

Synopsis

class MGroup g => MEuclidean g where
- mdivMod :: g -> g -> (g, g)
mdiv :: MEuclidean g => g -> g -> g
mmod :: MEuclidean g => g -> g -> g
mgcd :: (AMonoid g, Eq g, MEuclidean g, Normed g) => g -> g -> g
mlcm :: (AMonoid g, Eq g, MEuclidean g, Normed g) => g -> g -> g

Documentation

class MGroup g => MEuclidean g where Source #

MGroup equipped with "euclidean" division.

Since: 0.1

Methods

mdivMod :: g -> g -> (g, g) Source #

Since: 0.1

Instances

Instances details

MEuclidean Int16 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Int16 -> Int16 -> (Int16, Int16) Source #
MEuclidean Int32 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Int32 -> Int32 -> (Int32, Int32) Source #
MEuclidean Int64 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Int64 -> Int64 -> (Int64, Int64) Source #
MEuclidean Int8 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Int8 -> Int8 -> (Int8, Int8) Source #
MEuclidean Word16 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Word16 -> Word16 -> (Word16, Word16) Source #
MEuclidean Word32 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Word32 -> Word32 -> (Word32, Word32) Source #
MEuclidean Word64 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Word64 -> Word64 -> (Word64, Word64) Source #
MEuclidean Word8 Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Word8 -> Word8 -> (Word8, Word8) Source #
MEuclidean Integer Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Integer -> Integer -> (Integer, Integer) Source #
MEuclidean Natural Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Natural -> Natural -> (Natural, Natural) Source #
MEuclidean Int Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Int -> Int -> (Int, Int) Source #
MEuclidean Word Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Multiplicative.MEuclidean Methods mdivMod :: Word -> Word -> (Word, Word) Source #

mdiv :: MEuclidean g => g -> g -> g Source #

Since: 0.1

mmod :: MEuclidean g => g -> g -> g Source #

Since: 0.1

mgcd :: (AMonoid g, Eq g, MEuclidean g, Normed g) => g -> g -> g Source #

Since: 0.1

mlcm :: (AMonoid g, Eq g, MEuclidean g, Normed g) => g -> g -> g Source #

Since: 0.1