Data.Graph.Inductive.Graph
General Type Defintions
Node and Edge Types
type
Node
type
LNode
a
type
UNode
type
Edge
type
LEdge
b
type
UEdge
Types Supporting Inductive Graph View
type
Adj
b
type
Context
a b
type
MContext
a b
type
Decomp
g a b
type
GDecomp
g a b
type
UContext
type
UDecomp
g
type
Path
data
LPath
a
type
UPath
Graph Type Classes
class
Graph
gr
class
DynGraph
gr
Operations
Graph Folds and Maps
ufold
gmap
nmap
emap
Graph Projection
nodes
edges
newNodes
gelem
Graph Construction and Destruction
insNode
insEdge
delNode
delEdge
delLEdge
insNodes
insEdges
delNodes
delEdges
buildGr
mkUGraph
Graph Inspection
context
lab
neighbors
suc
pre
lsuc
lpre
out
inn
outdeg
indeg
deg
equal
Context Inspection
node'
lab'
labNode'
neighbors'
suc'
pre'
lpre'
lsuc'
out'
inn'
outdeg'
indeg'
deg'