Skip to main content

Module dyn_functor

open_hypergraphs::lax::functor

Module dyn_functor 

Source
Expand description

Allow defining functors of lax OpenHypergraphs in terms of strict ones.

Structs§

DynFunctor
Identity
The identity functor for lax open hypergraphs.

Functions§

define_map_arrow
Define the map_arrow function of a lax Functor by translating it to a strit::Functor, applying it, and translating back.
to_dyn_functor