fx-rs 0.1.1-dev0

Algebraic Effects inspired by Kyo and Fx.go
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
36
37
38
39
40
41
42

use crate::{Ability, Fx, State};

use super::handler::Handler;

impl<'f, I, S, O> Ability<'f, I, S, O>
where
    O: Clone,
    S: Clone + 'f,
    I: Clone + 'f,
{
    pub fn request(i: I) -> Fx<'f, (Self, S), O>
    where
        I: Clone,
    {
        State::get().flat_map(|f: Self| f.apply(i))
    }

    pub fn handler<B, V>(self) -> Handler<'f, (Self, B), B, V, V>
    where
        B: Clone,
        V: Clone,
    {
        Handler::new(|e: Fx<'f, (Self, B), V>| e.provide_left(self))
    }

    pub fn imap<Y, F>(self, imap: F) -> Ability<'f, Y, S, O>
    where
        Y: Clone + 'f,
        F: FnOnce(Y) -> I + Clone + 'f,
    {
        Ability::new(|y: Y| self.apply(imap(y)))
    }

    pub fn hmap<T, U, H>(self, h: H) -> Ability<'f, I, T, U>
    where
        T: Clone + 'f,
        U: Clone + 'f,
        H: FnOnce(Fx<'f, S, O>) -> Fx<'f, T, U> + Clone + 'f,
    {
        Ability::new(|i: I| h(self.apply(i)))
    }
}