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