Module

Data.Quaternion.Rotation

Package
purescript-quaternions
Repository
hdgarrood/purescript-quaternions

This module provides rotations in 3D space based on quaternions. It is intended to be imported qualified, for example like this:

import Data.Quaternion.Rotation (Rotation)
import Data.Quaternion.Rotation as Rotation

#Rotation Source

newtype Rotation a

A rotation in three-dimensional space, represented by a unit quaternion (also known as a versor).

The constructor is not exported to ensure that only valid rotations can be constructed.

The semigroup instance provides composition of rotations; p <> q gives a rotation representating the rotation q followed by the rotation p. Note that in general, this is not the same as p followed by q!

Instances

#fromQuaternion Source

fromQuaternion :: Quaternion Number -> Rotation Number

Construct a Rotation from any Quaternion, by normalizing to a versor.

#toQuaternion Source

toQuaternion :: forall a. Rotation a -> Quaternion a

Get the underlying versor.

#fromAngleAxis Source

fromAngleAxis :: { angle :: Number, axis :: Vec3 Number } -> Rotation Number

Construct a Rotation representing the rotation by the specified angle (in radians) about the specified axis. The rotation is clockwise from the point of view of someone looking along the direction of the rotation axis.

#toAngleAxis Source

toAngleAxis :: Rotation Number -> { angle :: Number, axis :: Vec3 Number }

Gives the angle and axis that a rotation represents. This is the inverse of fromAngleAxis.

#showAngleAxis Source

showAngleAxis :: Rotation Number -> String

An alternative string representation, which can be useful for debugging.

#inverse Source

inverse :: forall a. EuclideanRing a => Rotation a -> Rotation a

The inverse of a rotation. The following should hold for any rotation p:

  • inverse p <> p == mempty
  • p <> inverse p == mempty

#act Source

act :: forall a. EuclideanRing a => Rotation a -> Vec3 a -> Vec3 a

The action of a rotation on a vector in 3D space. This is a group action, which means that the following hold:

  • Identity: act mempty == id
  • Compatibility: act p (act q v) = act (p <> q) v
Modules
Data.Quaternion
Data.Quaternion.Rotation