open_hypergraphs/strict/
mod.rs

1//! An implementation of Open Hypergraphs directly following the paper
2//! ["Data-Parallel Algorithms for String Diagrams"](https://arxiv.org/pdf/2305.01041).
3//!
4//! To use `Vec`-backed open hypergraphs, use the [`crate::strict::vec`] module, which provides some
5//! type-aliases specialised to the `Vec` backend.
6pub mod hypergraph;
7pub mod open_hypergraph;
8
9pub mod eval;
10pub mod functor;
11pub mod graph;
12pub mod layer;
13
14pub use crate::array::*;
15pub use crate::category::*;
16pub use crate::finite_function::FiniteFunction;
17pub use crate::indexed_coproduct::IndexedCoproduct;
18pub use crate::semifinite::SemifiniteFunction;
19pub use hypergraph::Hypergraph;
20pub use open_hypergraph::*;
21
22#[cfg(test)]
23mod tests;
24
25pub mod vec {
26    //! Type alises for strict Open Hypergraphs using the [`VecKind`] array backend.
27    pub use crate::array::vec::*;
28    pub use crate::category::*;
29
30    pub type OpenHypergraph<Obj, Arr> =
31        crate::strict::open_hypergraph::OpenHypergraph<VecKind, Obj, Arr>;
32    pub type Hypergraph<Obj, Arr> = crate::strict::hypergraph::Hypergraph<VecKind, Obj, Arr>;
33    pub type FiniteFunction = crate::finite_function::FiniteFunction<VecKind>;
34    pub type SemifiniteFunction<T> = crate::semifinite::SemifiniteFunction<VecKind, T>;
35    pub type IndexedCoproduct<F> = crate::indexed_coproduct::IndexedCoproduct<VecKind, F>;
36}
open_hypergraphs/strict/mod.rs

open_hypergraphs/strict/
mod.rs
