Linear.V2

data V2 a

A 2-dimensional vector.

origin = V2 0.0 0.0
direction = V2 1.0 0.0

Constructors

• V2 a a

Instances

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

perp :: forall a. Ring a => V2 a -> V2 a

The counter-clockwise perpendicular vector.

perp (V2 1.0 0.0) = V2 0.0 1.0
perp (V2 0.0 1.0) = V2 (-1.0) 0.0

angle :: Number -> V2 Number

Construct a unit vector at the given angle (in radians) from the positive x-axis.

angle 0.0 = V2 1.0 0.0
angle (pi / 2.0) ≈ V2 0.0 1.0

unangle :: V2 Number -> Number

Extract the angle (in radians) from a vector, measured from the positive x-axis.

unangle (V2 1.0 0.0) = 0.0
unangle (V2 0.0 1.0) = pi / 2.0

crossZ :: forall a. Ring a => V2 a -> V2 a -> a

The z-component of the cross product of two 2D vectors.

This is useful for determining the orientation of two vectors:

• Positive: v2 is counter-clockwise from v1
• Negative: v2 is clockwise from v1
• Zero: vectors are parallel

crossZ (V2 1.0 0.0) (V2 0.0 1.0) = 1.0  -- counter-clockwise
crossZ (V2 0.0 1.0) (V2 1.0 0.0) = -1.0 -- clockwise

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

Unit vector along the x-axis.

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

Unit vector along the y-axis.

getX :: forall a. V2 a -> a

Get the x component of a V2.

getY :: forall a. V2 a -> a

Get the y component of a V2.