yarrow.functor

(Strict Symmetric Monoidal Hypergraph) Functors of Diagrams, and diagrams of optics.

The “functor” module provides two things:

• An API for defining functors of diagrams

• An API for defining functors into optics.

Warning

This API is not described in Wilson and Zanasi [WZ23].

yarrow.functor.functor	Strict Symmetric Monoidal Hypergraph Functors of Diagrams.
yarrow.functor.optic	Functors to diagrams of optics.