|
Algebra.NormedSpace.Sum | Portability | requires multi-parameter type classes | Stability | provisional | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
Description |
Abstraction of normed vector spaces
|
|
Synopsis |
|
class (C a, C a v) => C a v where | |
|
|
Documentation |
|
|
The super class is only needed to state the laws
v == zero == norm v == zero
norm (scale x v) == abs x * norm v
norm (u+v) <= norm u + norm v
| | Methods | | | Instances | C Double Double | C Float Float | C Int Int | C Integer Integer | (C a, C a v) => C a ([] v) | (C a, C a v) => C a (T v) | (C a, C a v0, C a v1) => C a ((,) v0 v1) | (Ord i, Eq a, Eq v, C a v) => C a (Map i v) | (C a, C a v0, C a v1, C a v2) => C a ((,,) v0 v1 v2) | (C a, C a) => C (T a) (T a) |
|
|
|
Produced by Haddock version 2.4.2 |