| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <[email protected]> |
| Safe Haskell | None |
Linear.Quaternion
Description
Quaternions
- data Quaternion a = Quaternion !a !(V3 a)
- class Complicated t where
- class Complicated t => Hamiltonian t where
- slerp :: RealFloat a => Quaternion a -> Quaternion a -> a -> Quaternion a
- asinq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- acosq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- atanq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- asinhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- acoshq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- atanhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- absi :: Floating a => Quaternion a -> a
- pow :: RealFloat a => Quaternion a -> a -> Quaternion a
- rotate :: (Conjugate a, RealFloat a) => Quaternion a -> V3 a -> V3 a
- axisAngle :: (Epsilon a, Floating a) => V3 a -> a -> Quaternion a
Documentation
data Quaternion a Source
Quaternions
Constructors
| Quaternion !a !(V3 a) |
Instances
| Monad Quaternion | |
| Functor Quaternion | |
| Typeable1 Quaternion | |
| Applicative Quaternion | |
| Foldable Quaternion | |
| Traversable Quaternion | |
| Distributive Quaternion | |
| Apply Quaternion | |
| Bind Quaternion | |
| Additive Quaternion | |
| Metric Quaternion | |
| Core Quaternion | |
| Hamiltonian Quaternion | |
| Complicated 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) | |
| Storable a => Storable (Quaternion a) | |
| (RealFloat a, Epsilon a) => Epsilon (Quaternion a) | |
| (Conjugate a, RealFloat a) => Conjugate (Quaternion a) |
class Complicated t whereSource
Methods
_e :: Functor f => (a -> f a) -> t a -> f (t a)Source
_e :: Lens' (t a) a
_i :: Functor f => (a -> f a) -> t a -> f (t a)Source
_i :: Lens' (t a) a
Instances
class Complicated t => Hamiltonian t whereSource
Methods
_j :: Functor f => (a -> f a) -> t a -> f (t a)Source
_j :: Lens' (t a) a
_k :: Functor f => (a -> f a) -> t a -> f (t a)Source
_k :: Lens' (t a) a
_ijk :: Functor f => (V3 a -> f (V3 a)) -> t a -> f (t a)Source
_ijk :: Lens' (t a) (V3 a)
Instances
slerp :: RealFloat a => Quaternion a -> Quaternion a -> a -> Quaternion aSource
Spherical linear interpolation between two quaternions.
asinq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
asin with a specified branch cut.
acosq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
acos with a specified branch cut.
atanq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
atan with a specified branch cut.
asinhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
asinh with a specified branch cut.
acoshq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
acosh with a specified branch cut.
atanhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion aSource
atanh with a specified branch cut.
absi :: Floating a => Quaternion a -> aSource
norm of the imaginary component
pow :: RealFloat a => Quaternion a -> a -> Quaternion aSource
raise a Quaternion to a scalar power
rotate :: (Conjugate a, RealFloat a) => Quaternion a -> V3 a -> V3 aSource
Apply a rotation to a vector.
axisAngle :: (Epsilon a, Floating a) => V3 a -> a -> Quaternion aSource
axisAngle axis thetaQuaternion representing a
rotation of theta radians about axis.