Linear.V3

data V3 a

A 3-dimensional vector.

origin = V3 0.0 0.0 0.0
up = V3 0.0 1.0 0.0

Constructors

• V3 a a a

Instances

• (Eq a) => Eq (V3 a)
• (Ord a) => Ord (V3 a)
• (Show a) => Show (V3 a)
• Functor V3
• Apply V3
• Applicative V3
• Bind V3
• Monad V3
• Foldable V3
• Traversable V3
• Additive V3
• (Semiring a) => Semigroup (V3 a)
• (Semiring a) => Monoid (V3 a)
• (Epsilon a) => Epsilon (V3 a)
• Metric V3

cross :: forall a. Ring a => V3 a -> V3 a -> V3 a

The cross product of two 3D vectors.

The result is perpendicular to both input vectors, with magnitude equal to the area of the parallelogram they span.

cross (V3 1.0 0.0 0.0) (V3 0.0 1.0 0.0) = V3 0.0 0.0 1.0

triple :: forall a. Ring a => V3 a -> V3 a -> V3 a -> a

The scalar triple product of three vectors.

This equals the signed volume of the parallelepiped formed by the vectors.

triple (V3 1.0 0.0 0.0) (V3 0.0 1.0 0.0) (V3 0.0 0.0 1.0) = 1.0

ex :: forall a. Semiring a => V3 a

Unit vector along the x-axis.

ey :: forall a. Semiring a => V3 a

Unit vector along the y-axis.

ez :: forall a. Semiring a => V3 a

Unit vector along the z-axis.

getX :: forall a. V3 a -> a

Get the x component of a V3.

getY :: forall a. V3 a -> a

Get the y component of a V3.

getZ :: forall a. V3 a -> a

Get the z component of a V3.