[−][src]Trait structural::field::rev_get_field::RevFieldErr

pub trait RevFieldErr<This: ?Sized>: IsSingleFieldPath + RevFieldType<This> {
    type Err: IsFieldErr;
}

For querying the error type returned by single-field Rev* trait methods.

Associated Types

type Err: IsFieldErr

The error returned by rev_* methods.

This can be either:

  • InfallibleAccess: For Rev* accessors that return a field that always exists, most often in a struct.

  • FailedAccess: For Rev* accessors that attempt to return a field that may not exist, most often inside an enum.

Loading content...

Implementors

impl<F0, T0, E0, F1, T1, E1, F2, T2, E2, F3, T3, E3, F4, T4, E4, F5, T5, E5, F6, T6, E6, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, F2, F3, F4, F5, F6, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    F2: RevFieldErr<T1, Ty = T2, Err = E2>,
    E2: IsFieldErr,
    T2: ?Sized,
    F3: RevFieldErr<T2, Ty = T3, Err = E3>,
    E3: IsFieldErr,
    T3: ?Sized,
    F4: RevFieldErr<T3, Ty = T4, Err = E4>,
    E4: IsFieldErr,
    T4: ?Sized,
    F5: RevFieldErr<T4, Ty = T5, Err = E5>,
    E5: IsFieldErr,
    T5: ?Sized,
    F6: RevFieldErr<T5, Ty = T6, Err = E6>,
    E6: IsFieldErr,
    T6: ?Sized,
    FL: RevFieldErr<T6, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, E2, E3, E4, E5, E6, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, F1, T1, E1, F2, T2, E2, F3, T3, E3, F4, T4, E4, F5, T5, E5, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, F2, F3, F4, F5, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    F2: RevFieldErr<T1, Ty = T2, Err = E2>,
    E2: IsFieldErr,
    T2: ?Sized,
    F3: RevFieldErr<T2, Ty = T3, Err = E3>,
    E3: IsFieldErr,
    T3: ?Sized,
    F4: RevFieldErr<T3, Ty = T4, Err = E4>,
    E4: IsFieldErr,
    T4: ?Sized,
    F5: RevFieldErr<T4, Ty = T5, Err = E5>,
    E5: IsFieldErr,
    T5: ?Sized,
    FL: RevFieldErr<T5, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, E2, E3, E4, E5, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, F1, T1, E1, F2, T2, E2, F3, T3, E3, F4, T4, E4, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, F2, F3, F4, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    F2: RevFieldErr<T1, Ty = T2, Err = E2>,
    E2: IsFieldErr,
    T2: ?Sized,
    F3: RevFieldErr<T2, Ty = T3, Err = E3>,
    E3: IsFieldErr,
    T3: ?Sized,
    F4: RevFieldErr<T3, Ty = T4, Err = E4>,
    E4: IsFieldErr,
    T4: ?Sized,
    FL: RevFieldErr<T4, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, E2, E3, E4, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, F1, T1, E1, F2, T2, E2, F3, T3, E3, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, F2, F3, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    F2: RevFieldErr<T1, Ty = T2, Err = E2>,
    E2: IsFieldErr,
    T2: ?Sized,
    F3: RevFieldErr<T2, Ty = T3, Err = E3>,
    E3: IsFieldErr,
    T3: ?Sized,
    FL: RevFieldErr<T3, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, E2, E3, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, F1, T1, E1, F2, T2, E2, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, F2, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    F2: RevFieldErr<T1, Ty = T2, Err = E2>,
    E2: IsFieldErr,
    T2: ?Sized,
    FL: RevFieldErr<T2, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, E2, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, F1, T1, E1, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, F1, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    F1: RevFieldErr<T0, Ty = T1, Err = E1>,
    E1: IsFieldErr,
    T1: ?Sized,
    FL: RevFieldErr<T1, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, E1, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<F0, T0, E0, FL, TL, EL, This, CombErr> RevFieldErr<This> for NestedFieldPath<(F0, FL)> where
    This: ?Sized,
    F0: RevFieldErr<This, Ty = T0, Err = E0>,
    E0: IsFieldErr,
    T0: ?Sized,
    FL: RevFieldErr<T0, Ty = TL, Err = EL>,
    EL: IsFieldErr,
    TL: ?Sized,
    (E0, EL): CombinedErrs<Combined = CombErr>,
    CombErr: IsFieldErr, [src]

type Err = CombErr

impl<This> RevFieldErr<This> for NestedFieldPath<()> where
    This: ?Sized, [src]

type Err = InfallibleAccess

impl<This, A, B, U> RevFieldErr<This> for NestedFieldPathSet<A, (B,), U> where
    This: ?Sized,
    A: RevFieldErr<This>,
    B: RevFieldErr<A::Ty>,
    (A::Err, B::Err): CombinedErrs, [src]

type Err = CombinedErrsOut<(A::Err, B::Err)>

impl<This, F0> RevFieldErr<This> for NestedFieldPath<(F0,)> where
    This: ?Sized,
    F0: RevFieldErr<This>, [src]

type Err = F0::Err

impl<This, T, U> RevFieldErr<This> for FieldPathSet<(T,), U> where
    This: ?Sized,
    T: RevFieldErr<This>, [src]

type Err = T::Err

impl<This: ?Sized, S> RevFieldErr<This> for VariantName<TStr<S>> where
    This: IsVariant<TStr<S>>,
    S: 'static, [src]

type Err = FailedAccess

impl<This: ?Sized, T> RevFieldErr<This> for TStr<T> where
    This: FieldType<Self>, [src]

type Err = InfallibleAccess

impl<This: ?Sized, _V, _F> RevFieldErr<This> for VariantField<_V, _F> where
    This: FieldType<Self>, [src]

type Err = FailedAccess

Loading content...