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

Graph Projection

Graph Construction and Destruction

Graph Inspection

Context Inspection