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

use crate::*;

pub trait ToNum<T>: Number {
    const OUTPUT: T;
}

impl<N: Number + ToNum<isize>> ToNum<isize> for Negative<N> {
    const OUTPUT: isize = -N::OUTPUT;
}

impl<N: Number + ToNum<isize>> ToNum<isize> for Successor<N> {
    const OUTPUT: isize = N::OUTPUT + 1;
}

impl ToNum<isize> for Zero {
    const OUTPUT: isize = 0;
}

impl<N: Number + ToNum<usize>> ToNum<usize> for Successor<N> {
    const OUTPUT: usize = N::OUTPUT + 1;
}

impl ToNum<usize> for Zero {
    const OUTPUT: usize = 0;
}