csa-rhdl 0.1.0

Carry-save adder compressor trees composed via comp-cat-rs, with hdl-cat backend
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Categorical layer: the circuit category built over comp-cat-rs.
//!
//! The objects are [`Shape`](crate::shape::Shape)s; morphisms are
//! [`CircuitArrow`]s.  The [`CircuitCat`] witness instantiates
//! [`Category`](comp_cat_rs::foundation::Category),
//! [`MonoidalCategory`](comp_cat_rs::foundation::MonoidalCategory),
//! [`Braided`](comp_cat_rs::foundation::Braided), and
//! [`Symmetric`](comp_cat_rs::foundation::Symmetric).

pub mod arrow;
pub mod graph;
pub mod instance;
pub mod interpret;

pub use arrow::CircuitArrow;
pub use graph::{LevelEdge, LevelKind, TreeGraph, TreeMorphism};
pub use instance::{CircuitCat, TensorObj, UnitShape};
pub use interpret::interpret_tree;