Modulevector-space-0.19Haskell2010

Data.Cross

Cross products and normals

classclass HasNormal v where

Thing with a normal vector (not necessarily normalized).

Instances4HasNormal

(VectorSpace s, HasBasis s, HasTrie (Basis s), Basis s ~ ()) => HasNormal (Two (One s :> s))Defined in vector-space-0.19 · Data.Cross
(VectorSpace s, HasBasis s, HasTrie (Basis s), HasNormal (Two s :> Three s)) => HasNormal (Three (Two s :> s))Defined in vector-space-0.19 · Data.Cross
(Num s, HasTrie (Basis (s, s)), HasBasis s, Basis s ~ ()) => HasNormal (Two s :> Three s)Defined in vector-space-0.19 · Data.Cross
(HasBasis s, HasTrie (Basis s), Basis s ~ ()) => HasNormal (One s :> Two s)Defined in vector-space-0.19 · Data.Cross

valuenormal :: (HasNormal v, InnerSpace v, Floating (Scalar v)) => v -> v

Normalized normal vector. See also cross.

typetype One s = s

Singleton

typetype Two s = (s, s)

Homogeneous pair

typetype Three s = (s, s, s)

Homogeneous triple

classclass HasCross2 v where

Cross product of various forms of 2D vectors

Instances2HasCross2

AdditiveGroup u => HasCross2 (u, u)Defined in vector-space-0.19 · Data.Cross
(HasTrie (Basis a), HasCross2 v) => HasCross2 (a :> v)Defined in vector-space-0.19 · Data.Cross

classclass HasCross3 v where

Cross product of various forms of 3D vectors

Instances2HasCross3

(HasBasis a, HasTrie (Basis a), VectorSpace v, HasCross3 v) => HasCross3 (a :> v)Defined in vector-space-0.19 · Data.Cross
Num s => HasCross3 (s, s, s)Defined in vector-space-0.19 · Data.Cross