type-operators 0.3.5

A macro system for creating type operators in Rust and writing type-level logic.
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_use]
extern crate type_operators;

mod concrete {
    type_operators! {
        [A, B, C, D, E]

        concrete Nat: Default => usize {
            #[derive(Default)]
            Z => 0,
            #[derive(Default)]
            S(N: Nat) => 1 + N,
        }
    }
}

mod data {
    type_operators! {
        [A, B, C, D, E]

        data Nat: Default {
            #[derive(Default)]
            Z,
            #[derive(Default)]
            S(Nat),
        }
    }
}