# Functor Gmap.Edge

    module Edge: functor (G_Src : E_SRC) -> functor (G_Dst : E_DST) -> sig .. end

Provide a mapping function from a mapping of edges.

Parameters: |
`G_Src` | : | `E_SRC`
`G_Dst` | : | `E_DST`

    val map : (G_Src.E.t -> G_Dst.edge) -> G_Src.t -> G_Dst.t

`map f g` applies `f` to each edge of `g` and so builds a new graph based on `g`

    val filter_map : (G_Src.E.t -> G_Dst.edge option) -> G_Src.t -> G_Dst.t

`filter_map f g` applies `f` to each edge of `g` and so builds a new graph based on `g`; if `None` is returned by `f` the edge is omitted in the new graph.