const_arithmetic

const_arithmetic is a crate dedicated to exploiting Rust's powerful compiler and type generic system to perform integer arithmetics at compile time. This works on stable to circumvent (sort of) #[generic_const_exprs]

Usage

Add the const_arithmetic crate as a dependency in your Cargo.toml file:

toml [dependencies] const_arithmetic = "1.0.1"

Import the traits and types from the const_arithmetic crate:

rust use const_arithmetic::*;

Example:

Let's say we want to verify 6 x 4 = 24. Here is the code snippet that does nothing if the above statement is true and fails to compile if the above statement is false.

```rust use constarithmetic::*; let a = parseinteger!(6); let b = parseinteger!(4); let c = parseinteger!(24);

fn verifyme(p: P, _q: Q, _r: R) where P: IsInteger, Q: IsInteger, R: IsInteger, P: TypedMul {}

verify_me(a, b, c); ```

Accordingly, this fails to compile: ```rust use constarithmetic::*; let a = parseinteger!(6); let b = parseinteger!(5); let c = parseinteger!(25);

fn verifyme(p: P, _q: Q, _r: R) where P: IsInteger, Q: IsInteger, R: IsInteger, P: TypedMul {}

verify_me(a, b, c); // Compilation error ```

Documentation

Please refer to the API documentation for detailed information and more examples.

Contributing

Please open a PR if you want to change anything. Contributions are welcome.

License

This crate is distributed under the terms of the MIT License.