Numeric.Ring.Class

Documentation

class (Rig r, Rng r) => Ring r where

Methods

fromInteger :: Integer -> r

Instances

Ring Int

Methods

fromInteger :: Integer -> Int

Ring Int8

Methods

fromInteger :: Integer -> Int8

Ring Int16

Methods

fromInteger :: Integer -> Int16

Ring Int32

Methods

fromInteger :: Integer -> Int32

Ring Int64

Methods

fromInteger :: Integer -> Int64

Ring Integer

Methods

fromInteger :: Integer -> Integer

Ring Word

Methods

fromInteger :: Integer -> Word

Ring Word8

Methods

fromInteger :: Integer -> Word8

Ring Word16

Methods

fromInteger :: Integer -> Word16

Ring Word32

Methods

fromInteger :: Integer -> Word32

Ring Word64

Methods

fromInteger :: Integer -> Word64

Ring ()

Methods

fromInteger :: Integer -> ()

Ring Euclidean

Methods

fromInteger :: Integer -> Euclidean

Rng r => Ring (RngRing r)

Methods

fromInteger :: Integer -> RngRing r

Ring r => Ring (Opposite r)

Methods

fromInteger :: Integer -> Opposite r

(Abelian r, Group r) => Ring (End r)

Methods

fromInteger :: Integer -> End r

(Commutative r, Ring r) => Ring (Trig r)

Methods

fromInteger :: Integer -> Trig r

(TriviallyInvolutive r, Ring r) => Ring (Quaternion' r)

Methods

fromInteger :: Integer -> Quaternion' r

(Commutative r, Ring r) => Ring (Hyper r)

Methods

fromInteger :: Integer -> Hyper r

(Commutative r, Ring r) => Ring (Dual' r)

Methods

fromInteger :: Integer -> Dual' r

(TriviallyInvolutive r, Ring r) => Ring (Quaternion r)

Methods

fromInteger :: Integer -> Quaternion r

(Commutative r, Ring r) => Ring (Hyper' r)

Methods

fromInteger :: Integer -> Hyper' r

(Commutative r, Ring r) => Ring (Dual r)

Methods

fromInteger :: Integer -> Dual r

(Commutative r, Ring r) => Ring (Complex r)

Methods

fromInteger :: Integer -> Complex r

GCDDomain d => Ring (Fraction d)

Methods

fromInteger :: Integer -> Fraction d

(Ring a, Ring b) => Ring (a, b)

Methods

fromInteger :: Integer -> (a, b)

(Ring r, CounitalCoalgebra r m) => Ring (Covector r m)

Methods

fromInteger :: Integer -> Covector r m

(Ring a, Ring b, Ring c) => Ring (a, b, c)

Methods

fromInteger :: Integer -> (a, b, c)

(Ring r, CounitalCoalgebra r m) => Ring (Map r a m)

Methods

fromInteger :: Integer -> Map r a m

(Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d)

Methods

fromInteger :: Integer -> (a, b, c, d)

(Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e)

Methods

fromInteger :: Integer -> (a, b, c, d, e)

fromIntegral :: (Integral n, Ring r) => n -> r