Data.Vector.Fancy

Various facilities for dealing with vectors, vector spaces and coordinate axies generically.

Vector spaces

class HasSpace x

This class deals with any type that has a spatial dimensionallity. This includes coordinate transforms, bounding boxes, and so on.

Null instances are provided for all the vector types. (E.g., Point Vector3 = Vector3.)

Associated Types

type Point x :: *

Give the appropriate kind of vector for this type.

Instances

HasSpace BBox4

HasSpace BBox3

HasSpace BBox2

HasSpace BBox1

HasSpace Range

HasSpace Transform4

HasSpace Transform3

HasSpace Transform2

HasSpace Transform1

HasSpace Vector4

HasSpace Vector3

HasSpace Vector2

HasSpace Vector1

Vector axies

data AxisX

The X-axis (first axis).

Constructors

AxisX

Instances

Show AxisX

VectorAxis Vector4 AxisX

VectorAxis Vector3 AxisX

VectorAxis Vector2 AxisX

VectorAxis Vector1 AxisX

Rotate Transform4 AxisX AxisW

Rotate Transform4 AxisX AxisZ

Rotate Transform4 AxisX AxisY

Rotate Transform3 AxisX AxisZ

Rotate Transform3 AxisX AxisY

Rotate Transform2 AxisX AxisY

data AxisY

The Y-axis (second axis).

Constructors

AxisY

Instances

Show AxisY

VectorAxis Vector4 AxisY

VectorAxis Vector3 AxisY

VectorAxis Vector2 AxisY

Rotate Transform4 AxisY AxisW

Rotate Transform4 AxisY AxisZ

Rotate Transform4 AxisX AxisY

Rotate Transform3 AxisY AxisZ

Rotate Transform3 AxisX AxisY

Rotate Transform2 AxisX AxisY

data AxisZ

The Z-axis (third axis).

Constructors

AxisZ

Instances

Show AxisZ

VectorAxis Vector4 AxisZ

VectorAxis Vector3 AxisZ

Rotate Transform4 AxisZ AxisW

Rotate Transform4 AxisY AxisZ

Rotate Transform4 AxisX AxisZ

Rotate Transform3 AxisY AxisZ

Rotate Transform3 AxisX AxisZ

data AxisW

The W-axis (fourth axis).

Constructors

AxisW

Instances

Show AxisW

VectorAxis Vector4 AxisW

Rotate Transform4 AxisZ AxisW

Rotate Transform4 AxisY AxisW

Rotate Transform4 AxisX AxisW

class VectorAxis vector axis where

Class for generically reading/writing vector coordinates.

Methods

get_coord :: axis -> vector -> Scalar

Read from the specified coordinate axis.

set_coord :: axis -> Scalar -> vector -> vector

Replace the existing value of the given coordinate axis.

Instances

VectorAxis Vector4 AxisW

VectorAxis Vector4 AxisZ

VectorAxis Vector4 AxisY

VectorAxis Vector4 AxisX

VectorAxis Vector3 AxisZ

VectorAxis Vector3 AxisY

VectorAxis Vector3 AxisX

VectorAxis Vector2 AxisY

VectorAxis Vector2 AxisX

VectorAxis Vector1 AxisX

Vector projection

class (Vector v, Vector (ProjectTo v)) => Project v where

This class enables you to take a vector with N dimensions and project it into an N+1 dimensional space (and also take the inverse projection to get back again).

Associated Types

type ProjectTo v :: *

The next-largest vector type. (E.g., ProjectTo Vector2 = Vector3.)

Methods

orthographic_down :: ProjectTo v -> (v, Scalar)

Reduce number of dimensions by one. (Return the dropped dimension as a Scalar.)

orthographic_up :: (v, Scalar) -> ProjectTo v

Increase number of dimensions by one. (Supply value for new dimension as a Scalar.)

perspective_down :: ProjectTo v -> (v, Scalar)

Perspective-project to N-1 dimensions. (Also return the distance from the camera as a Scalar.)

perspective_up :: (v, Scalar) -> ProjectTo v

Inverse-perspective project into N+1 dimension. (Supply the distance from the camera as a Scalar.)

Instances

Project Vector3

Project Vector2

Project Vector1