Function monadic::reader_trans::local

pub fn local<'a, E, M, F>(f: F, rdr: ReaderT<'a, E, M>) -> ReaderT<'a, E, M> where
    F: 'a + Fn(E) -> E,
    E: 'a,
    M: 'a,