Trait ferrite_session::internal::base::RecApp[−][src]

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

Associated Types

type Applied: Send + 'static[src]

Loading content...

Implementations on Foreign Types

impl<A> RecApp<A> for ()[src]

type Applied = ()

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

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

Loading content...

Implementors

impl<A> RecApp<A> for End[src]

type Applied = End

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

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

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

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

impl<C, A> RecApp<(A, C)> for Z where
    A: Send + 'static,
    C: Send + 'static, [src]

type Applied = A

impl<C, A, N> RecApp<(A, C)> for S<N> where
    N: Send + 'static,
    C: Send + 'static,
    A: Send + 'static,
    N: RecApp<C>, [src]

type Applied = N::Applied

impl<C, F> RecApp<C> for Rec<(), F> where
    C: Send + 'static,
    F: RecApp<(Rec<C, F>, C)>, [src]

type Applied = Rec<C, F>

impl<N> RecApp<()> for S<N> where
    N: Send + 'static, [src]

type Applied = S<N>

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

type Applied = ExternalChoice<Row::Applied>

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

type Applied = InternalChoice<Row::Applied>

impl<X, T, A> RecApp<X> for ReceiveValue<T, A> where
    X: Send + 'static,
    T: Send + 'static,
    A: RecApp<X>, [src]

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

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

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

Loading content...