Data.PlanarGraph

data Arc s

data Direction

rev

data Dart s

arc

direction

twin

isPositive

data World

type family Dual (sp :: World) where ...

data VertexId s w

data PlanarGraph s w v e f

embedding

vertexData

dartData

faceData

edgeData

planarGraph

planarGraph'

fromAdjacencyLists

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

boundaryVertices

data EdgeOracle s w a

edgeOracle

buildEdgeOracle

findEdge

hasEdge