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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

use crate::*;

pub trait Mul<Rhs: Number>: Number {
    type Output: Number;
}

impl<Rhs: Number> Mul<Rhs> for Zero {
    type Output = Zero;
}

// multiplies by repeated addition
/* (0 + 1) * (0 + 1 + 1)
Mul<
    N = Zero,
    Rhs = Successor<Successor<Zero>>,
    Output = Rhs + Zero * Rhs,
>
*/
impl<N: Number, Rhs: Number> Mul<Rhs> for Successor<N>
where
    N: Mul<Rhs>,
    Rhs: Add<<N as Mul<Rhs>>::Output>,
{
    type Output = <Rhs as Add<<N as Mul<Rhs>>::Output>>::Output;
}

// multiplication of something negative:
// -a * b = -(a * b)
impl<N: Number, Rhs: Number> Mul<Rhs> for Negative<N>
where
    N: Mul<Rhs>,
    <N as Mul<Rhs>>::Output: Neg,
{
    type Output = <<N as Mul<Rhs>>::Output as Neg>::Output;
}

pub trait MulOp {
    type Output: Number;
}

impl<Lhs: Number, Rhs: Number> MulOp for Op<Lhs, Rhs>
where
    Lhs: Mul<Rhs>,
{
    type Output = <Lhs as Mul<Rhs>>::Output;
}