| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Numeric.Algebra.Space.Semimodule
Description
Provides the Semimodule typeclass.
Since: 0.1
Synopsis
- class (AMonoid m, MSemiSpace m r, Semiring r) => Semimodule m r | m -> r
Documentation
class (AMonoid m, MSemiSpace m r, Semiring r) => Semimodule m r | m -> r Source #
Defines a semimodule over a semiring. This generalizes the notion of
a Module \(M\) over a Ring
\(R\) such that:
Since: 0.1
Instances
| Semiring r => Semimodule (r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r, r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |
| Semiring r => Semimodule (r, r, r, r, r, r, r, r, r) r Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.Semimodule | |