Struct Reader 

pub struct Reader<'a, E, A> {
    pub run_reader: Box<dyn Fn(E) -> A + 'a>,
}

Fields

run_reader: Box<dyn Fn(E) -> A + 'a>

Implementations

impl<'a, E: 'a + Clone, A: 'a + Clone> Reader<'a, E, A>

pub fn pure(x: A) -> Self

pub fn initial_env(self, e: E) -> A

pub fn bind<B, F>(self, f: F) -> Reader<'a, E, B>

where F: 'a + Fn(A) -> Reader<'a, E, B>, B: 'a,

pub fn local<F>(self, f: F) -> Reader<'a, E, A>

where F: Fn(E) -> E + 'a,