|
Agda.Termination.Semiring |
|
|
Description |
Semirings.
|
|
Synopsis |
|
|
|
Documentation |
|
|
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.
| | Methods | |
|
|
|
SemiRing type class. Additive monoid with multiplication operation.
Inherit addition and zero from Monoid.
| | Methods | |
|
|
|
Semirings.
| Constructors | Semiring | | add :: a -> a -> a | Addition.
| mul :: a -> a -> a | Multiplication.
| zero :: a | Zero.
The one is never used in matrix multiplication
, one :: a -- ^ One.
|
|
|
|
|
|
Semiring invariant.
|
|
|
|
|
The standard semiring on Bools.
|
|
|
|
Produced by Haddock version 2.6.1 |