algebra-0.3.0: Constructive abstract algebra

Numeric.Ring.Class

Documentation

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

Methods

fromInteger :: Integer -> rSource

Instances

Ring Int 
Ring Int8 
Ring Int16 
Ring Int32 
Ring Int64 
Ring Integer 
Ring Word 
Ring Word8 
Ring Word16 
Ring Word32 
Ring Word64 
Ring () 
(Abelian r, AdditiveGroup r) => Ring (End r) 
Ring r => Ring (Opposite r) 
Rng r => Ring (RngRing r) 
(Ring a, Ring b) => Ring (a, b) 
(Ring r, FreeCounitalCoalgebra r m) => Ring (Linear r m) 
(Ring a, Ring b, Ring c) => Ring (a, b, c) 
(Ring r, FreeCounitalCoalgebra r m) => Ring (Map r a m) 
(Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d) 
(Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e) 

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