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 |
path1 | Algebra.Graph.NonEmpty |
postIntSet | Algebra.Graph.IntAdjacencyMap |
postSet | |
1 (Function) | Algebra.Graph.AdjacencyMap |
2 (Function) | Algebra.Graph.Relation |
preamble | Algebra.Graph.Export.Dot |
Preorder | |
1 (Type/Class) | Algebra.Graph.Class |
2 (Type/Class) | Algebra.Graph.HigherKinded.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 |