# Compile-checked usage examples
[Return to the package overview.](../../README.md#use)
· [Browse the documentation.](../README.md)
Each example imports only the public `Moonlight.Triangulation` facade. The
`moonlight-triangulation-examples-test` component compiles the modules and
owns their deterministic expected results.
| Workflow | Canonical source |
| --- | --- |
| Join and meet overlapping site sets | [`SetAlgebra.hs`](./Moonlight/Triangulation/Example/SetAlgebra.hs) |
| Recover a constrained annulus interior | [`ConstrainedRegion.hs`](./Moonlight/Triangulation/Example/ConstrainedRegion.hs) |
| Descend an alpha face section to its boundary | [`AlphaBoundary.hs`](./Moonlight/Triangulation/Example/AlphaBoundary.hs) |
| Overlay, measure, and morph exact regions | [`PlanarRegion.hs`](./Moonlight/Triangulation/Example/PlanarRegion.hs) |
[The focused test owner](../../test/examples/Main.hs) checks every published
summary against these sources.