Trait HasDual

pub trait HasDual {
    type Dual: HasDual;
}

Required Associated Types

type Dual: HasDual

Implementors

impl HasDual for Close

type Dual = Close

impl HasDual for IntoRaw

type Dual = IntoRaw

impl HasDual for Var<Z>

type Dual = Var<Z>

impl<N> HasDual for Var<S<N>>

type Dual = Var<S<N>>

impl<P: HasDual> HasDual for Rec<P>

type Dual = Rec<<P as HasDual>::Dual>

impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q>

type Dual = Offer<<P as HasDual>::Dual, <Q as HasDual>::Dual>

impl<P: HasDual, Q: HasDual> HasDual for Offer<P, Q>

type Dual = Choose<<P as HasDual>::Dual, <Q as HasDual>::Dual>

impl<T, P: HasDual> HasDual for Recv<T, P>

type Dual = Send<T, <P as HasDual>::Dual>

impl<T, P: HasDual> HasDual for Send<T, P>

type Dual = Recv<T, <P as HasDual>::Dual>