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

Portabilityrequires multi-parameter type classes
Stabilityprovisional
Maintainer[email protected]

Algebra.NormedSpace.Maximum

Description

Abstraction of normed vector spaces

Synopsis

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 a) => C (T a) (T a) 

normFoldable :: (C a v, Foldable f) => f v -> aSource

Default definition for norm that is based on Foldable class.

normFoldable1 :: (C a v, Foldable f, Functor f) => f v -> aSource

Default definition for norm that is based on Foldable class and the argument vector has at least one component.