| numeric-prelude-0.0.2: 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 |
|
|
|
Documentation |
|
class (C a, C a v) => Sqr a v where |
A vector space equipped with an Euclidean or a Hilbert norm.
Minimal definition:
normSqr
| | Methods | normSqr :: v -> a | Square of the Euclidean norm of a vector.
This is sometimes easier to implement.
|
| | Instances | Sqr Double Double | Sqr Float Float | Sqr Int Int | Sqr Integer Integer | (Sqr a v0, Sqr a v1) => Sqr a (v0, v1) | (Sqr a v0, Sqr a v1, Sqr a v2) => Sqr a (v0, v1, v2) | Sqr a b => Sqr a (T b) | Sqr a b => Sqr a (T b) | Sqr a v => Sqr a [v] | (Ord i, Eq a, Eq v, Sqr a v) => Sqr a (Map i v) | (C a, C a) => Sqr (T a) (T a) |
|
|
|
class Sqr a v => C a v where |
| Methods | norm :: v -> a | Euclidean norm of a vector.
|
| | Instances | C Double Double | C Float Float | C Int Int | C Integer Integer | (C a, Sqr a v0, Sqr a v1) => C a (v0, v1) | (C a, Sqr a v0, Sqr a v1, Sqr a v2) => C a (v0, v1, v2) | (C a, Sqr a b) => C a (T b) | (C a, Sqr a b) => C a (T b) | (C a, Sqr a v) => C a [v] | (Ord i, Eq a, Eq v, C a, Sqr a v) => C a (Map i v) |
|
|
|
defltNorm :: (C a, Sqr a v) => v -> a |
|
Instances for atomic types
|
|
Instances for composed types
|
|
Produced by Haddock version 0.7 |