Algebra.Graph.Class

The core type class

class Graph g

Undirected graphs

class Undirected g

Reflexive graphs

class Reflexive g

Transitive graphs

class Transitive g

Preorders

class Preorder g

Basic graph construction primitives

edge

vertices

overlays

connects

edges

graph

Relations on graphs

isSubgraphOf

Standard families of graphs

path

circuit

clique

biclique

star

tree

forest

Conversion between graph data types

class ToGraph t