Struct SendProduct 

pub struct SendProduct<L, R> {
    pub inner: L,
    pub own: R,
}

A product of independently typed send protocols.

Fields

inner: L

own: R

Implementations

impl<L, R> SendProduct<L, R>

pub const fn new(inner: L, own: R) -> Self

pub fn split(self) -> (L, R)

Trait Implementations

impl<L: Clone, R: Clone> Clone for SendProduct<L, R>

fn clone(&self) -> SendProduct<L, R>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: Debug, R: Debug> Debug for SendProduct<L, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<L, R> From<(L, R)> for SendProduct<L, R>

fn from((inner, own): (L, R)) -> Self

Converts to this type from the input type.

impl<L: PartialEq, R: PartialEq> PartialEq for SendProduct<L, R>

fn eq(&self, other: &SendProduct<L, R>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L: SendAlgebra, R: SendAlgebra> SendAlgebra for SendProduct<L, R>

fn empty() -> Self

fn append(&mut self, other: Self)

fn combine(self, other: Self) -> Self

fn send<Input, Path>(&mut self, input: Input)

where Self: SendInput<Input, Path>,

Append one request to its statically selected semantic lane.

fn sending<Input, Path>(input: Input) -> Self

where Self: SendInput<Input, Path>,

Build a send product containing one request in its selected lane.

impl<L, R, Input, Path> SendInput<Input, Inner<Path>> for SendProduct<L, R>

where L: SendInput<Input, Path>,

fn emit(&mut self, input: Input)

impl<L, R, Input> SendInput<Input, Own> for SendProduct<L, R>

where R: SendInput<Input, Own>,

fn emit(&mut self, input: Input)

impl<L: Eq, R: Eq> Eq for SendProduct<L, R>

impl<L, R> StructuralPartialEq for SendProduct<L, R>