repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
Documentation 
1
2
3
4
5
6
7
8

trait Functor {
    type A;
    type Out<B>: Functor;

    fn map<F, B>(self, f: F) -> Self::Out<B>
    where
        F: FnOnce(Self::A) -> B;
}