Diagrams.TwoD.Types

2D Euclidean space

data R2

r2

unr2

mkR2

r2Iso

type P2

p2

mkP2

unp2

p2Iso

type T2