Linear.Trace

Simple matrix operation for low-dimensional primitives.

Documentation

class Functor m => Trace m where

Methods

trace :: Num a => m (m a) -> a

Compute the trace of a matrix

>>> trace (V2 (V2 a b) (V2 c d))
a + d

trace :: (Foldable m, Num a) => m (m a) -> a

Compute the trace of a matrix

>>> trace (V2 (V2 a b) (V2 c d))
a + d

diagonal :: m (m a) -> m a

Compute the diagonal of a matrix

>>> diagonal (V2 (V2 a b) (V2 c d))
V2 a d

diagonal :: Monad m => m (m a) -> m a

Compute the diagonal of a matrix

>>> diagonal (V2 (V2 a b) (V2 c d))
V2 a d

Instances

Trace Complex

Defined in Linear.Trace

Methods

trace :: Num a => Complex (Complex a) -> a

diagonal :: Complex (Complex a) -> Complex a

Trace IntMap

Defined in Linear.Trace

Methods

trace :: Num a => IntMap (IntMap a) -> a

diagonal :: IntMap (IntMap a) -> IntMap a

Trace V1

Defined in Linear.Trace

Methods

trace :: Num a => V1 (V1 a) -> a

diagonal :: V1 (V1 a) -> V1 a

Trace V2

Defined in Linear.Trace

Methods

trace :: Num a => V2 (V2 a) -> a

diagonal :: V2 (V2 a) -> V2 a

Trace V3

Defined in Linear.Trace

Methods

trace :: Num a => V3 (V3 a) -> a

diagonal :: V3 (V3 a) -> V3 a

Trace V4

Defined in Linear.Trace

Methods

trace :: Num a => V4 (V4 a) -> a

diagonal :: V4 (V4 a) -> V4 a

Trace V0

Defined in Linear.Trace

Methods

trace :: Num a => V0 (V0 a) -> a

diagonal :: V0 (V0 a) -> V0 a

Trace Quaternion

Defined in Linear.Trace

Methods

trace :: Num a => Quaternion (Quaternion a) -> a

diagonal :: Quaternion (Quaternion a) -> Quaternion a

Trace Plucker

Defined in Linear.Trace

Methods

trace :: Num a => Plucker (Plucker a) -> a

diagonal :: Plucker (Plucker a) -> Plucker a

Ord k => Trace (Map k)

Defined in Linear.Trace

Methods

trace :: Num a => Map k (Map k a) -> a

diagonal :: Map k (Map k a) -> Map k a

(Eq k, Hashable k) => Trace (HashMap k)

Defined in Linear.Trace

Methods

trace :: Num a => HashMap k (HashMap k a) -> a

diagonal :: HashMap k (HashMap k a) -> HashMap k a

Dim n => Trace (V n)

Defined in Linear.Trace

Methods

trace :: Num a => V n (V n a) -> a

diagonal :: V n (V n a) -> V n a

(Trace f, Trace g) => Trace (Product f g)

Defined in Linear.Trace

Methods

trace :: Num a => Product f g (Product f g a) -> a

diagonal :: Product f g (Product f g a) -> Product f g a

(Distributive g, Trace g, Trace f) => Trace (Compose g f)

Defined in Linear.Trace

Methods

trace :: Num a => Compose g f (Compose g f a) -> a

diagonal :: Compose g f (Compose g f a) -> Compose g f a