Documentation
class (Semiring r, Unital r, Monoidal r) => Rig r whereSource
A Ring without (n)egation
fromNatural :: Natural -> rSource
Rig Bool | |
Rig Int | |
Rig Int8 | |
Rig Int16 | |
Rig Int32 | |
Rig Int64 | |
Rig Integer | |
Rig Word | |
Rig Word8 | |
Rig Word16 | |
Rig Word32 | |
Rig Word64 | |
Rig () | |
Rig Natural | |
Rig Euclidean | |
(Commutative r, Ring r) => Rig (Complex r) | |
(TriviallyInvolutive r, Ring r) => Rig (Quaternion r) | |
(Commutative r, Ring r) => Rig (Dual r) | |
(Commutative r, Rig r) => Rig (Hyper' r) | |
(Commutative r, Rig r) => Rig (Hyper r) | |
(Commutative r, Ring r) => Rig (Dual' r) | |
Rig (BasisCoblade m) | |
(TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) | |
(Commutative r, Ring r) => Rig (Trig r) | |
(Abelian r, Monoidal r) => Rig (End r) | |
Rig r => Rig (Opposite r) | |
Rng r => Rig (RngRing r) | |
(Rig a, Rig b) => Rig (a, b) | |
(Rig r, CounitalCoalgebra r m) => Rig (Covector r m) | |
(Rig a, Rig b, Rig c) => Rig (a, b, c) | |
(Rig r, CounitalCoalgebra r m) => Rig (Map r b m) | |
(Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d) | |
(Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e) |
fromNaturalNum :: Num r => Natural -> rSource