Algebra.Graph.Relation.Internal

Data structure

data Relation a

consistent

Basic graph construction primitives

empty

vertex

overlay

connect

vertices

edges

fromAdjacencyList

Graph properties

edgeList

preset

postset

Graph transformation

removeVertex

removeEdge

gmap

induce

Operations on binary relations

reflexiveClosure

symmetricClosure

transitiveClosure

preorderClosure

Reflexive relations

data ReflexiveRelation a

Symmetric relations

data SymmetricRelation a

Transitive relations

data TransitiveRelation a

Preorders

data PreorderRelation a