numeric-prelude-0.1: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Portabilityrequires multi-parameter type classes
Abstraction of normed vector spaces
class (C a, C a v) => C a v where
norm :: v -> a
class (C a, C a v) => C a v whereSource
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
norm :: v -> aSource
show/hide 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