Index
| adj | Hiraffe.PlanarGraph.AdjRep |
| adjacencies | Hiraffe.PlanarGraph.AdjRep |
| allDarts | Hiraffe.PlanarGraph.Dart |
| allPairsShortestPaths | Hiraffe.ShortestPath.FloydWarshall |
| allPairsShortestPathsWith | Hiraffe.ShortestPath.FloydWarshall |
| allPairsShortestPathsWithNext | Hiraffe.ShortestPath.FloydWarshall |
| Arc | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Dart |
| arc | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| asLocalD | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| asLocalV | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| asPositive | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| bff | Hiraffe.BFS.Pure |
| bfs | |
| 1 (Function) | Hiraffe.BFS.Pure |
| 2 (Function) | Hiraffe.BFS |
| BidirGraph_ | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Both | Hiraffe.PlanarGraph.EdgeOracle |
| boundary' | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| boundaryDartOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| boundaryDartsFrom | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| buildEdgeOracle | Hiraffe.PlanarGraph.EdgeOracle |
| buildGraph | Hiraffe.PlanarGraph.IO |
| Component | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| component | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| ComponentId | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Component |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Component |
| components | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| ConnectedComponent | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| connectedComponentAt | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| ConnectedComponentIx | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| connectedComponents | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| ConstructableDiGraph_ | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| ConstructableGraph_ | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| CPlanarGraph | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| cPlanarGraph | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| cPlanarGraph' | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Dart | |
| 1 (Type/Class) | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| 2 (Type/Class) | Hiraffe.PlanarGraph.Dart |
| 3 (Data Constructor) | Hiraffe.PlanarGraph.Dart |
| dartAt | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| DartData | Hiraffe.PlanarGraph.EdgeOracle |
| dartData | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| DartId | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| DartIx | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| dartIxFromTo | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| darts | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| dataVal | Hiraffe.PlanarGraph.Component |
| dff | Hiraffe.DFS |
| dff' | Hiraffe.DFS |
| dfs | Hiraffe.DFS |
| dfs' | Hiraffe.DFS |
| diGraphFromAdjacencyLists | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| DiGraphFromAdjListExtraConstraints | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| DiGraph_ | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| directedFromAdjacencyLists | Hiraffe.PlanarGraph.IO |
| Direction | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| direction | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| dist | Hiraffe.ShortestPath.Dijkstra |
| Dual | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| dual | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| dualGraph | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| DualGraphOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| DualOf | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Edge | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| edgeAt | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| EdgeIx | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| EdgeOracle | Hiraffe.PlanarGraph.EdgeOracle |
| edgeOracle | Hiraffe.PlanarGraph.EdgeOracle |
| edges | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| embedding | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| endPointDataOf | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| endPoints | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| endPointsOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| extractShortestPath | Hiraffe.ShortestPath.FloydWarshall |
| Face | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.AdjRep |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.AdjRep |
| 3 (Type/Class) | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| faceAt | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| FaceData | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Component |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Component |
| faceData | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| faceDataVal | Hiraffe.PlanarGraph.Component |
| FaceId | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| FaceIdIn | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| faceIdx | Hiraffe.PlanarGraph.Component |
| FaceIx | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| faces | |
| 1 (Function) | Hiraffe.PlanarGraph.AdjRep |
| 2 (Function) | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| fData | |
| 1 (Function) | Hiraffe.PlanarGraph.AdjRep |
| 2 (Function) | Hiraffe.PlanarGraph.Component |
| findDart | Hiraffe.PlanarGraph.EdgeOracle |
| findEdge | Hiraffe.PlanarGraph.EdgeOracle |
| findPaths | Hiraffe.Tree |
| fromAdjacencyLists | |
| 1 (Function) | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| 2 (Function) | Hiraffe.PlanarGraph.IO |
| fromAdjacencyRep | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| fromAdjRep | Hiraffe.PlanarGraph.IO, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| fromConnected' | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| getPositiveDart | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| GGraph | |
| 1 (Type/Class) | Hiraffe.AdjacencyListRep.Map |
| 2 (Type/Class) | Hiraffe.AdjacencyListRep |
| Gr | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.AdjRep |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.AdjRep |
| Graph | |
| 1 (Data Constructor) | Hiraffe.AdjacencyListRep.Map |
| 2 (Type/Class) | Hiraffe.AdjacencyListRep.Map |
| 3 (Data Constructor) | Hiraffe.AdjacencyListRep |
| 4 (Type/Class) | Hiraffe.AdjacencyListRep |
| GraphFromAdjListExtraConstraints | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| Graph_ | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasConnectedComponents | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| HasConnectedComponents' | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| HasDarts | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasDarts' | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| hasEdge | Hiraffe.PlanarGraph.EdgeOracle |
| HasEdges | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasEdges' | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasFaces | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasFaces' | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasInnerComponents | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasOuterBoundaryOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasOuterFace | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasVertices | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| HasVertices' | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| headOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| holes | Hiraffe.PlanarGraph.Component |
| id | Hiraffe.PlanarGraph.AdjRep |
| incidentEdge | Hiraffe.PlanarGraph.AdjRep |
| incidentEdges | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| incidentEdgesOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| incidentFaceOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| incomingEdges | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| innerComponentsAt | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| interiorFaces | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| isPositive | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| itraverseEdges1 | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| itraverseUndirected | Hiraffe.PlanarGraph.EdgeOracle |
| labelPrefixWith | Hiraffe.Tree |
| leftFaceOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Negative | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| neighboursOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| neighboursOfByEdge | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| nextDartOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| nextIncidentEdge | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| nextIncidentEdgeFrom | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| numConnectedComponents | Hiraffe.Graph.Component, Hiraffe.PlanarGraph.Component |
| numDarts | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| numEdges | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| numFaces | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| numVertices | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerBoundaryDarts | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerBoundaryDartsOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerBoundaryVertices | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerBoundaryVerticesOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerFace | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerFaceDart | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outerFaceId | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outgoingDartsOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outgoingEdges | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outNeighboursOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| outNeighboursOfByDart | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| path | Hiraffe.ShortestPath.Dijkstra |
| pathsTo | Hiraffe.Tree |
| PlanarGraph | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| PlanarGraph_ | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Positive | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| prevDartOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| prevIncidentEdge | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| prevIncidentEdgeFrom | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Primal | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| Raw | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Component |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Component |
| rawDartData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| RawFace | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Component |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Component |
| rawFaceData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| rawVertexData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| reorder | Hiraffe.PlanarGraph.IO |
| rev | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| rightFaceOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| shortestPaths | Hiraffe.ShortestPath.Dijkstra |
| tailOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| toAdjacencyLists | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| toAdjRep | Hiraffe.PlanarGraph.IO, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| traverseNeighbourOrder | Hiraffe.AdjacencyListRep.Map |
| traverseNeighbourOrder' | Hiraffe.AdjacencyListRep.Map |
| twin | Hiraffe.PlanarGraph.Dart, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| twinDartOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| twinOf | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| unCI | Hiraffe.PlanarGraph.Component |
| UToV | Hiraffe.PlanarGraph.EdgeOracle |
| uToV' | Hiraffe.PlanarGraph.EdgeOracle |
| vData | Hiraffe.PlanarGraph.AdjRep |
| Vertex | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| vertexAt | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| VertexData | |
| 1 (Type/Class) | Hiraffe.AdjacencyListRep.Map |
| 2 (Data Constructor) | Hiraffe.AdjacencyListRep.Map |
| 3 (Type/Class) | Hiraffe.AdjacencyListRep |
| 4 (Data Constructor) | Hiraffe.AdjacencyListRep |
| vertexData | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| VertexId | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| VertexIdIn | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| VertexIx | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| vertices | Hiraffe.Graph.Class, Hiraffe.Graph, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| VToU | Hiraffe.PlanarGraph.EdgeOracle |
| vToU' | Hiraffe.PlanarGraph.EdgeOracle |
| Vtx | |
| 1 (Type/Class) | Hiraffe.PlanarGraph.AdjRep |
| 2 (Data Constructor) | Hiraffe.PlanarGraph.AdjRep |
| WithNext | |
| 1 (Type/Class) | Hiraffe.ShortestPath.FloydWarshall |
| 2 (Data Constructor) | Hiraffe.ShortestPath.FloydWarshall |
| WithPath | |
| 1 (Type/Class) | Hiraffe.ShortestPath.Dijkstra |
| 2 (Data Constructor) | Hiraffe.ShortestPath.Dijkstra |
| World | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| WorldOf | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph, Hiraffe.PlanarGraph |
| Wrap | Hiraffe.PlanarGraph.Component |
| _components | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| _DualFaceIx | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| _DualVertexIx | Hiraffe.PlanarGraph.Class, Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| _rawDartData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| _rawFaceData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| _rawVertexData | Hiraffe.PlanarGraph.Type, Hiraffe.PlanarGraph |
| _unFaceId | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |
| _unVertexId | Hiraffe.PlanarGraph.Connected, Hiraffe.PlanarGraph |