FRP.Animas.AffineSpace

Affine space type relation.

Documentation

class (Floating a, VectorSpace v a) => AffineSpace p v a | p -> v, v -> a where

Typeclass for an Affine space. Minimal complete definition: origin, '(.+^)', '(.-.)'

Methods

origin :: p

The origin value of an affine space

(.+^) :: p -> v -> p

Add a vector to a point, obtaining a new point.

(.-^) :: p -> v -> p

Subtract a vector from a point, obtaining a new point.

(.-.) :: p -> p -> v

Take the difference of two points, returning a vector

distance :: p -> p -> a

The scalar distance between two points.

Instances

RealFloat a => AffineSpace (Point2 a) (Vector2 a) a

RealFloat a => AffineSpace (Point3 a) (Vector3 a) a