- class (Semiring r, AdditiveMonoid r, Unital r) => Rig r where
- fromNatural :: Natural -> r
- fromNaturalNum :: Num r => Natural -> r
- fromWhole :: (Whole n, Rig r) => n -> r
Documentation
class (Semiring r, AdditiveMonoid r, Unital 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 | |
(Abelian r, AdditiveMonoid r) => Rig (End r) | |
Rig r => Rig (Opposite r) | |
Rng r => Rig (RngRing r) | |
(Rig a, Rig b) => Rig (a, b) | |
(Rig r, FreeCounitalCoalgebra r m) => Rig (Linear r m) | |
(Rig a, Rig b, Rig c) => Rig (a, b, c) | |
(Rig r, FreeCounitalCoalgebra 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