Binary encodings of orthogonal drawing data

Main definitions

• Cslib.Orthogonal.encPoint: a pair of binary signed coordinates.
• Cslib.Orthogonal.encRoute: a framed list of such points.

References

These encodings combine the existing signed-integer, pair and list encodings.

def Cslib.Orthogonal.encPoint : Point ↪ List Bool

A point is encoded by its two binary signed integer coordinates.

def Cslib.Orthogonal.encRoute : Route ↪ List Bool

A route is encoded by a framed finite list of binary-coordinate points.