numeric-prelude-0.0.4: An experimental alternative hierarchy of numeric type classes Source code Contents Index

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 norm :: v -> a

Documentation

class (C a, C a v) => C a v where Source

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 norm :: v -> a Source 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.6.0