Trait PrependArgument 

pub trait PrependArgument<Arg: ArgumentType>: ArgumentTypes {
    type Prepended: ArgumentTypes<First = Arg, FirstTrimmed = Self>;

    // Required method
    fn prepend_argument<'a>(
        first: ArgumentOfType<'a, Arg>,
        args: ArgumentsOfTypes<'a, Self>,
    ) -> ArgumentsOfTypes<'a, Self::Prepended>;
}

Required Associated Types

type Prepended: ArgumentTypes<First = Arg, FirstTrimmed = Self>

Required Methods

fn prepend_argument<'a>( first: ArgumentOfType<'a, Arg>, args: ArgumentsOfTypes<'a, Self>, ) -> ArgumentsOfTypes<'a, Self::Prepended>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<Arg: ArgumentType, A1: ArgumentType, A2: ArgumentType, A3: ArgumentType> PrependArgument<Arg> for (A1, A2, A3)

type Prepended = (Arg, A1, A2, A3)

fn prepend_argument<'a>( first: ArgumentOfType<'a, Arg>, (a1, a2, a3): ArgumentsOfTypes<'a, Self>, ) -> ArgumentsOfTypes<'a, Self::Prepended>

impl<Arg: ArgumentType, A1: ArgumentType, A2: ArgumentType> PrependArgument<Arg> for (A1, A2)

type Prepended = (Arg, A1, A2)

fn prepend_argument<'a>( first: ArgumentOfType<'a, Arg>, (a1, a2): ArgumentsOfTypes<'a, Self>, ) -> ArgumentsOfTypes<'a, Self::Prepended>

impl<Arg: ArgumentType, A1: ArgumentType> PrependArgument<Arg> for (A1,)

type Prepended = (Arg, A1)

fn prepend_argument<'a>( first: ArgumentOfType<'a, Arg>, (a1): ArgumentsOfTypes<'a, Self>, ) -> ArgumentsOfTypes<'a, Self::Prepended>

impl<Arg: ArgumentType> PrependArgument<Arg> for ()

type Prepended = (Arg,)

fn prepend_argument<'a>( first: ArgumentOfType<'a, Arg>, (): ArgumentsOfTypes<'a, Self>, ) -> ArgumentsOfTypes<'a, Self::Prepended>

Implementors

impl PrependArgument<Invalid2> for InvalidTuple

type Prepended = InvalidTuple

impl PrependArgument<Invalid> for InvalidTuple

type Prepended = ()