lubeck 0.0.0-prealpha.5-abandoned

Functional programming framework written in cutting edge rust
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

use crate::traits::GenType;

pub struct Cont<'a, R, A> {
    pub(crate) run_cont: Box<dyn FnOnce(Box<dyn FnOnce(A) -> R + 'a>) -> R + 'a>,
}

impl<'a, R, A> Cont<'a, R, A>
where
    A: 'a,
{
    pub fn new<F>(f: F) -> Self
    where
        F: FnOnce(Box<dyn FnOnce(A) -> R + 'a>) -> R + 'a,
    {
        Self {
            run_cont: Box::new(f),
        }
    }

    pub fn eval<AR>(self, f: AR) -> R
    where
        AR: FnOnce(A) -> R + 'a,
    {
        (self.run_cont)(Box::new(f))
    }
}

impl<'a, R, A> GenType for Cont<'a, R, A> {
    type Type<B> = Cont<'a, R, B>;
}