List of all items
Structs
- array::vec::VecArray
- array::vec::VecKind
- finite_function::arrow::FiniteFunction
- indexed_coproduct::IndexedCoproduct
- indexed_coproduct::IndexedCoproductFiniteFunctionIterator
- indexed_coproduct::semifinite_iterator::IndexedCoproductSemifiniteFunctionIterator
- lax::functor::DynFunctor
- lax::functor::Identity
- lax::hypergraph::EdgeId
- lax::hypergraph::Hyperedge
- lax::hypergraph::Hypergraph
- lax::hypergraph::NodeId
- lax::open_hypergraph::OpenHypergraph
- lax::var::Var
- lax::var::forget::Forget
- operations::Operations
- semifinite::SemifiniteFunction
- strict::functor::identity::Identity
- strict::functor::optic::Optic
- strict::hypergraph::Hypergraph
- strict::hypergraph::arrow::HypergraphArrow
- strict::open_hypergraph::OpenHypergraph
Enums
- semifinite::SemifiniteArrow
- semifinite::SemifiniteObject
- strict::hypergraph::InvalidHypergraph
- strict::hypergraph::arrow::InvalidHypergraphArrow
- strict::open_hypergraph::InvalidOpenHypergraph
Traits
- array::traits::Array
- array::traits::ArrayKind
- array::traits::NaturalArray
- array::traits::OrdArray
- category::Arrow
- category::Coproduct
- category::Monoidal
- category::Spider
- category::SymmetricMonoidal
- indexed_coproduct::HasLen
- lax::functor::Functor
- lax::var::HasAdd
- lax::var::HasBitAnd
- lax::var::HasBitOr
- lax::var::HasBitXor
- lax::var::HasDiv
- lax::var::HasMul
- lax::var::HasNeg
- lax::var::HasNot
- lax::var::HasShl
- lax::var::HasShr
- lax::var::HasSub
- lax::var::HasVar
- strict::functor::traits::Functor
Functions
- array::vec::connected_components
- array::vec::to_dense
- finite_function::arrow::coequalizer_universal
- lax::functor::define_map_arrow
- lax::functor::to_dyn_functor
- lax::var::build
- lax::var::fn_operation
- lax::var::forget::forget
- lax::var::forget::forget_monogamous
- lax::var::operation
- semifinite::compose_semifinite
- strict::eval::eval
- strict::functor::traits::define_map_arrow
- strict::layer::converse
- strict::layer::converse_iter
- strict::layer::indegree
- strict::layer::layer
- strict::layer::layered_operations
- strict::layer::operation_adjacency