Diagrams.ThreeD.Types

3D Euclidean space

data R3

r3

unr3

mkR3

type P3

p3

unp3

mkP3

type T3

r3Iso

p3Iso

Directions in 3D

data Direction

direction

fromDirection

angleBetweenDirs

other coördinate systems

class Spherical t

class Cylindrical t

class HasPhi t