vector-space-0.7.6: Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9 or better) Source code Contents Index

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

Description

Affine spaces.

Synopsis

class AdditiveGroup (Diff p) => AffineSpace p where type Diff p (.-.) :: p -> p -> Diff p (.+^) :: p -> Diff p -> p (.-^) :: AffineSpace p => p -> Diff p -> p distanceSq :: (AffineSpace p, v ~ Diff p, InnerSpace v) => p -> p -> Scalar v distance :: (AffineSpace p, v ~ Diff p, InnerSpace v, s ~ Scalar v, Floating (Scalar v)) => p -> p -> s alerp :: (AffineSpace p, VectorSpace (Diff p)) => p -> p -> Scalar (Diff p) -> p

Documentation

class AdditiveGroup (Diff p) => AffineSpace p where Source

Associated Types type Diff p Source Associated vector space Methods (.-.) :: p -> p -> Diff p Source Subtract points (.+^) :: p -> Diff p -> p Source Point plus vector Instances AffineSpace Double AffineSpace Float AffineSpace p => AffineSpace (a -> p) (AffineSpace p, AffineSpace q) => AffineSpace (p, q) (AffineSpace p, AffineSpace q, AffineSpace r) => AffineSpace (p, q, r)

(.-^) :: AffineSpace p => p -> Diff p -> p Source

Point minus vector

distanceSq :: (AffineSpace p, v ~ Diff p, InnerSpace v) => p -> p -> Scalar v Source

Square of the distance between two points. Sometimes useful for efficiency. See also distance.

distance :: (AffineSpace p, v ~ Diff p, InnerSpace v, s ~ Scalar v, Floating (Scalar v)) => p -> p -> s Source

Distance between two points. See also distanceSq.

alerp :: (AffineSpace p, VectorSpace (Diff p)) => p -> p -> Scalar (Diff p) -> p Source

Affine linear interpolation. Varies from p to p' as s varies from 0 to 1. See also lerp (on vector spaces).

Produced by Haddock version 2.6.1