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'