[−][src]Trait structural::field::errors::CombinedErrs

pub trait CombinedErrs {
    type Combined: IsFieldErr;
}

Combines multiple error types into one.

A tuple of errors is combined into a InfallibleAccess so long as all of them are, otherwise they're combined into an FailedAccess .

This is used by the Rev*Field* impls for NestedFieldPath to determine whether a nested field access is optional or not.

Associated Types

type Combined: IsFieldErr

The error type after combining all errors.

In the impls from the structural crate, if all errors are InfallibleAccess,then Combined is InfallibleAccess, otherwise Combined is FailedAccess.

Loading content...

Implementations on Foreign Types

impl CombinedErrs for ()[src]

type Combined = IF

impl CombinedErrs for (IF,)[src]

type Combined = IF

impl CombinedErrs for (OF,)[src]

type Combined = OF

impl CombinedErrs for (IF, IF)[src]

type Combined = IF

impl CombinedErrs for (OF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, IF)[src]

type Combined = IF

impl CombinedErrs for (OF, IF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, IF, IF)[src]

type Combined = IF

impl CombinedErrs for (OF, IF, IF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, IF, IF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, IF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (OF, IF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, OF, IF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, IF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, IF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, IF, OF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, IF, OF, OF)[src]

type Combined = OF

impl CombinedErrs for (IF, OF, OF, OF)[src]

type Combined = OF

impl CombinedErrs for (OF, OF, OF, OF)[src]

type Combined = OF

impl<e0, e1, e2, e3, e4, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4) where
    (e0, e1, e2, e3): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>,): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e4,): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5) where
    (e0, e1, e2, e3): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>,): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e4, e5): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6) where
    (e0, e1, e2, e3): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>,): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e4, e5, e6): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, e7, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6, e7) where
    (e0, e1, e2, e3): CombinedErrs,
    (e4, e5, e6, e7): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>, CombinedErrsOut<(e4, e5, e6, e7)>): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, e7, e8, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6, e7, e8) where
    (e0, e1, e2, e3): CombinedErrs,
    (e4, e5, e6, e7): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>, CombinedErrsOut<(e4, e5, e6, e7)>): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e8,): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6, e7, e8, e9) where
    (e0, e1, e2, e3): CombinedErrs,
    (e4, e5, e6, e7): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>, CombinedErrsOut<(e4, e5, e6, e7)>): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e8, e9): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10) where
    (e0, e1, e2, e3): CombinedErrs,
    (e4, e5, e6, e7): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>, CombinedErrsOut<(e4, e5, e6, e7)>): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (e8, e9, e10): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

impl<e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, CombTuples, CombTrail> CombinedErrs for (e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11) where
    (e0, e1, e2, e3): CombinedErrs,
    (e4, e5, e6, e7): CombinedErrs,
    (e8, e9, e10, e11): CombinedErrs,
    (CombinedErrsOut<(e0, e1, e2, e3)>, CombinedErrsOut<(e4, e5, e6, e7)>, CombinedErrsOut<(e8, e9, e10, e11)>): CombinedErrs<Combined = CombTuples>,
    CombTuples: IsFieldErr,
    (): CombinedErrs<Combined = CombTrail>,
    CombTrail: IsFieldErr,
    (CombTuples, CombTrail): CombinedErrs, [src]

type Combined = CombinedErrsOut<(CombTuples, CombTrail)>

Loading content...

Implementors

Loading content...