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
- indexed_coproduct::IndexedCoproductFiniteFunctionIterator
- indexed_coproduct::semifinite_iterator::IndexedCoproductSemifiniteFunctionIterator
- lax::hypergraph::EdgeId
- lax::hypergraph::Hyperedge
- lax::hypergraph::Hypergraph
- lax::hypergraph::NodeId
- lax::open_hypergraph::OpenHypergraph
- lax::var::Var
- 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
- lax::var::HasAdd
- lax::var::HasBitAnd
- lax::var::HasBitOr
- lax::var::HasBitXor
- lax::var::HasVar
Functions
- array::vec::connected_components
- array::vec::to_dense
- eval::eval
- finite_function::arrow::coequalizer_universal
- functor::optic::adapt
- functor::spider::to_operations
- layer::converse
- layer::indegree
- layer::layer
- layer::operation_adjacency
- semifinite::compose_semifinite