Numeric.Ring.Class

Documentation

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

Methods

fromInteger :: Integer -> r

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 -> r