algebra-4.3: Constructive abstract algebra

Numeric.Rig.Class

Synopsis

# Documentation

class (Semiring r, Unital r, Monoidal r) => Rig r where Source #

A Ring without (n)egation

Methods

Instances

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