Module functor

open_hypergraphs::lax

Module functor

Expand description

Strict symmetric monoidal hypergraph functors on lax open hypergraphs.

Structs§

DynFunctor
Identity: The identity functor for lax open hypergraphs.

Traits§

Functor: An easier-to-implement Functor trait for lax OpenHypergraph

Functions§

define_map_arrow
to_dyn_functor