Safe Haskell	Safe
Language	Haskell98

Numeric.Ring.Class

Documentation

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

Methods

fromInteger :: Integer -> r #

Instances

Ring Int #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Int #
Ring Int8 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Int8 #
Ring Int16 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Int16 #
Ring Int32 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Int32 #
Ring Int64 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Int64 #
Ring Integer #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Integer #
Ring Word #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Word #
Ring Word8 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Word8 #
Ring Word16 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Word16 #
Ring Word32 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Word32 #
Ring Word64 #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> Word64 #
Ring () #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> () #
Ring Euclidean #
Instance details Defined in Numeric.Coalgebra.Geometric Methods fromInteger :: Integer -> Euclidean #
Rng r => Ring (RngRing r) #
Instance details Defined in Numeric.Ring.Rng Methods fromInteger :: Integer -> RngRing r #
Ring r => Ring (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite Methods fromInteger :: Integer -> Opposite r #
(Abelian r, Group r) => Ring (End r) #
Instance details Defined in Numeric.Ring.Endomorphism Methods fromInteger :: Integer -> End r #
(Commutative r, Ring r) => Ring (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods fromInteger :: Integer -> Trig r #
(TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fromInteger :: Integer -> Quaternion' r #
(Commutative r, Ring r) => Ring (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic Methods fromInteger :: Integer -> Hyper r #
(Commutative r, Ring r) => Ring (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods fromInteger :: Integer -> Dual' r #
(TriviallyInvolutive r, Ring r) => Ring (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods fromInteger :: Integer -> Quaternion r #
(Commutative r, Ring r) => Ring (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic Methods fromInteger :: Integer -> Hyper' r #
(Commutative r, Ring r) => Ring (Dual r) #
Instance details Defined in Numeric.Algebra.Dual Methods fromInteger :: Integer -> Dual r #
(Commutative r, Ring r) => Ring (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods fromInteger :: Integer -> Complex r #
GCDDomain d => Ring (Fraction d) #
Instance details Defined in Numeric.Field.Fraction Methods fromInteger :: Integer -> Fraction d #
(Ring a, Ring b) => Ring (a, b) #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> (a, b) #
(Ring r, CounitalCoalgebra r m) => Ring (Covector r m) #
Instance details Defined in Numeric.Covector Methods fromInteger :: Integer -> Covector r m #
(Ring a, Ring b, Ring c) => Ring (a, b, c) #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> (a, b, c) #
(Ring r, CounitalCoalgebra r m) => Ring (Map r a m) #
Instance details Defined in Numeric.Map Methods fromInteger :: Integer -> Map r a m #
(Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d) #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> (a, b, c, d) #
(Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e) #
Instance details Defined in Numeric.Ring.Class Methods fromInteger :: Integer -> (a, b, c, d, e) #

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