bimm_contracts/
lib.rs

1#![warn(missing_docs)]
2//! # BIMM Contracts
3
4#![cfg_attr(all(feature = "nightly", test), feature(test))]
5#[cfg(all(feature = "nightly", test))]
6extern crate test;
7
8extern crate core;
9
10pub use bimm_contracts_macros::shape_contract;
11
12/// Evaluation Bindings.
13pub mod bindings;
14/// Shape Contracts.
15pub mod contracts;
16/// Dimension Expressions.
17pub mod expressions;
18/// Support Macros.
19pub mod macros;
20/// Mathematical utilities.
21pub mod math;
22/// Shape Argument for passing shapes in a type-safe manner.
23pub mod shape_argument;
24
25pub use bindings::StackEnvironment;
26pub use contracts::{DimMatcher, ShapeContract};
27pub use expressions::DimExpr;
28pub use shape_argument::ShapeArgument;