Point package:diagrams-core
A handy wrapper to help distinguish points from vectors at the type
level
A handy wrapper to help distinguish points from vectors at the type
level
A type for points (as distinct from vectors).
Create a "point diagram", which has no content, no trace, an empty
query, and a point envelope.
Create a point envelope for the given point. A point envelope has
distance zero to a bounding hyperplane in every direction. Note this
is not the same as the empty envelope.
Create a "point subdiagram", that is, a
pointDiagram (with no
content and a point envelope) treated as a subdiagram with local
origin at the given point. Note this is not the same as
mkSubdiagram . pointDiagram, which would result in a
subdiagram with local origin at the parent origin, rather than at the
given point.