tcrts 0.1.0

Turing complete rust type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use super::*;

pub trait Map<F> {
    type Output;
}

impl<N: Num, F: TypeFn<N>> Map<F> for N {
    type Output = <F as TypeFn<N>>::Output;
}

impl<F> Map<F> for Nil {
    type Output = Nil;
}

impl<H, T, F> Map<F> for Cons<H, T>
where
    F: TypeFn<H>,
    T: Map<F>,
{
    type Output = Cons<<F as TypeFn<H>>::Output, <T as Map<F>>::Output>;
}