Trait FromValues

pub trait FromValues<'a> {
    type Error: Error;
    type Types: IntoIterator<Item = Type>;

    // Required methods
    fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>
       where Self: Sized;
    fn static_types() -> Self::Types;
}

Required Associated Types

type Error: Error

type Types: IntoIterator<Item = Type>

Required Methods

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

where Self: Sized,

fn static_types() -> Self::Types

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a> FromValues<'a> for ()

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 0]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0> FromValues<'a> for (T0,)

where T0: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 1]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1> FromValues<'a> for (T0, T1)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 2]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2> FromValues<'a> for (T0, T1, T2)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 3]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3> FromValues<'a> for (T0, T1, T2, T3)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 4]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4> FromValues<'a> for (T0, T1, T2, T3, T4)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 5]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5> FromValues<'a> for (T0, T1, T2, T3, T4, T5)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 6]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 7]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6, T7> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, T7: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error> + From<<T7::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 8]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6, T7, T8> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, T7: FromValue<'a> + StaticType, T8: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error> + From<<T7::Checker as ValueTypeChecker>::Error> + From<<T8::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 9]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, T7: FromValue<'a> + StaticType, T8: FromValue<'a> + StaticType, T9: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error> + From<<T7::Checker as ValueTypeChecker>::Error> + From<<T8::Checker as ValueTypeChecker>::Error> + From<<T9::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 10]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, T7: FromValue<'a> + StaticType, T8: FromValue<'a> + StaticType, T9: FromValue<'a> + StaticType, T10: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error> + From<<T7::Checker as ValueTypeChecker>::Error> + From<<T8::Checker as ValueTypeChecker>::Error> + From<<T9::Checker as ValueTypeChecker>::Error> + From<<T10::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 11]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

impl<'a, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> FromValues<'a> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

where T0: FromValue<'a> + StaticType, T1: FromValue<'a> + StaticType, T2: FromValue<'a> + StaticType, T3: FromValue<'a> + StaticType, T4: FromValue<'a> + StaticType, T5: FromValue<'a> + StaticType, T6: FromValue<'a> + StaticType, T7: FromValue<'a> + StaticType, T8: FromValue<'a> + StaticType, T9: FromValue<'a> + StaticType, T10: FromValue<'a> + StaticType, T11: FromValue<'a> + StaticType, ValueTypeMismatchOrNoneError<ValueTypeMismatchError>: From<<T0::Checker as ValueTypeChecker>::Error> + From<<T1::Checker as ValueTypeChecker>::Error> + From<<T2::Checker as ValueTypeChecker>::Error> + From<<T3::Checker as ValueTypeChecker>::Error> + From<<T4::Checker as ValueTypeChecker>::Error> + From<<T5::Checker as ValueTypeChecker>::Error> + From<<T6::Checker as ValueTypeChecker>::Error> + From<<T7::Checker as ValueTypeChecker>::Error> + From<<T8::Checker as ValueTypeChecker>::Error> + From<<T9::Checker as ValueTypeChecker>::Error> + From<<T10::Checker as ValueTypeChecker>::Error> + From<<T11::Checker as ValueTypeChecker>::Error>,

type Error = ValueTypeMismatchOrNoneError<ValueTypeMismatchError>

type Types = [Type; 12]

fn from_values(args: &'a [Value]) -> Result<Self, Self::Error>

fn static_types() -> Self::Types

Implementors