open_hypergraphs::functor

Module spider

Source
Expand description

Symmetric Monoidal Hypergraph Functors on Open Hypergraphs

Structs§

Identity
The identity functor, which implements Functor for any signature.

Traits§

Functor
Strict symmetric monoidal hypergraph functors
SpiderFunctor
A SpiderFunctor is a Functor implemented in terms of its action on a tensoring of Operations. This is (generally) easier to implement than Functor directly.

Functions§

to_operations