Diagrams.ThreeD.Types

3D Euclidean space

r3

unr3

mkR3

p3

unp3

mkP3

r3Iso

p3Iso

project

r3SphericalIso

r3CylindricalIso

data V3 a

type P3

type T3

class R1 t

class R2 t

class R3 t