open_hypergraphs

Module indexed_coproduct

Source
Expand description

Indexed coproducts over finite and semifinite functions

Re-exports§

pub use semifinite_iterator::*;

Modules§

semifinite_iterator
IndexedCoproduct as collections of FiniteFunctions. NOTE: the implementations here are not optimized.

Structs§

IndexedCoproduct
A finite coproduct of arrows of type A. Pragmatically, it’s a segmented array
IndexedCoproductFiniteFunctionIterator
Iterator for IndexedCoproduct that yields each element

Traits§

HasLen