NumHask.Algebra.Ring

Rings An interesting feature of the NumHask structure is the importance of the commutative Ring (CRing), which is a class often needed higher up the class tree.

Ring

class (Additive a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Semiring a

a semiring

Instances

Semiring Bool

Semiring Double

Semiring Float

Semiring Int

Semiring Integer

(AdditiveGroup a, Semiring a) => Semiring (Complex a)

class (AdditiveGroup a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Ring a

Ring

Instances

Ring Double

Ring Float

Ring Int

Ring Integer

Ring a => Ring (Complex a)

class (Multiplicative a, Ring a) => CRing a

CRing is a Commutative Ring. It arises often due to * being defined as only multiplicative commutative.

Instances

CRing Double

CRing Float

CRing Int

CRing Integer

CRing a => CRing (Complex a)