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

use crate::*;

pub trait IsPositive: Number {}

impl IsPositive for Zero {}
impl<N: Number> IsPositive for Successor<N> {}

pub trait Neg: Number {
    type Output: Number + Neg;
}

impl Neg for Zero {
    type Output = Zero;
}

impl<N: Number> Neg for Successor<N> {
    type Output = Negative<Successor<N>>;
}

impl<N: Number + Neg> Neg for Negative<N> {
    type Output = N;
}