2D Euclidean space

The two-dimensional Euclidean vector space R^2. This type is intentionally abstract.

• To construct a vector, use r2, or ^& (from Diagrams.Coordinates):

r2 (3,4) :: R2
3 ^& 4    :: R2

Note that Diagrams.Coordinates is not re-exported by Diagrams.Prelude and must be explicitly imported.

• To construct the vector from the origin to a point p, use p .-. origin.
• To convert a vector v into the point obtained by following v from the origin, use origin .+^ v.
• To convert a vector back into a pair of components, use unv2 or coords (from Diagrams.Coordinates). These are typically used in conjunction with the ViewPatterns extension:

foo (unr2 -> (x,y)) = ...
foo (coords -> x :& y) = ...

Construct a 2D vector from a pair of components. See also &.

Convert a 2D vector back into a pair of components. See also coords.

Curried form of r2.

Points in R^2. This type is intentionally abstract.

• To construct a point, use p2, or ^& (see Diagrams.Coordinates):

p2 (3,4)  :: P2
3 ^& 4    :: P2

• To construct a point from a vector v, use origin .+^ v.
• To convert a point p into the vector from the origin to p, use p .-. origin.
• To convert a point back into a pair of coordinates, use unp2, or coords (from Diagrams.Coordinates). It's common to use these in conjunction with the ViewPatterns extension:

foo (unp2 -> (x,y)) = ...
foo (coords -> x :& y) = ...

Construct a 2D point from a pair of coordinates. See also ^&.

Curried form of p2.

Convert a 2D point back into a pair of coordinates. See also coords.

Transformations in R^2.