ranged_type

An (early-stage) crate providing ranged numeric types.

Ranged types are a great way to leverage the type system to provide more expressive typestate. It's a good rule of thumb to prefer compile-time errors over runtime errors.

Ranged types in this crate are designed such that arithmetic of two ranged types is a zero runtime overhead (ZRO) operation.

Current Limitations

• Early stage PoC implementation
• Range bounds must be const. May be possible in the future to relax this to also permit runtime values as well (such values would no longer benefit from ZRO arithmetic operations, of course).
• Currently depends on many unstable features to leverage typestate and achieve ZRO goals.
• Publishing as a crate at this early stage to (hopefully) prevent inadvertent future breakage such as the loss of compile-time const arithmetic on rustc nightly-2020-06-04.

License

Licensed under either:

• MIT license (see LICENSE-MIT file)
• Apache License, Version 2.0 (see LICENSE-APACHE file) at your option.

Contributions

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual licensed as above, without any additional terms or conditions.