type-level-logic
| Crates.io | type-level-logic |
| lib.rs | type-level-logic |
| version | 0.1.0 |
| created_at | 2016-12-02 19:05:11.387314+00 |
| updated_at | 2016-12-02 19:05:11.387314+00 |
| description | Primitive types and operations for type-level logic. |
| homepage | https://github.com/sdleffler/type-level-logic-rs |
| repository | https://github.com/sdleffler/type-level-logic-rs |
| max_upload_size | |
| id | 7445 |
| size | 82,645 |
Shea Leffler (sdleffler)
documentation
https://docs.rs/type-level-logic
README
Type Level Logic for Rust
This crate provides various primitives for writing type-level code in Rust. It makes heavy use of the type-operators crate, and provides strongly enforced and weakly enforced variants of numerical logic, boolean logic, and other useful components.
Current features:
- Unsigned integers (using a ternary representation)
- Signed integers (using a balanced ternary representation)
- Boolean logic
Projected features:
- Type-level lists and sets
Documentation
License
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.