Trait hazardflow_designs::std::combinators::zip_any::ZipAnyValidExt

pub trait ZipAnyValidExt: Interface {
    type E: Interface;

    // Required method
    fn zip_any_valid(self) -> Self::E;
}

Extension trait for zip_any_valid.

Required Associated Types

type E: Interface

Egress interface.

Required Methods

fn zip_any_valid(self) -> Self::E

Zip-any valid.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<P1: Copy, P2: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>)

fn zip_any_valid(self) -> Valid<(HOption<P1>, HOption<P2>)>

Zips any of the two valid interfaces.

• Payloads: Wrapped in another HOption. The outer HOption is Some if any of the payloads are Some.
• Resolver: The resolver carries no information.

Interface	Ingress	Egress
Fwd	(HOption<P1>, HOption<P2>)	HOption<(HOption<P1>, HOption<P2>)>
Bwd	((), ())	()

type E = I<ValidH<(HOption<P1>, HOption<P2>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>)

fn zip_any_valid(self) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy, P8: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>, Valid<P8>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy, P8: Copy, P9: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>, Valid<P8>, Valid<P9>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy, P8: Copy, P9: Copy, P10: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>, Valid<P8>, Valid<P9>, Valid<P10>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy, P8: Copy, P9: Copy, P10: Copy, P11: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>, Valid<P8>, Valid<P9>, Valid<P10>, Valid<P11>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>, HOption<P11>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>, HOption<P11>), ()>, { Dep::Helpful }>

impl<P1: Copy, P2: Copy, P3: Copy, P4: Copy, P5: Copy, P6: Copy, P7: Copy, P8: Copy, P9: Copy, P10: Copy, P11: Copy, P12: Copy> ZipAnyValidExt for (Valid<P1>, Valid<P2>, Valid<P3>, Valid<P4>, Valid<P5>, Valid<P6>, Valid<P7>, Valid<P8>, Valid<P9>, Valid<P10>, Valid<P11>, Valid<P12>)

fn zip_any_valid( self ) -> Valid<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>, HOption<P11>, HOption<P12>)>

A variation of zip_any_valid for 3-12 valid interfaces. See the 2-tuple version for more information.

type E = I<ValidH<(HOption<P1>, HOption<P2>, HOption<P3>, HOption<P4>, HOption<P5>, HOption<P6>, HOption<P7>, HOption<P8>, HOption<P9>, HOption<P10>, HOption<P11>, HOption<P12>), ()>, { Dep::Helpful }>

Implementors