Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Termination.Semiring
Description
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
.
Minimal complete definition
Methods
zeroElement :: a Source #
Semirings.