Data.Cross

Description

Cross products and normals

Synopsis

Documentation

Thing with a normal vector (not necessarily normalized).

Methods

Instances details

( VectorSpace s, HasBasis s, HasTrie ( Basis s), HasNormal ( Two s :> Three s)) => HasNormal ( Three ( Two s :> s)) Source #
Instance details Defined in Data.Cross Methods normalVec :: Three ( Two s :> s) -> Three ( Two s :> s) Source #
( VectorSpace s, HasBasis s, HasTrie ( Basis s), Basis s ~ ()) => HasNormal ( Two ( One s :> s)) Source #
Instance details Defined in Data.Cross Methods normalVec :: Two ( One s :> s) -> Two ( One s :> s) Source #
( Num s, HasTrie ( Basis (s, s)), HasBasis s, Basis s ~ ()) => HasNormal ( Two s :> Three s) Source #
Instance details Defined in Data.Cross Methods normalVec :: ( Two s :> Three s) -> Two s :> Three s Source #
( HasBasis s, HasTrie ( Basis s), Basis s ~ ()) => HasNormal ( One s :> Two s) Source #
Instance details Defined in Data.Cross Methods normalVec :: ( One s :> Two s) -> One s :> Two s Source #

Normalized normal vector. See also cross .

type One s = s Source #

Singleton

type Two s = (s, s) Source #

Homogeneous pair

type Three s = (s, s, s) Source #

Homogeneous triple

Cross product of various forms of 2D vectors

Methods

Instances details

AdditiveGroup u => HasCross2 (u, u) Source #
Instance details Defined in Data.Cross Methods cross2 :: (u, u) -> (u, u) Source #
( HasTrie ( Basis a), HasCross2 v) => HasCross2 (a :> v) Source #
Instance details Defined in Data.Cross Methods cross2 :: (a :> v) -> a :> v Source #

Cross product of various forms of 3D vectors

Methods

cross3 :: v -> v -> v Source #

Instances details

( HasBasis a, HasTrie ( Basis a), VectorSpace v, HasCross3 v) => HasCross3 (a :> v) Source #
Instance details Defined in Data.Cross Methods cross3 :: (a :> v) -> (a :> v) -> a :> v Source #
Num s => HasCross3 (s, s, s) Source #
Instance details Defined in Data.Cross Methods cross3 :: (s, s, s) -> (s, s, s) -> (s, s, s) Source #