Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
- class (Additive a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Semiring a
- class (AdditiveGroup a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Ring a
- class (Multiplicative a, Ring a) => CRing a
Ring
class (Additive a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Semiring a Source #
a semiring
class (AdditiveGroup a, MultiplicativeAssociative a, MultiplicativeUnital a, Distribution a) => Ring a Source #
Ring