Linear.Quaternion

Quaternions

Documentation

data Quaternion a

Quaternions

Constructors

Quaternion !a !(V3 a)

Instances

Monad Quaternion

Functor Quaternion

Typeable1 Quaternion

MonadFix Quaternion

Applicative Quaternion

Foldable Quaternion

Traversable Quaternion

Generic1 Quaternion

Distributive Quaternion

Representable Quaternion

MonadZip Quaternion

Apply Quaternion

Bind Quaternion

Additive Quaternion

Metric Quaternion

Hamiltonian Quaternion

Complicated Quaternion

Trace Quaternion

Affine Quaternion

Unbox a => Vector Vector (Quaternion a)

Unbox a => MVector MVector (Quaternion a)

(Num r, TrivialConjugate r) => Coalgebra r (E Quaternion)

(Num r, TrivialConjugate r) => Algebra r (E Quaternion)

Eq a => Eq (Quaternion a)

RealFloat a => Floating (Quaternion a)

RealFloat a => Fractional (Quaternion a)

Data a => Data (Quaternion a)

RealFloat a => Num (Quaternion a)

Ord a => Ord (Quaternion a)

Read a => Read (Quaternion a)

Show a => Show (Quaternion a)

Ix a => Ix (Quaternion a)

Generic (Quaternion a)

Storable a => Storable (Quaternion a)

Hashable a => Hashable (Quaternion a)

Unbox a => Unbox (Quaternion a)

Ixed (Quaternion a)

(RealFloat a, Epsilon a) => Epsilon (Quaternion a)

(Conjugate a, RealFloat a) => Conjugate (Quaternion a)

FunctorWithIndex (E Quaternion) Quaternion

FoldableWithIndex (E Quaternion) Quaternion

TraversableWithIndex (E Quaternion) Quaternion

Each (Quaternion a) (Quaternion b) a b

class Complicated t where

A vector space that includes the basis elements _e and _i

Methods

_e, _i :: Lens' (t a) a

Instances

Complicated Complex

Complicated Quaternion

class Complicated t => Hamiltonian t where

A vector space that includes the basis elements _e, _i, _j and _k

Methods

_j, _k :: Lens' (t a) a

_ijk :: Lens' (t a) (V3 a)

Instances

Hamiltonian Quaternion

ee :: Complicated t => E t

ei :: Complicated t => E t

ej :: Hamiltonian t => E t

ek :: Hamiltonian t => E t

slerp :: RealFloat a => Quaternion a -> Quaternion a -> a -> Quaternion a

Spherical linear interpolation between two quaternions.

asinq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

asin with a specified branch cut.

acosq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

acos with a specified branch cut.

atanq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

atan with a specified branch cut.

asinhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

asinh with a specified branch cut.

acoshq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

acosh with a specified branch cut.

atanhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a

atanh with a specified branch cut.

absi :: Floating a => Quaternion a -> a

norm of the imaginary component

pow :: RealFloat a => Quaternion a -> a -> Quaternion a

raise a Quaternion to a scalar power

rotate :: (Conjugate a, RealFloat a) => Quaternion a -> V3 a -> V3 a

Apply a rotation to a vector.

axisAngle :: (Epsilon a, Floating a) => V3 a -> a -> Quaternion a

axisAngle axis theta builds a Quaternion representing a rotation of theta radians about axis.