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

Algebra.NormedSpace.Maximum

Description

Abstraction of normed vector spaces

Synopsis

# Documentation

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

Minimal complete definition

norm

Methods

norm :: v -> a Source #

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods (C a v, RealFloat v) => C a (Complex v) Source # Methodsnorm :: Complex v -> a Source # (Ord a, C a v) => C a [v] Source # Methodsnorm :: [v] -> a Source # (Ord a, C a v) => C a (T v) Source # Methodsnorm :: T v -> a Source # (Ord a, C a v0, C a v1) => C a (v0, v1) Source # Methodsnorm :: (v0, v1) -> a Source # (Ord a, C a v0, C a v1, C a v2) => C a (v0, v1, v2) Source # Methodsnorm :: (v0, v1, v2) -> a Source # (C a, C a, C a) => C (T a) (T a) Source # Methodsnorm :: T a -> T a Source # C a v => C (T a) (T v) Source # Methodsnorm :: T v -> T a Source #

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

Default definition for norm that is based on Foldable class.

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

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