List of all items

Structs

• array::vec::VecArray
• array::vec::VecKind
• finite_function::arrow::FiniteFunction
• functor::spider::Identity
• hypergraph::Hypergraph
• hypergraph::arrow::HypergraphArrow
• indexed_coproduct::IndexedCoproduct
• open_hypergraph::OpenHypergraph
• operations::Operations
• semifinite::SemifiniteFunction

Enums

• hypergraph::InvalidHypergraph
• hypergraph::arrow::InvalidHypergraphArrow
• open_hypergraph::InvalidOpenHypergraph
• semifinite::SemifiniteArrow
• semifinite::SemifiniteObject

Traits

• array::traits::Array
• array::traits::ArrayKind
• array::traits::NaturalArray
• array::traits::OrdArray
• category::Arrow
• category::Coproduct
• category::Monoidal
• category::Spider
• category::SymmetricMonoidal
• functor::optic::Optic
• functor::spider::Functor
• functor::spider::SpiderFunctor
• indexed_coproduct::HasLen

Functions

• array::vec::connected_components
• array::vec::to_dense
• finite_function::arrow::coequalizer_universal
• functor::optic::adapt
• functor::spider::to_operations
• layer::converse
• layer::indegree
• layer::layer
• layer::operation_adjacency
• semifinite::compose_semifinite