numeric-prelude-0.1.3.4: An experimental alternative hierarchy of numeric type classes

Portability	requires multi-parameter type classes
Stability	provisional
Maintainer	numericprelude@henning-thielemann.de

Algebra.NormedSpace.Maximum

Description

Abstraction of normed vector spaces

Documentation

class (C a, C a v) => C a v whereSource

Methods

norm :: v -> aSource

Instances

C Double Double
C Float Float
C Int Int
C Integer Integer
(Ord a, C a v) => C a [v]
(Ord a, C a v) => C a (T v)
(Ord 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)
(Ord a, C a v0, C a v1, C a v2) => C a (v0, v1, v2)
(C a, C a) => C (T a) (T a)