type-fn 0.2.0

Allows for simpler coding of type-level logic, e.g. for type-number systems.
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

use type_fn::*;

#[derive(Debug)]
pub struct True;
#[derive(Debug)]
pub struct False;

type_fn! {
    pub fn Or<A, B>;
    pub fn And<A, B>;
    pub fn Xor<A, B>;
    pub fn Not<A>;
}

type_fn_impl! {
    fn Or< => True, B> => True;
    fn Or< => False, B> => B;

    fn And< => True, B> => B;
    fn And< => False, B> => False;

    fn Not< => True> => False;
    fn Not< => False> => True;

    fn Xor< => True, B>
        where Not<B>: + TypeFn,
        => <Not<B> as TypeFn>::Ret;
    fn Xor< => False, B> => B;
}

fn main() {
    println!(
        "True AND False: {}",
        core::any::type_name::<<And<True, False> as TypeFn>::Ret>()
    );
    println!(
        "True OR False: {}",
        core::any::type_name::<<Or<True, False> as TypeFn>::Ret>()
    );
}