Diagrams.TwoD.Types

2D Euclidean space

data R2

r2

unr2

mkR2

r2Iso

type P2

p2

mkP2

unp2

p2Iso

type T2

Angles

data Angle

rad

turn

deg

fullTurn

fullCircle

angleRatio

(@@)