garfield 0.1.0

Garfield provides cat-egory theory abstractions
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

use crate::applicative::Applicative;

pub trait Monad: Applicative {
    fn bind<B, F: Fn(Self::Inner) -> Self::Wrapped<B>>(
        ma: Self::Wrapped<Self::Inner>,
        f: F,
    ) -> Self::Wrapped<B>;

    fn r#return(a: Self::Inner) -> Self::Wrapped<Self::Inner> {
        Self::pure(a)
    }
}

impl<A> Monad for Option<A> {
    fn bind<B, F: Fn(Self::Inner) -> Self::Wrapped<B>>(
        ma: Self::Wrapped<Self::Inner>,
        f: F,
    ) -> Self::Wrapped<B> {
        match ma {
            Some(a) => f(a),
            None => None,
        }
    }
}