Trait hazardflow_designs::std::combinators::zip_any::ZipAnyIVrHArrExt

pub trait ZipAnyIVrHArrExt: Interface {
    type E: Interface;

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

Extension trait for zip_any_vr_h.

Required Associated Types

type E: Interface

Egress interface.

Required Methods

fn zip_any_i_vr_h(self) -> Self::E

Zip-any I<VrH<_, _>, _>.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<P: Copy, R: Copy, const D: Dep, const N: usize> ZipAnyIVrHArrExt for [I<VrH<P, R>, D>; N]

fn zip_any_i_vr_h(self) -> Self::E

Zips any of the N hazard interfaces.

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

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

type E = I<AndH<ValidH<Array<HOption<P>, N>, [R; N]>>, D>

Implementors