Struct PushSender 

pub struct PushSender { /* private fields */ }

Typed, clonable handle for server-initiated push frames (SRV-013).

Handed to product code via Session::push_sender under push = Enabled profiles. It wraps the connection’s writer channel and forces id = PUSH_ID, so product code can never collide with request ids. Clones stay valid for the connection’s lifetime — subscription flows (a subscribe-style command) may emit long after the registering request completed.

Implementations

impl PushSender

pub async fn push(&self, value: Value) -> Result<(), PushClosed>

Emit one push frame carrying value. Fails once the connection has closed and its writer drained (SRV-004).

Trait Implementations

impl Clone for PushSender

fn clone(&self) -> PushSender

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PushSender

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

Formats the value using the given formatter.