 | NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes | Contents | Index |
|
| Algebra.NormedSpace.Euclidean | | Portability | requires multi-parameter type classes | | Stability | provisional | | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
|
|
| Description |
| Abstraction of normed vector spaces
|
|
| Synopsis |
|
| class (C a, Real a, C a v) => C a v where | |
|
|
| Documentation |
|
| class (C a, Real a, C a v) => C a v where |
A vector space equipped with an Euclidean or a Hilbert norm.
Minimal definition:
norm or normSqr
| | | Methods | | norm :: v -> a | | Euclidean norm of a vector.
| | | normSqr :: v -> a | | Square of the Euclidean norm of a vector.
This is sometimes easier to implement.
|
| |  Instances | | C Double Double | | C Float Float | | (C a v0, C a v1) => C a (v0, v1) | | (C a v0, C a v1, C a v2) => C a (v0, v1, v2) | | C a b => C a (T b) | | C a b => C a (T b) | | C a v => C a [v] | | (Ord i, Eq a, Eq v, C a, C a v) => C a (Map i v) |
|
|
|
| Instances for atomic types
|
|
| Instances for composed types
|
|
| Produced by Haddock version 0.7 |