Trait ferrite_session::RecApp

pub trait RecApp<A>: Sized + 'static {
    type Applied: Send + 'static;
}

Associated Types

type Applied: Send + 'static

Loading content...

Implementations on Foreign Types

impl<A> RecApp<A> for ()

type Applied = ()

impl<A, X, Y> RecApp<A> for (X, Y) where
    X: RecApp<A>,
    Y: RecApp<A>, 

type Applied = (X::Applied, Y::Applied)

Loading content...

Implementors

impl RecApp<Z> for Z

type Applied = Z

impl<A> RecApp<S<A>> for Z

type Applied = Z

impl<A> RecApp<Unfix<A>> for Z where
    A: Send + 'static, 

type Applied = A

impl<A> RecApp<A> for End

type Applied = End

impl<A, F> RecApp<A> for Rec<F> where
    F: RecApp<S<A>>,
    F: RecApp<Unfix<Rec<F>>>,
    <F as RecApp<S<A>>>::Applied: RecApp<Unfix<Rec<<F as RecApp<S<A>>>::Applied>>>, 

type Applied = Rec<<F as RecApp<S<A>>>::Applied>

impl<A, N> RecApp<S<A>> for S<N> where
    N: RecApp<A>, 

type Applied = S<N::Applied>

impl<A, N> RecApp<Unfix<A>> for S<N> where
    N: Send + 'static, 

type Applied = N

impl<A, P, Q> RecApp<A> for ReceiveChannel<P, Q> where
    P: RecApp<A>,
    Q: RecApp<A>, 

type Applied = ReceiveChannel<P::Applied, Q::Applied>

impl<A, P, Q> RecApp<A> for SendChannel<P, Q> where
    P: RecApp<A>,
    Q: RecApp<A>, 

type Applied = SendChannel<P::Applied, Q::Applied>

impl<A, T, P> RecApp<A> for ReceiveValue<T, P> where
    A: Send + 'static,
    T: Send + 'static,
    P: RecApp<A>, 

type Applied = ReceiveValue<T, P::Applied>

impl<N> RecApp<Z> for S<N> where
    N: Send + 'static, 

type Applied = S<N>

impl<Row, A> RecApp<A> for ExternalChoice<Row> where
    Row: RecApp<A>,
    Row: RowCon,
    Row::Applied: RowCon, 

type Applied = ExternalChoice<Row::Applied>

impl<Row, A> RecApp<A> for InternalChoice<Row> where
    Row: RowCon,
    Row: RecApp<A>,
    Row::Applied: RowCon, 

type Applied = InternalChoice<Row::Applied>

impl<X, T, A> RecApp<X> for SendValue<T, A> where
    T: Send + 'static,
    A: RecApp<X>, 

type Applied = SendValue<T, A::Applied>

Loading content...