algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Rig.Class

Synopsis

Documentation

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

A Ring without (n)egation

Methods

fromNatural :: Natural -> r Source #

Instances

Rig Bool Source # 
Rig Int Source # 
Rig Int8 Source # 
Rig Int16 Source # 
Rig Int32 Source # 
Rig Int64 Source # 
Rig Integer Source # 
Rig Natural Source # 
Rig Word Source # 
Rig Word8 Source # 
Rig Word16 Source # 
Rig Word32 Source # 
Rig Word64 Source # 
Rig () Source # 

Methods

fromNatural :: Natural -> () Source #

Rig Euclidean Source # 
Rng r => Rig (RngRing r) Source # 
Rig r => Rig (Opposite r) Source # 
(Abelian r, Monoidal r) => Rig (End r) Source # 

Methods

fromNatural :: Natural -> End r Source #

(Commutative r, Ring r) => Rig (Trig r) Source # 
(TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) Source # 
(Commutative r, Rig r) => Rig (Hyper r) Source # 
Rig (BasisCoblade m) Source # 
(Commutative r, Ring r) => Rig (Dual' r) Source # 
(TriviallyInvolutive r, Ring r) => Rig (Quaternion r) Source # 
(Commutative r, Rig r) => Rig (Hyper' r) Source # 
(Commutative r, Ring r) => Rig (Dual r) Source # 
(Commutative r, Ring r) => Rig (Complex r) Source # 
GCDDomain d => Rig (Fraction d) Source # 
(Rig a, Rig b) => Rig (a, b) Source # 

Methods

fromNatural :: Natural -> (a, b) Source #

(Rig r, CounitalCoalgebra r m) => Rig (Covector r m) Source # 
(Rig a, Rig b, Rig c) => Rig (a, b, c) Source # 

Methods

fromNatural :: Natural -> (a, b, c) Source #

(Rig r, CounitalCoalgebra r m) => Rig (Map r b m) Source # 

Methods

fromNatural :: Natural -> Map r b m Source #

(Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d) Source # 

Methods

fromNatural :: Natural -> (a, b, c, d) Source #

(Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e) Source # 

Methods

fromNatural :: Natural -> (a, b, c, d, e) Source #