|
Lens for predecessors in a Mcontext
-
Returns:
Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>
|
|
Lens for successors in a Mcontext
-
Returns:
Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>
|
|
Lens for predecessors in a context
-
Returns:
Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>
|
|
Lens for successors in a context
-
Returns:
Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>
|
|
Lens for vertex in a context
-
Returns:
Lens<Context<'Vertex, 'a, 'b>, 'Vertex>
|