vector-space-0.2.0: Vector & affine spaces, plus derivatives Source code Contents Index

Data.AdditiveGroup Stability experimental Maintainer conal@conal.net, andygill@ku.edu

Description

Groups: zero, addition, and negation (additive inverse)

Synopsis

class AdditiveGroup v where zeroV :: v (^+^) :: v -> v -> v negateV :: v -> v (^-^) :: AdditiveGroup v => v -> v -> v

Documentation

class AdditiveGroup v where Source

Additive group v. Methods zeroV :: v Source The zero element: identity for '(^+^)' (^+^) :: v -> v -> v Source Add vectors negateV :: v -> v Source Additive inverse Instances AdditiveGroup Double AdditiveGroup Float (RealFloat v, AdditiveGroup v) => AdditiveGroup (Complex v) AdditiveGroup u => AdditiveGroup (Vector2 u) AdditiveGroup u => AdditiveGroup (Vector3 u) AdditiveGroup v => AdditiveGroup (a -> v) (AdditiveGroup u, AdditiveGroup v) => AdditiveGroup ((,) u v) (VectorSpace v s, LMapDom u s) => AdditiveGroup (u :-* v) (LMapDom a s, VectorSpace u s) => AdditiveGroup (a :> u) (VectorSpace b s, LMapDom a s) => AdditiveGroup (a :> b) (AdditiveGroup u, AdditiveGroup v, AdditiveGroup w) => AdditiveGroup ((,,) u v w)

(^-^) :: AdditiveGroup v => v -> v -> v Source

Group subtraction

Produced by Haddock version 2.3.0