Trait hazardflow_designs::std::combinators::mux::MuxExt

pub trait MuxExt<const N: usize>: Interface{
    type E: Interface;

    // Required method
    fn mux(self, cntl: Valid<U<{ _ }>>) -> Self::E;
}

Extension trait for mux.

Required Associated Types

type E: Interface

Egress interface.

Required Methods

fn mux(self, cntl: Valid<U<{ _ }>>) -> Self::E

Mux.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<P: Copy, R1: Copy, R2: Copy, const D: Dep> MuxExt<2> for (I<VrH<P, R1>, D>, I<VrH<P, R2>, D>)

fn mux(self, cntl: Valid<U<{ _ }>>) -> I<VrH<P, (R1, R2)>, D>

Muxes two VrH hazard interfaces based on cntl.

cntl selects which ingress interface to connect to the egress interface.

• Payloads: Outputs the payload of the interface selected by cntl.
• Resolver: The selected interface’s resolver follows the egress resolver. All the other resolvers are invalid.

Interface	Ingress	Egress
Fwd	(HOption<P>, HOption<P>)	HOption<P>
Bwd	(Ready<R1>, Ready<R2>)	Ready<(R1, R2)>

type E = I<AndH<ValidH<P, (R1, R2)>>, D>

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

fn mux(self, cntl: Valid<U<{ _ }>>) -> I<ValidH<P, R>, D>

Muxes N ValidH hazard interfaces based on cntl.

cntl selects which ingress interface to connect to the egress interface.

• Payloads: Outputs the payload of the interface selected by cntl.
• Resolver: Duplicated to multiple interfaces.

Interface	Ingress	Egress
Fwd	Array<HOption<P>, N>	HOption<P>
Bwd	Array<R, N>	R

type E = I<ValidH<P, R>, D>

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

fn mux(self, cntl: Valid<U<{ _ }>>) -> I<VrH<P, R>, D>

Muxes N VrH hazard interfaces based on cntl.

cntl selects which ingress interface to connect to the egress interface.

• Payloads: Outputs the payload of the interface selected by cntl.
• Resolver: The selected interface’s resolver follows the egress resolver. All the other resolvers are invalid.

Interface	Ingress	Egress
Fwd	Array<HOption<P>, N>	HOption<P>
Bwd	Array<Ready<R>, N>	Ready<R>

type E = I<AndH<ValidH<P, R>>, D>

Implementors