Algebra.Graph

Algebraic data type for graphs

data Graph a

Basic graph construction primitives

empty

vertex

edge

overlay

connect

vertices

edges

overlays

connects

graph

Graph folding

foldg

Relations on graphs

isSubgraphOf

(===)

Graph properties

isEmpty

size

hasVertex

hasEdge

vertexCount

edgeCount

vertexList

edgeList

vertexSet

vertexIntSet

edgeSet

Standard families of graphs

path

circuit

clique

biclique

star

tree

forest

mesh

torus

deBruijn

Graph transformation

removeVertex

removeEdge

replaceVertex

mergeVertices

splitVertex

transpose

induce

simplify

Graph composition

box