Safe Haskell | None |
---|---|
Language | Haskell98 |
Abstraction of normed vector spaces
- class (C a, C a v) => C a v where
- normFoldable :: (C a v, Foldable f) => f v -> a
- normFoldable1 :: (C a v, Foldable f, Functor f) => f v -> a
Documentation
class (C a, C a v) => C a v where Source #
C Double Double Source # | |
C Float Float Source # | |
C Int Int Source # | |
C Integer Integer Source # | |
(C a v, RealFloat v) => C a (Complex v) Source # | |
(Ord a, C a v) => C a [v] Source # | |
(Ord a, C a v) => C a (T v) Source # | |
(Ord a, C a v0, C a v1) => C a (v0, v1) Source # | |
(Ord a, C a v0, C a v1, C a v2) => C a (v0, v1, v2) Source # | |
(C a, C a, C a) => C (T a) (T a) Source # | |
C a v => C (T a) (T v) Source # | |
normFoldable :: (C a v, Foldable f) => f v -> a Source #