Trait lambdaski::A

pub trait A<In> {
    type O;
}

Associated Types

type O

Implementors

• impl<T> A<T> for S
• impl<X, T> A<T> for S1<X>
• impl<X, Y, T> A<T> for S2<X, Y> where
    X: A<T>,
    Y: A<T>,
    <X as A<T>>::O: A<<Y as A<T>>::O>, 
• impl<T> A<T> for K
• impl<X, T> A<T> for K1<X>
• impl<T> A<T> for I