Trait Translate

pub trait Translate<T>
where
    T: Translator<Source = Self::Source>,
{
    type Source: 'static + Flavor;
    type Out;

    // Required method
    fn translate(
        self,
        diag: &mut Diagnostics,
        translator: &T,
    ) -> Result<Self::Out>;
}

A translated type.

Required Associated Types

type Source: 'static + Flavor

type Out

Required Methods

fn translate(self, diag: &mut Diagnostics, translator: &T) -> Result<Self::Out>

Translate into different flavor.

Implementations on Foreign Types

impl<T, I> Translate<T> for Option<I>

where I: Translate<T>, T: Translator<Source = I::Source>,

fn translate( self, diag: &mut Diagnostics, translator: &T, ) -> Result<Option<I::Out>>

Translate into different flavor.

type Source = <I as Translate<T>>::Source

type Out = Option<<I as Translate<T>>::Out>

impl<T, I> Translate<T> for Vec<I>

where I: Translate<T>, T: Translator<Source = I::Source>,

fn translate( self, diag: &mut Diagnostics, translator: &T, ) -> Result<Vec<I::Out>>

Translate into different flavor.

type Source = <I as Translate<T>>::Source

type Out = Vec<<I as Translate<T>>::Out>

Implementors

impl<F, T> Translate<T> for RpChannel<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpChannel<<T as Translator>::Target>

impl<F, T> Translate<T> for RpDecl<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpDecl<<T as Translator>::Target>

impl<F, T> Translate<T> for RpPathPart<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpPathPart<<T as Translator>::Target>

impl<F, T> Translate<T> for RpVariants<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpVariants<<T as Translator>::Target>

impl<F, T> Translate<T> for RpEndpoint<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpEndpoint<<T as Translator>::Target>

impl<F, T> Translate<T> for RpEndpointArgument<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpEndpointArgument<<T as Translator>::Target>

impl<F, T> Translate<T> for RpEndpointHttp<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpEndpointHttp<<T as Translator>::Target>

impl<F, T> Translate<T> for RpEnumBody<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpEnumBody<<T as Translator>::Target>

impl<F, T> Translate<T> for RpField<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpField<<T as Translator>::Target>

impl<F, T> Translate<T> for RpFile<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpFile<<T as Translator>::Target>

impl<F, T> Translate<T> for RpInterfaceBody<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpInterfaceBody<<T as Translator>::Target>

impl<F, T> Translate<T> for RpName<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpName<<T as Translator>::Target>

impl<F, T> Translate<T> for RpPathSpec<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpPathSpec<<T as Translator>::Target>

impl<F, T> Translate<T> for RpPathStep<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpPathStep<<T as Translator>::Target>

impl<F, T> Translate<T> for RpServiceBody<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpServiceBody<<T as Translator>::Target>

impl<F, T> Translate<T> for RpSubType<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpSubType<<T as Translator>::Target>

impl<F, T> Translate<T> for RpTupleBody<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpTupleBody<<T as Translator>::Target>

impl<F, T> Translate<T> for RpTypeBody<F>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpTypeBody<<T as Translator>::Target>

impl<F, T, V> Translate<T> for RpVariant<F, V>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = RpVariant<<T as Translator>::Target, V>

impl<T, F> Translate<T> for Fields<F::Field>

where F: Flavor + 'static, T: Translator<Source = F>,

type Source = F

type Out = Vec<Loc<<<T as Translator>::Target as Flavor>::Field>>

impl<T, I> Translate<T> for Loc<I>

where I: Translate<T>, T: Translator<Source = I::Source>,

type Source = <I as Translate<T>>::Source

type Out = Loc<<I as Translate<T>>::Out>