Trait A

pub trait A<In> {
    type O;
}

Required Associated Types

type O

Implementors

impl<T> A<T> for I

type O = T

impl<T> A<T> for K

type O = K1<T>

impl<T> A<T> for S

type O = S1<T>

impl<X, T> A<T> for K1<X>

type O = X

impl<X, T> A<T> for S1<X>

type O = S2<X, T>

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>,

type O = <<X as A<T>>::O as A<<Y as A<T>>::O>>::O