Trait hazardflow_designs::std::combinators::zip_any::ZipAnyVrExt

pub trait ZipAnyVrExt: 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<P1: Copy, P2: Copy, const D: Dep> ZipAnyVrExt for (Vr<P1, D>, Vr<P2, D>)

fn zip_any_vr(self) -> Vr<(HOption<P1>, HOption<P2>), D>

TODO(kjh): Documentation

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

Implementors