pub trait SendInput<Input, Path> {
// Required method
fn emit(&mut self, input: Input);
}Expand description
Static evidence that a send algebra contains one request lane.
Implementations append the input exactly once to that lane and leave every
other lane unchanged. Path distinguishes repeated request types without
erasing their position or choosing a lane at runtime.
Own selects the current algebra’s owned lane. Inner<Path> descends
through the composed-behavior side of one product or named wrapper before
applying Path. Consequently, paths remain statically known through
arbitrary wrapper depth.
ⓘ
use behavior::{Inner, Own, SendAlgebra, SendProduct};
let mut sends = SendProduct::new(Vec::<u8>::new(), Vec::<u16>::new());
// `u32` is not accepted by either lane at this path.
sends.send::<_, Inner<Own>>(1_u32);