Data.NumIdr.Transform.Translation

Definitions

Translation : Nat -> Type -> Type

  A translation is a transform that adds a constant vector value
  to its input point.

Totality: total
Visibility: public export

isTranslation : Eq a => Num a => HMatrix' n a -> Bool

  Determine if a homogeneous matrix encodes a translation.

Totality: total
Visibility: export

fromHMatrix : Eq a => Num a => HMatrix' n a -> Maybe (Translation n a)

  Try to construct a translation from a homogeneous matrix.

Totality: total
Visibility: export

translate : Num a => Vector n a -> Translation n a

  Construct a translation given a vector.

Totality: total
Visibility: export