pub trait ChannelStateWriteExt: StateWrite + StateReadExt {
// Provided methods
fn put_channel_counter(&mut self, counter: u64) { ... }
fn next_channel_id<'life0, 'async_trait>(
&'life0 mut self,
) -> Pin<Box<dyn Future<Output = Result<ChannelId>> + Send + 'async_trait>>
where Self: Send + 'async_trait,
'life0: 'async_trait { ... }
fn put_channel(
&mut self,
channel_id: &ChannelId,
port_id: &PortId,
channel: ChannelEnd,
) { ... }
fn put_ack_sequence(
&mut self,
channel_id: &ChannelId,
port_id: &PortId,
sequence: u64,
) { ... }
fn put_recv_sequence(
&mut self,
channel_id: &ChannelId,
port_id: &PortId,
sequence: u64,
) { ... }
fn put_send_sequence(
&mut self,
channel_id: &ChannelId,
port_id: &PortId,
sequence: u64,
) { ... }
fn put_packet_receipt(&mut self, packet: &Packet) { ... }
fn put_packet_commitment(&mut self, packet: &Packet) { ... }
fn delete_packet_commitment(
&mut self,
channel_id: &ChannelId,
port_id: &PortId,
sequence: u64,
) { ... }
fn put_packet_acknowledgement(
&mut self,
port_id: &PortId,
channel_id: &ChannelId,
sequence: u64,
acknowledgement: &[u8],
) { ... }
}Available on crate feature
component only.Provided Methods§
fn put_channel_counter(&mut self, counter: u64)
fn next_channel_id<'life0, 'async_trait>(
&'life0 mut self,
) -> Pin<Box<dyn Future<Output = Result<ChannelId>> + Send + 'async_trait>>where
Self: Send + 'async_trait,
'life0: 'async_trait,
fn put_channel( &mut self, channel_id: &ChannelId, port_id: &PortId, channel: ChannelEnd, )
fn put_ack_sequence( &mut self, channel_id: &ChannelId, port_id: &PortId, sequence: u64, )
fn put_recv_sequence( &mut self, channel_id: &ChannelId, port_id: &PortId, sequence: u64, )
fn put_send_sequence( &mut self, channel_id: &ChannelId, port_id: &PortId, sequence: u64, )
fn put_packet_receipt(&mut self, packet: &Packet)
fn put_packet_commitment(&mut self, packet: &Packet)
fn delete_packet_commitment( &mut self, channel_id: &ChannelId, port_id: &PortId, sequence: u64, )
fn put_packet_acknowledgement( &mut self, port_id: &PortId, channel_id: &ChannelId, sequence: u64, acknowledgement: &[u8], )
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.