Data.PlanarGraph
data Arc s
data Direction
rev
data Dart s
arc
direction
twin
isPositive
data World
type family Dual sp
data VertexId s w
data PlanarGraph s w v e f
embedding
vertexData
dartData
faceData
edgeData
planarGraph
planarGraph'
numVertices
numDarts
numEdges
numFaces
darts'
darts
edges'
edges
vertices'
vertices
faces'
faces
tailOf
headOf
endPoints
incidentEdges
incomingEdges
outgoingEdges
neighboursOf
vDataOf
eDataOf
fDataOf
endPointDataOf
endPointData
dual
data FaceId s w
leftFace
rightFace
boundary