A Region in 2D Space

In general, this is used as a face, and extruded along some sort of path

Under the hood, this is represented by an OpenCascade Shape

This should be of type Face, constrained to the plane \( z=0 \).

Please feel free to report a bug if you're able to construct a Shape which does not lie on this plane (without using Internal functions). Or which is not either a Face, or a composite of faces.

Construct a 2D Shape from a closed path

Get the paths back from a 2D shape

Ideally:

shapePaths . fromPath ≡ pure

Circle with radius 1, centered on the origin

Square with side length of 1, one vertex on the origin, another on \( (1, 1) \)

Square with side length of 1, centered on the origin

\(n\) sided Polygon, centered on the origin

Ill-defined when n <= 2

Take the union of two 2D shapes. The region occupied by either one of them

Take the difference of two 2D shapes. The region occupied by the first, but not the second

Take the intersection of two 2D shapes. The region occupied by both of them

Take the union of a list of 2D shapes May be more performant than chaining multiple applications of union2D

Take the intersection of a list of 2D shapes May be more performant than chaining multiple applications of intersection2D

An empty 2D shape