SpatialMathT

Documentation

class Rotation p a | p -> a where

Methods

compose :: Rot f1 f2 p -> Rot f2 f3 p -> Rot f1 f3 p

rot :: Rot f1 f2 p -> V3T f1 a -> V3T f2 a

rot' :: Rot f1 f2 p -> V3T f2 a -> V3T f1 a

toDcm :: Rot f1 f2 p -> Rot f1 f2 (M33 a)

transpose :: Rot f1 f2 p -> Rot f2 f1 p

Instances

Num a => Rotation (M33 a) a

Num a => Rotation (Quaternion a) a

newtype Rot f1 f2 r

Constructors

Rot

Fields

unR :: r

Instances

Functor (Rot f1 f2)

Foldable (Rot f1 f2)

Traversable (Rot f1 f2)

Generic1 (Rot f1 f2)

Eq r => Eq (Rot f1 f2 r)

Fractional r => Fractional (Rot f1 f2 r)

Num r => Num (Rot f1 f2 r)

Ord r => Ord (Rot f1 f2 r)

Show r => Show (Rot f1 f2 r)

Generic (Rot f1 f2 r)

Storable r => Storable (Rot f1 f2 r)

Binary r => Binary (Rot f1 f2 r)

Serialize r => Serialize (Rot f1 f2 r)

type Rep1 (Rot f1 f2)

type Rep (Rot f1 f2 r)

newtype V3T f a

Constructors

V3T

Fields

unV :: V3 a

Instances

Functor (V3T f)

Applicative (V3T f)

Foldable (V3T f)

Traversable (V3T f)

Generic1 (V3T f)

Metric (V3T f)

Additive (V3T f)

Eq a => Eq (V3T f a)

Fractional a => Fractional (V3T f a)

Num a => Num (V3T f a)

Ord a => Ord (V3T f a)

Show a => Show (V3T f a)

Generic (V3T f a)

Storable a => Storable (V3T f a)

Binary a => Binary (V3T f a)

Serialize a => Serialize (V3T f a)

type Rep1 (V3T f)

type Rep (V3T f a)

type M33T f1 f2 a = V3T f1 (V3T f2 a)

cross :: Num a => V3T f a -> V3T f a -> V3T f a

orthonormalize :: Floating a => Rot f1 f2 (M33 a) -> Rot f1 f2 (M33 a)