Tuple list of adjacent vertices and the linking edges

Context of a vertice as defined by Martin Erwig. Adjacency of type 'Adj'

Unlabeled edge

General functions for both directed and undirected graphs

Map of Vertices as keys and MContexts as values

Labeled edge

Lenses for working with contexts

Labeled vertex

Map of adjacent vertices as key and the linking edges as values

Context of a vertices as defined by Martin Erwig. Adjacency of type 'MAdj'

Functions for vertices of both directed and undirected graphs