algebra-4.3: Constructive abstract algebra

Numeric.Ring.Class

# Documentation

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

Methods

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Ring () Source # MethodsfromInteger :: Integer -> () Source # Source # Methods GCDDomain d => Ring (Fraction d) Source # Methods (Commutative r, Ring r) => Ring (Complex r) Source # Methods (Commutative r, Ring r) => Ring (Dual r) Source # Methods (Commutative r, Ring r) => Ring (Hyper' r) Source # Methods (TriviallyInvolutive r, Ring r) => Ring (Quaternion r) Source # Methods (Commutative r, Ring r) => Ring (Dual' r) Source # Methods (Commutative r, Ring r) => Ring (Hyper r) Source # Methods (TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) Source # Methods (Commutative r, Ring r) => Ring (Trig r) Source # Methods (Abelian r, Group r) => Ring (End r) Source # Methods Ring r => Ring (Opposite r) Source # Methods Rng r => Ring (RngRing r) Source # Methods (Ring a, Ring b) => Ring (a, b) Source # MethodsfromInteger :: Integer -> (a, b) Source # (Ring r, CounitalCoalgebra r m) => Ring (Covector r m) Source # Methods (Ring a, Ring b, Ring c) => Ring (a, b, c) Source # MethodsfromInteger :: Integer -> (a, b, c) Source # (Ring r, CounitalCoalgebra r m) => Ring (Map r a m) Source # MethodsfromInteger :: Integer -> Map r a m Source # (Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d) Source # MethodsfromInteger :: Integer -> (a, b, c, d) Source # (Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e) Source # MethodsfromInteger :: Integer -> (a, b, c, d, e) Source #

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