Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Semirings.
Documentation
class Eq a => HasZero a where Source #
HasZero
is needed for sparse matrices, to tell which is the element
that does not have to be stored.
It is a cut-down version of SemiRing
which is definable
without the implicit ?cutoff
.
zeroElement :: a Source #
class (Eq a, Monoid a) => SemiRing a where Source #
SemiRing type class. Additive monoid with multiplication operation. Inherit addition and zero from Monoid.
Semirings.