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 #

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
```

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 # | |

(C a, C a v) => C a [v] Source # | |

(C a, C a v) => C a (T v) Source # | |

(C a, C a v0, C a v1) => C a (v0, v1) Source # | |

(C a, C a v0, C a v1, C a v2) => C a (v0, v1, v2) Source # | |

(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 #