bimm-contracts 0.2.2

Runtime contracts for the bimm framework
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

#![warn(missing_docs)]
//! # BIMM Contracts

#![cfg_attr(all(feature = "nightly", test), feature(test))]
#[cfg(all(feature = "nightly", test))]
extern crate test;

extern crate core;

pub use bimm_contracts_macros::shape_contract;

/// Evaluation Bindings.
pub mod bindings;
/// Shape Contracts.
pub mod contracts;
/// Dimension Expressions.
pub mod expressions;
/// Support Macros.
pub mod macros;
/// Mathematical utilities.
pub mod math;
/// Shape Argument for passing shapes in a type-safe manner.
pub mod shape_argument;

pub use bindings::StackEnvironment;
pub use contracts::{DimMatcher, ShapeContract};
pub use expressions::DimExpr;
pub use shape_argument::ShapeArgument;