Index of modules


C
Collection

E
Edge [Search.G]
Edge [MultiGraph.G]
Module to manage edges.

I
Imperative [MultiGraph]
Imperative implementations of labeled directed multi-graphs.
Imperative [Collection.Map]
Imperative [Collection.Set]

L
Label [MultiGraph.G.Edge]
The printable type of edge labels.
Label [MultiGraph.G.Vertex]
The printable type of vertex labels.
Logger
Logging of formatted messages.

M
Make [Search]
Functor providing a printable type for paths together with graph exploration functions for a given multi-graph implementation.
Make [MultiGraph.Imperative]
Make [MultiGraph.Persistent]
Make [Uid]
Functor embedding a given printable type with unique identifiers.
Make2 [MultiGraph.Imperative]
MakeHashMap [Collection.Map.Imperative]
MakeHashSet [Collection.Set.Imperative]
MakeMutable [MultiGraph.Imperative]
MakeMutable [Collection.Map.Imperative]
MakeMutable [Collection.Set.Imperative]
MakeTreeMap [Collection.Map.Persistent]
MakeTreeSet [Collection.Set.Persistent]
Map [Collection]
MultiGraph
Labeled Directed Multi-Graphs.

P
Path [Search.Make]
The printable type of paths.
Persistent [MultiGraph]
Persistent implementations of labeled directed multi-graphs.
Persistent [Collection.Map]
Persistent [Collection.Set]
Print
Signatures and helper functions for pretty-printing.

S
Search
Exploration of Labeled Directed Multi-Graphs.
Sequence
Finite sequences.
Set [Collection]
Statistics

U
Uid
Printable type with unique identifiers.

V
Vertex [Search.G]
Vertex [MultiGraph.G]
Module to manage vertices.