Trait hazardflow_designs::std::combinators::zip_any::ZipAnyIVrHExt

pub trait ZipAnyIVrHExt: Interface {
    type E: Interface;

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

Extension trait for zip_any_i_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<P1: Copy, R1: Copy, P2: Copy, R2: Copy, const D: Dep> ZipAnyIVrHExt for (I<VrH<P1, R1>, D>, I<VrH<P2, R2>, D>)

fn zip_any_i_vr_h(self) -> I<VrH<(HOption<P1>, HOption<P2>), (R1, R2)>, D>

TODO(kjh): Documentation

type E = I<AndH<ValidH<(HOption<P1>, HOption<P2>), (R1, R2)>>, D>

Implementors