algebraic-graphs-0.1.0: A library for algebraic graph construction and transformation

Index

:=Algebra.Graph.Export.Dot
<+>Algebra.Graph.Export
=== 
1 (Function)Algebra.Graph
2 (Function)Algebra.Graph.NonEmpty
adjacencyList 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
AdjacencyMapAlgebra.Graph.AdjacencyMap.Internal, Algebra.Graph.AdjacencyMap
adjacencyMap 
1 (Function)Algebra.Graph.AdjacencyMap.Internal, Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal, Algebra.Graph.IntAdjacencyMap
AM 
1 (Data Constructor)Algebra.Graph.AdjacencyMap.Internal
2 (Data Constructor)Algebra.Graph.IntAdjacencyMap.Internal
AttributeAlgebra.Graph.Export.Dot
biclique 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
biclique1Algebra.Graph.NonEmpty
bindAlgebra.Graph.Fold
box 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
4 (Function)Algebra.Graph.NonEmpty
bracketsAlgebra.Graph.Export
circuit 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
circuit1Algebra.Graph.NonEmpty
clique 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
clique1Algebra.Graph.NonEmpty
composeAlgebra.Graph.Relation
Connect 
1 (Data Constructor)Algebra.Graph
2 (Data Constructor)Algebra.Graph.NonEmpty
connect 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
8 (Function)Algebra.Graph.NonEmpty
connects 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
connects1Algebra.Graph.NonEmpty
consistent 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
3 (Function)Algebra.Graph.Relation.Internal
Context 
1 (Type/Class)Algebra.Graph.Internal
2 (Data Constructor)Algebra.Graph.Internal
contextAlgebra.Graph.Internal
deBruijn 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
defaultEdgeAttributesAlgebra.Graph.Export.Dot
defaultStyleAlgebra.Graph.Export.Dot
defaultStyleViaShowAlgebra.Graph.Export.Dot
defaultVertexAttributesAlgebra.Graph.Export.Dot
dfs 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
dfsForest 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
dfsForestFrom 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
DocAlgebra.Graph.Export
domainAlgebra.Graph.Relation.Internal, Algebra.Graph.Relation
doubleQuotesAlgebra.Graph.Export
edge 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
8 (Function)Algebra.Graph.NonEmpty
edgeAttributesAlgebra.Graph.Export.Dot
edgeCount 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
edgeList 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
edges 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
edges1Algebra.Graph.NonEmpty
edgeSet 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
EmptyAlgebra.Graph
empty 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Class
3 (Function)Algebra.Graph.AdjacencyMap
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
export 
1 (Function)Algebra.Graph.Export
2 (Function)Algebra.Graph.Export.Dot
exportAsIsAlgebra.Graph.Export.Dot
exportViaShowAlgebra.Graph.Export.Dot
FocusAlgebra.Graph.Internal
focusAlgebra.Graph.Internal
FoldAlgebra.Graph.Fold
foldg 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
foldg1Algebra.Graph.NonEmpty
forest 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
fromAdjacencyList 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
fromPreorderAlgebra.Graph.Relation.InternalDerived
fromReflexiveAlgebra.Graph.Relation.InternalDerived
fromRelation 
1 (Function)Algebra.Graph.Relation.Preorder
2 (Function)Algebra.Graph.Relation.Reflexive
3 (Function)Algebra.Graph.Relation.Symmetric
4 (Function)Algebra.Graph.Relation.Transitive
fromSymmetricAlgebra.Graph.Relation.InternalDerived
fromTransitiveAlgebra.Graph.Relation.InternalDerived
fromVertexKL 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
gmap 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
Graph 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
3 (Type/Class)Algebra.Graph
graphAttributesAlgebra.Graph.Export.Dot
GraphKL 
1 (Type/Class)Algebra.Graph.AdjacencyMap.Internal
2 (Data Constructor)Algebra.Graph.AdjacencyMap.Internal
3 (Type/Class)Algebra.Graph.IntAdjacencyMap.Internal
4 (Data Constructor)Algebra.Graph.IntAdjacencyMap.Internal
graphKL 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
graphNameAlgebra.Graph.Export.Dot
hasEdge 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
hasVertex 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
indentAlgebra.Graph.Export
induce 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
induce1Algebra.Graph.NonEmpty
inputsAlgebra.Graph.Internal
IntAdjacencyMapAlgebra.Graph.IntAdjacencyMap.Internal, Algebra.Graph.IntAdjacencyMap
isEmpty 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
isSubgraphOf 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
isTopSort 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
List 
1 (Type/Class)Algebra.Graph.Internal
2 (Data Constructor)Algebra.Graph.Internal
literalAlgebra.Graph.Export
mergeVertices 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
mesh 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
mesh1Algebra.Graph.NonEmpty
mkAM 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
mkGraphKL 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
neighboursAlgebra.Graph.Relation.Symmetric
NonEmptyGraphAlgebra.Graph.NonEmpty
outputsAlgebra.Graph.Internal
Overlay 
1 (Data Constructor)Algebra.Graph
2 (Data Constructor)Algebra.Graph.NonEmpty
overlay 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
8 (Function)Algebra.Graph.NonEmpty
overlay1Algebra.Graph.NonEmpty
overlays 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
overlays1Algebra.Graph.NonEmpty
path 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
path1Algebra.Graph.NonEmpty
postIntSetAlgebra.Graph.IntAdjacencyMap
postSet 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.Relation
preambleAlgebra.Graph.Export.Dot
Preorder 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
preorderClosureAlgebra.Graph.Relation
PreorderRelation 
1 (Type/Class)Algebra.Graph.Relation.InternalDerived, Algebra.Graph.Relation.Preorder
2 (Data Constructor)Algebra.Graph.Relation.InternalDerived
preSetAlgebra.Graph.Relation
referredToVertexSetAlgebra.Graph.Relation.Internal
Reflexive 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
reflexiveClosureAlgebra.Graph.Relation
ReflexiveRelation 
1 (Type/Class)Algebra.Graph.Relation.InternalDerived, Algebra.Graph.Relation.Reflexive
2 (Data Constructor)Algebra.Graph.Relation.InternalDerived
Relation 
1 (Type/Class)Algebra.Graph.Relation.Internal, Algebra.Graph.Relation
2 (Data Constructor)Algebra.Graph.Relation.Internal
relationAlgebra.Graph.Relation.Internal, Algebra.Graph.Relation
removeEdge 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
removeVertex 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
removeVertex1Algebra.Graph.NonEmpty
renderAlgebra.Graph.Export
replaceVertex 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
sccAlgebra.Graph.AdjacencyMap
setProductAlgebra.Graph.Relation.Internal
simplify 
1 (Function)Algebra.Graph.Fold
2 (Function)Algebra.Graph
3 (Function)Algebra.Graph.NonEmpty
size 
1 (Function)Algebra.Graph.Fold
2 (Function)Algebra.Graph
3 (Function)Algebra.Graph.NonEmpty
splitVertex 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
splitVertex1Algebra.Graph.NonEmpty
star 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
starTranspose 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
Style 
1 (Type/Class)Algebra.Graph.Export.Dot
2 (Data Constructor)Algebra.Graph.Export.Dot
symmetricClosureAlgebra.Graph.Relation
SymmetricRelation 
1 (Type/Class)Algebra.Graph.Relation.InternalDerived, Algebra.Graph.Relation.Symmetric
2 (Data Constructor)Algebra.Graph.Relation.InternalDerived
ToGraph 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
toGraph 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.HigherKinded.Class
toGraphKL 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
toNonEmptyGraphAlgebra.Graph.NonEmpty
topSort 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
toRelation 
1 (Function)Algebra.Graph.Relation.Preorder
2 (Function)Algebra.Graph.Relation.Reflexive
3 (Function)Algebra.Graph.Relation.Symmetric
4 (Function)Algebra.Graph.Relation.Transitive
torus 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.Fold
3 (Function)Algebra.Graph
torus1Algebra.Graph.NonEmpty
ToVertexAlgebra.Graph.Class
toVertexKL 
1 (Function)Algebra.Graph.AdjacencyMap.Internal
2 (Function)Algebra.Graph.IntAdjacencyMap.Internal
Transitive 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
transitiveClosureAlgebra.Graph.Relation
TransitiveRelation 
1 (Type/Class)Algebra.Graph.Relation.InternalDerived, Algebra.Graph.Relation.Transitive
2 (Data Constructor)Algebra.Graph.Relation.InternalDerived
transpose 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
tree 
1 (Function)Algebra.Graph.Class, Algebra.Graph.Fold
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
Undirected 
1 (Type/Class)Algebra.Graph.Class
2 (Type/Class)Algebra.Graph.HigherKinded.Class
unlinesAlgebra.Graph.Export
Vertex 
1 (Type/Class)Algebra.Graph.Class
2 (Data Constructor)Algebra.Graph
3 (Data Constructor)Algebra.Graph.NonEmpty
vertex 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
8 (Function)Algebra.Graph.NonEmpty
vertexAttributesAlgebra.Graph.Export.Dot
vertexCount 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
7 (Function)Algebra.Graph.NonEmpty
vertexIntSet 
1 (Function)Algebra.Graph.HigherKinded.Class
2 (Function)Algebra.Graph.IntAdjacencyMap
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
vertexList 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.IntAdjacencyMap
4 (Function)Algebra.Graph.Relation
5 (Function)Algebra.Graph.Fold
6 (Function)Algebra.Graph
vertexList1Algebra.Graph.NonEmpty
vertexNameAlgebra.Graph.Export.Dot
vertexSet 
1 (Function)Algebra.Graph.AdjacencyMap
2 (Function)Algebra.Graph.HigherKinded.Class
3 (Function)Algebra.Graph.Relation
4 (Function)Algebra.Graph.Fold
5 (Function)Algebra.Graph
6 (Function)Algebra.Graph.NonEmpty
vertices 
1 (Function)Algebra.Graph.Class
2 (Function)Algebra.Graph.AdjacencyMap
3 (Function)Algebra.Graph.HigherKinded.Class
4 (Function)Algebra.Graph.IntAdjacencyMap
5 (Function)Algebra.Graph.Relation
6 (Function)Algebra.Graph.Fold
7 (Function)Algebra.Graph
vertices1Algebra.Graph.NonEmpty