[![Build Status](https://travis-ci.org/sdleffler/type-level-logic-rs.svg?branch=master)](https://travis-ci.org/sdleffler/type-level-logic-rs)
<!-- [![Docs Status](https://docs.rs/type-level-logic/badge.svg)](https://docs.rs/type-level-logic) -->
<!-- [![On crates.io](https://img.shields.io/crates/v/type-level-logic.svg)](https://crates.io/crates/type-level-logic) -->

# 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](https://crates.io/crates/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](https://sdleffler.github.io/type-level-logic-rs)

## License

Licensed under either of

 * Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
 * MIT license ([LICENSE-MIT](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.