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

use crate::prelude::Monad;

use super::def::State;

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