#ternary #types


Kleene Logic within Rust's type system

3 releases

Uses old Rust 2015

0.1.3 Dec 18, 2015
0.1.2 Dec 18, 2015
0.1.0 Dec 18, 2015

#6 in #ternary

MIT license

80 lines

Kleene logic within Rust's type system

Build Status Current Version License: MIT

Values are True, False and Unknown. Operations are Not, BitAnd and BitOr from std::ops. There is also the Ternary enum which represents the values at runtime and the ToTernary trait that adds the to_ternary() methods to our value types.

For more information read the API documentation


Same and Not

 use ternary::{True, False, Unknown, Same};
 use std::ops::Not;
type NotTrue = <<True as Not>::Output as Same<False>>::Output;
type NotFalse = <<False as Not>::Output as Same<True>>::Output;
type NotUnknown = <<Unknown as Not>::Output as Same<Unknown>>::Output;

Transforming Values to Runtime, BitAnd and BitOr

assert_eq!(Ternary::T, <True as BitOr<<Unknown as 

To use it, add ternary = "0.1.0" to your dependencies.

No runtime deps


  • unstable