#type #type-level #logic #nat #int

type-level-logic

Primitive types and operations for type-level logic

1 unstable release

Uses old Rust 2015

0.1.0 Dec 2, 2016

#8 in #nat

MIT/Apache

71KB
1.5K SLoC

Build Status

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

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.

Dependencies

~71KB