typ 0.1.1

Type-level programming in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

pub use typ::{typ, tyuint};
pub use typenum::{Bit, Integer, Max, Unsigned};

pub trait AssertSame<Lhs, Rhs> {
    type Output;
}

impl<T> AssertSame<T, T> for () {
    type Output = ();
}

pub type AssertSameOp<Lhs, Rhs> = <() as AssertSame<Lhs, Rhs>>::Output;