tiny_tco 0.1.6

A tiny dirt simple no_std tail call optimization library.
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

# tiny_tco


A tiny dirt simple no_std tail call optimization library.

## how it works


The tco function returns a closure implementing a trival loop.

    let mut c: TCO<A, B> = TCO::Rec(p);
    loop {
        match c {
            TCO::Rec(i) => c = fun(i),
            TCO::Ret(b) => return b,
        }
    }

## how to use


    // y is the acoumulator for the value
    let fact = tco(|(x,y): (i32,i32)|
    	if (x == 0) {
    		// if we have reached 0 return computed value
    		TCO::Ret(y)
    	} else {
    		// reduce x by 1, and multiplyx value by x
    		TCO::Rec((x-1,y*x))
    	},
    );
    assert_eq!(fact((3,1)),6);