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.