number-types 0.1.0

A typenum clone I made for fun with some positive changes but much fewer features
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

#[macro_export]
macro_rules! assert_types_eq {
    ($a:ty, $b:ty) => {{
        let _: ::std::marker::PhantomData<$a> = ::std::marker::PhantomData::<$b>;
    }};
}

#[macro_export]
macro_rules! type_expr {
    (<$a:ty> + <$b:ty>) => {
        <Op<$a, $b> as AddOp>::Output
    };
    (<$a:ty> * <$b:ty>) => {
        <Op<$a, $b> as MulOp>::Output
    };
    (<$a:ty> - <$b:ty>) => {
        <Op<$a, $b> as SubOp>::Output
    };
    (<$a:ty> + $($b:tt)+) => {
        <Op<$a, type_expr!($($b)+)> as AddOp>::Output
    };
    (<$a:ty> * $($b:tt)+) => {
        <Op<$a, type_expr!($($b)+)> as MulOp>::Output
    };
    (<$a:ty> - $($b:tt)+) => {
        <Op<$a, type_expr!($($b)+)> as SubOp>::Output
    };
}