Data.Geometry.Vector.VectorFixed

Documentation

data C n

A proxy which can be used for the coordinates.

Constructors

C

Instances

Eq (C n)

Ord (C n)

Read (C n)

Show (C n)

d dimensional Vectors

newtype Vector d r

Datatype representing d dimensional vectors. Our implementation wraps the implementation provided by fixed-vector.

Constructors

Vector

Fields

_unV :: Vec (ToPeano d) r

Instances

Arity d => Functor (Vector d)

Arity d => Applicative (Vector d)

Arity d => Foldable (Vector d)

Arity d => Traversable (Vector d)

Arity d => Affine (Vector d)

Arity d => Metric (Vector d)

Arity d => Additive (Vector d)

Arity d => Vector (Vector d) r

(Eq r, Arity d) => Eq (Vector d r)

(Ord r, Arity d) => Ord (Vector d r)

(Show r, Arity d) => Show (Vector d r)

type Dim (Vector d) = ToPeano d

type Diff (Vector d) = Vector d

unV :: Lens' (Vector d r) (Vec (ToPeano d) r)

type Arity n = Arity (ToPeano n)

type Index' i d = Index (ToPeano i) (ToPeano d)

element :: forall proxy i d r. (Arity d, Index' i d) => proxy i -> Lens' (Vector d r) r

Lens into the i th element

element' :: forall d r. (KnownNat d, Arity d) => Int -> Traversal' (Vector d r) r

Similar to element above. Except that we don't have a static guarantee that the index is in bounds. Hence, we can only return a Traversal

type AlwaysTrueDestruct pd d = (Arity pd, ToPeano d ~ S (ToPeano pd))

destruct :: AlwaysTrueDestruct predD d => Vector d r -> (r, Vector predD r)

Get the head and tail of a vector

cross :: Num r => Vector 3 r -> Vector 3 r -> Vector 3 r

Cross product of two three-dimensional vectors

toV3 :: Vector 3 a -> V3 a

Conversion to a Linear.V3

fromV3 :: V3 a -> Vector 3 a

Conversion from a Linear.V3

type AlwaysTrueSnoc d = ToPeano (1 + d) ~ S (ToPeano d)

snoc :: (AlwaysTrueSnoc d, Arity d) => Vector d r -> r -> Vector (1 + d) r

Add an element at the back of the vector

init :: AlwaysTrueDestruct predD d => Vector d r -> Vector predD r

Get a vector of the first d - 1 elements.

prefix :: Prefix (ToPeano i) (ToPeano d) => Vector d r -> Vector i r

Get a prefix of i elements of a vector

class Prefix i d where

Methods

prefix' :: Vec d r -> Vec i r

Instances

Prefix Z d

(Arity i, Arity d, Index i d, Prefix i d) => Prefix (S i) (S d)

imap :: Arity d => (Int -> r -> s) -> Vector d r -> Vector d s

Map with indices

Functions specific to two and three dimensional vectors.

v2 :: r -> r -> Vector 2 r

Construct a 2 dimensional vector

v3 :: r -> r -> r -> Vector 3 r

Construct a 3 dimensional vector

_unV2 :: Vector 2 r -> (r, r)

Destruct a 2 dim vector into a pair

_unV3 :: Vector 3 r -> (r, r, r)

pattern Vector2 :: r -> r -> Vector 2 r

Pattern synonym for two and three dim vectors

pattern Vector3 :: r -> r -> r -> Vector 3 r