Trait hazardflow_designs::std::combinators::zip_any::ZipAnyIValidHExt

pub trait ZipAnyIValidHExt: Interface {
    type E: Interface;

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

Extension trait for zip_any_i_valid_h.

Required Associated Types

type E: Interface

Egress interface.

Required Methods

fn zip_any_i_valid_h(self) -> Self::E

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<P1: Copy, R1: Copy, P2: Copy, R2: Copy, const D: Dep> ZipAnyIValidHExt for (I<ValidH<P1, R1>, D>, I<ValidH<P2, R2>, D>)

fn zip_any_i_valid_h(self) -> I<ValidH<(HOption<P1>, HOption<P2>), (R1, R2)>, D>

TODO(kjh): Documentation

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

Implementors