Skip to main content

Module traits

open_hypergraphs::strict::functor

Module traits 

Source
Expand description

Symmetric Monoidal Hypergraph Functors on Open Hypergraphs

Traits§

Functor
Strict symmetric monoidal hypergraph functors

Functions§

define_map_arrow
Define a functor (a mapping on OpenHypergraphs) by its action on Operations. This is typically easier than implementing map_arrow directly.