Linear.Matrix

Documentation

(!*!) :: (Functor m, Foldable r, Applicative r, Distributive n, Num a) => m (r a) -> r (n a) -> m (n a)

matrix product

(!*) :: (Functor m, Metric r, Num a) => m (r a) -> r a -> m a

matrix * column vector

(*!) :: (Metric r, Distributive n, Num a) => r a -> r (n a) -> n a

row vector * matrix

adjoint :: (Functor m, Distributive n, Conjugate a) => m (n a) -> n (m a)

hermitian conjugate or conjugate transpose

type M33 a = V3 (V3 a)

Matrices use a row-major representation.

type M44 a = V4 (V4 a)

type M43 a = V4 (V3 a)

m33_to_m44 :: Num a => M33 a -> M44 a

m43_to_m44 :: Num a => M43 a -> M44 a

eye3 :: Num a => M33 a

3x3 identity matrix.

eye4 :: Num a => M44 a

4x4 identity matrix.

trace :: (Monad f, Foldable f, Num a) => f (f a) -> a

Compute the trace of a matrix

translation :: (R3 t, R4 v, Functor f, Functor t) => (V3 a -> f (V3 a)) -> t (v a) -> f (t a)

Extract the translation vector (first three entries of the last column) from a 3x4 or 4x4 matrix

fromQuaternion :: Num a => Quaternion a -> M33 a

Build a rotation matrix from a Quaternion.

mkTransformation :: Num a => Quaternion a -> V3 a -> M44 a

Build a transformation matrix from a rotation expressed as a Quaternion and a translation vector.