Lenses Module

Lenses for working with contexts

Functions and values

Function or value Description

mpred_

Full Usage: mpred_

Returns: Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>

Lens for predecessors in a Mcontext

Returns: Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>

msucc_

Full Usage: msucc_

Returns: Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>

Lens for successors in a Mcontext

Returns: Lens<MContext<'Vertex, 'b, 'Edge>, MAdj<'Vertex, 'Edge>>

pred_

Full Usage: pred_

Returns: Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>

Lens for predecessors in a context

Returns: Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>

succ_

Full Usage: succ_

Returns: Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>

Lens for successors in a context

Returns: Lens<Context<'Vertex, 'a, 'Edge>, Adj<'Vertex, 'Edge>>

val_

Full Usage: val_

Returns: Lens<Context<'Vertex, 'a, 'b>, 'Vertex>

Lens for vertex in a context

Returns: Lens<Context<'Vertex, 'a, 'b>, 'Vertex>