Trait hazardflow_designs::std::combinators::zip_any::ZipAnyVrArrExt

pub trait ZipAnyVrArrExt: Interface {
    type E: Interface;

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

Extension trait for zip_any_vr.

Required Associated Types

type E: Interface

Egress interface.

Required Methods

fn zip_any_vr(self) -> Self::E

Zip-any valid-ready.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<P: Copy, const D: Dep, const N: usize> ZipAnyVrArrExt for [Vr<P, D>; N]

fn zip_any_vr(self) -> Self::E

Zips any of the N valid-ready interfaces.

• Payloads: Wrapped in another HOption. The outer HOption is Some if any of the payloads are Some.
• Resolver: Ignored.

Interface	Ingress	Egress
Fwd	(HOption<P>, HOption<P>, ...)	HOption<(HOption<P>, HOption<P>, ...)>
Bwd	((), ())	()

type E = I<AndH<ValidH<Array<HOption<P>, N>, ()>>, D>

Implementors