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
31
32
33
34
35

use crate::prelude::Applicative;

use super::def::State;

impl<'a, S, A> Applicative<'a, A> for State<'a, S, A>
where
    S: Clone + 'a,
    A: 'a,
{
    type PureT<T> = T where T:'a;

    fn pure(a: Self::PureT<A>) -> Self::Type<Self::PureT<A>> {
        Self::Type::<Self::PureT<A>> {
            run_state: Some(Box::new(move |s| (a, s))),
        }
    }

    fn app<F, B>(self, f: Self::Type<F>) -> Self::Type<B>
    where
        F: Fn(A) -> B + 'a,
        B: 'a,
    {
        Self::Type::<B> {
            run_state: Some(Box::new(move |s| {
                // S -> (A, S)
                let (a, st) = self.run(s);
                // S -> (F, S)
                let (f, stt) = f.run(st);
                // (A, S) -> (B, S)
                let (b, stt) = (f(a), stt);
                (b, stt)
            })),
        }
    }
}