:= | Algebra.Graph.Export.Dot |
<+> | Algebra.Graph.Export |
=== | Algebra.Graph |
adjacencyList | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
AdjacencyMap | Algebra.Graph.AdjacencyMap.Internal, Algebra.Graph.AdjacencyMap |
adjacencyMap | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal, Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal, Algebra.Graph.AdjacencyMap |
AM | |
1 (Data Constructor) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Data Constructor) | Algebra.Graph.AdjacencyMap.Internal |
Attribute | Algebra.Graph.Export.Dot |
biclique | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
bind | Algebra.Graph.Fold |
box | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Fold |
3 (Function) | Algebra.Graph |
brackets | Algebra.Graph.Export |
circuit | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
clique | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
compose | Algebra.Graph.Relation |
Connect | Algebra.Graph |
connect | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
connects | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
consistent | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.Relation.Internal |
3 (Function) | Algebra.Graph.AdjacencyMap.Internal |
deBruijn | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Fold |
3 (Function) | Algebra.Graph |
defaultEdgeAttributes | Algebra.Graph.Export.Dot |
defaultStyle | Algebra.Graph.Export.Dot |
defaultStyleViaShow | Algebra.Graph.Export.Dot |
defaultVertexAttributes | Algebra.Graph.Export.Dot |
dfs | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
dfsForest | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
dfsForestFrom | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
Doc | Algebra.Graph.Export |
domain | Algebra.Graph.Relation.Internal, Algebra.Graph.Relation |
doubleQuotes | Algebra.Graph.Export |
edge | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
edgeAttributes | Algebra.Graph.Export.Dot |
edgeCount | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
edgeList | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
edges | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
edgeSet | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
Empty | Algebra.Graph |
empty | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
export | |
1 (Function) | Algebra.Graph.Export |
2 (Function) | Algebra.Graph.Export.Dot |
exportAsIs | Algebra.Graph.Export.Dot |
exportViaShow | Algebra.Graph.Export.Dot |
Fold | Algebra.Graph.Fold |
foldg | |
1 (Function) | Algebra.Graph.Fold |
2 (Function) | Algebra.Graph |
forest | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
fromAdjacencyList | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
fromPreorder | Algebra.Graph.Relation.InternalDerived |
fromReflexive | Algebra.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 |
fromSymmetric | Algebra.Graph.Relation.InternalDerived |
fromTransitive | Algebra.Graph.Relation.InternalDerived |
fromVertexKL | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
gmap | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
Graph | |
1 (Type/Class) | Algebra.Graph.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
3 (Type/Class) | Algebra.Graph |
graph | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
graphAttributes | Algebra.Graph.Export.Dot |
GraphKL | |
1 (Type/Class) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Data Constructor) | Algebra.Graph.IntAdjacencyMap.Internal |
3 (Type/Class) | Algebra.Graph.AdjacencyMap.Internal |
4 (Data Constructor) | Algebra.Graph.AdjacencyMap.Internal |
graphKL | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
graphName | Algebra.Graph.Export.Dot |
hasEdge | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
hasVertex | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
indent | Algebra.Graph.Export |
induce | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
IntAdjacencyMap | Algebra.Graph.IntAdjacencyMap.Internal, Algebra.Graph.IntAdjacencyMap |
isEmpty | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
isSubgraphOf | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
isTopSort | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
literal | Algebra.Graph.Export |
mergeVertices | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
mesh | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Fold |
3 (Function) | Algebra.Graph |
mkAM | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
mkGraphKL | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
neighbours | Algebra.Graph.Relation.Symmetric |
Overlay | Algebra.Graph |
overlay | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
overlays | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
path | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
postIntSet | Algebra.Graph.IntAdjacencyMap |
postSet | |
1 (Function) | Algebra.Graph.Relation |
2 (Function) | Algebra.Graph.AdjacencyMap |
preamble | Algebra.Graph.Export.Dot |
Preorder | |
1 (Type/Class) | Algebra.Graph.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
preorderClosure | Algebra.Graph.Relation |
PreorderRelation | |
1 (Type/Class) | Algebra.Graph.Relation.InternalDerived, Algebra.Graph.Relation.Preorder |
2 (Data Constructor) | Algebra.Graph.Relation.InternalDerived |
preSet | Algebra.Graph.Relation |
referredToVertexSet | Algebra.Graph.Relation.Internal |
Reflexive | |
1 (Type/Class) | Algebra.Graph.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
reflexiveClosure | Algebra.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 |
relation | Algebra.Graph.Relation.Internal, Algebra.Graph.Relation |
removeEdge | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
removeVertex | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
render | Algebra.Graph.Export |
replaceVertex | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
scc | Algebra.Graph.AdjacencyMap |
setProduct | Algebra.Graph.Relation.Internal |
simplify | |
1 (Function) | Algebra.Graph.Fold |
2 (Function) | Algebra.Graph |
size | |
1 (Function) | Algebra.Graph.Fold |
2 (Function) | Algebra.Graph |
splitVertex | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Fold |
3 (Function) | Algebra.Graph |
star | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
Style | |
1 (Type/Class) | Algebra.Graph.Export.Dot |
2 (Data Constructor) | Algebra.Graph.Export.Dot |
symmetricClosure | Algebra.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.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
toGraph | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
toGraphKL | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
topSort | |
1 (Function) | Algebra.Graph.IntAdjacencyMap |
2 (Function) | Algebra.Graph.AdjacencyMap |
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 |
ToVertex | Algebra.Graph.Class |
toVertexKL | |
1 (Function) | Algebra.Graph.IntAdjacencyMap.Internal |
2 (Function) | Algebra.Graph.AdjacencyMap.Internal |
Transitive | |
1 (Type/Class) | Algebra.Graph.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
transitiveClosure | Algebra.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.IntAdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
tree | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class, Algebra.Graph.Fold |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph |
Undirected | |
1 (Type/Class) | Algebra.Graph.HigherKinded.Class |
2 (Type/Class) | Algebra.Graph.Class |
unlines | Algebra.Graph.Export |
Vertex | |
1 (Type/Class) | Algebra.Graph.Class |
2 (Data Constructor) | Algebra.Graph |
vertex | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |
vertexAttributes | Algebra.Graph.Export.Dot |
vertexCount | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
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 |
vertexList | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.IntAdjacencyMap |
3 (Function) | Algebra.Graph.Relation |
4 (Function) | Algebra.Graph.AdjacencyMap |
5 (Function) | Algebra.Graph.Fold |
6 (Function) | Algebra.Graph |
vertexName | Algebra.Graph.Export.Dot |
vertexSet | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Relation |
3 (Function) | Algebra.Graph.AdjacencyMap |
4 (Function) | Algebra.Graph.Fold |
5 (Function) | Algebra.Graph |
vertices | |
1 (Function) | Algebra.Graph.HigherKinded.Class |
2 (Function) | Algebra.Graph.Class |
3 (Function) | Algebra.Graph.IntAdjacencyMap |
4 (Function) | Algebra.Graph.Relation |
5 (Function) | Algebra.Graph.AdjacencyMap |
6 (Function) | Algebra.Graph.Fold |
7 (Function) | Algebra.Graph |