Diagrams.ThreeD.Types

3D Euclidean space

data R3

r3

unr3

mkR3

type P3

p3

unp3

mkP3

type T3

r3Iso

p3Iso

Two-dimensional angles

data Angle

rad

turn

deg

(@@)

fullTurn

angleRatio

Directions in 3D

class Direction d

data Spherical

asSpherical