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

use super::*;

pub trait Pop {
    /// New list
    type Output;

    /// The popped item
    type Item;
}

// pop [I] = []
impl<I> Pop for Cons<I, Nil> {
    type Output = Nil;
    type Item = I;
}

impl<H, T: Pop> Pop for Cons<H, T> {
    type Output = Cons<H, <T as Pop>::Output>;
    type Item = <T as Pop>::Item;
}