Algebra.Graph.HigherKinded.Class

The core type class

class Graph g

empty

vertex

overlay

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

edges

overlays

connects

graph

Relations on graphs

isSubgraphOf

Graph properties

isEmpty

hasVertex

vertexCount

vertexList

vertexSet

vertexIntSet

Standard families of graphs

path

circuit

clique

biclique

star

tree

forest

mesh

torus

deBruijn

Graph transformation

removeVertex

replaceVertex

mergeVertices

splitVertex

induce

Graph composition

box

Conversion between graph data types

class ToGraph t