algebra-3.1: Constructive abstract algebra

Safe HaskellNone

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 () 
Ring Euclidean 
(Rig (Complex r), Rng (Complex r), Commutative r, Ring r) => Ring (Complex r) 
(Rig (Quaternion r), Rng (Quaternion r), TriviallyInvolutive r, Ring r) => Ring (Quaternion r) 
(Rig (Dual r), Rng (Dual r), Commutative r, Ring r) => Ring (Dual r) 
(Rig (Hyper' r), Rng (Hyper' r), Commutative r, Ring r) => Ring (Hyper' r) 
(Rig (Hyper r), Rng (Hyper r), Commutative r, Ring r) => Ring (Hyper r) 
(Rig (Dual' r), Rng (Dual' r), Commutative r, Ring r) => Ring (Dual' r) 
(Rig (Quaternion' r), Rng (Quaternion' r), TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) 
(Rig (Trig r), Rng (Trig r), Commutative r, Ring r) => Ring (Trig r) 
(Rig (End r), Rng (End r), Abelian r, Group r) => Ring (End r) 
(Rig (Opposite r), Rng (Opposite r), Ring r) => Ring (Opposite r) 
(Rig (RngRing r), Rng (RngRing r), Rng r) => Ring (RngRing r) 
(Rig (a, b), Rng (a, b), Ring a, Ring b) => Ring (a, b) 
(Rig (Covector r m), Rng (Covector r m), Ring r, CounitalCoalgebra r m) => Ring (Covector r m) 
(Rig (a, b, c), Rng (a, b, c), Ring a, Ring b, Ring c) => Ring (a, b, c) 
(Rig (Map r a m), Rng (Map r a m), Ring r, CounitalCoalgebra r m) => Ring (Map r a m) 
(Rig (a, b, c, d), Rng (a, b, c, d), Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d) 
(Rig (a, b, c, d, e), Rng (a, b, c, d, e), Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e) 

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