Safe Haskell	None
Language	Haskell2010

SpatialMathT

Documentation

class Rotation p a | p -> a where Source

Methods

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

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

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

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

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

Instances

Num a => Rotation (M33 a) a
Num a => Rotation (Quaternion a) a

newtype Rot f1 f2 r Source

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)
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 Source

Constructors

V3T
Fields unV :: V3 a

Instances

Functor (V3T f)
Applicative (V3T f)
Foldable (V3T f)
Traversable (V3T f)
Generic1 (V3T f)
Additive (V3T f)
Eq a => Eq (V3T f a)
Fractional a => Fractional (V3T f a)
Num a => Num (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) Source

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