Trait sel4_microkit_message::MessageInfoExt

pub trait MessageInfoExt: Sized {
    // Required methods
    fn send<T: MessageSend>(val: T) -> Result<Self, T::Error>;
    fn recv<T: MessageRecv>(self) -> Result<T, MessageRecvErrorFor<T>>;

    // Provided methods
    fn send_unspecified_error() -> Self { ... }
    fn send_empty() -> Self { ... }
    fn recv_empty(self) -> Result<(), MessageRecvErrorFor<EmptyMessage>> { ... }
    fn send_with_trivial_label<T: MessageValueSend>(
        val: T,
    ) -> Result<Self, T::Error> { ... }
    fn recv_with_trivial_label<T: MessageValueRecv>(
        self,
    ) -> Result<T, MessageRecvErrorFor<TriviallyLabeled<T>>> { ... }
    fn send_using_postcard<T: Serialize>(
        val: T,
    ) -> Result<Self, <MessageValueUsingPostcard<T> as MessageValueSend>::Error> { ... }
    fn recv_using_postcard<T: for<'a> Deserialize<'a>>(
        self,
    ) -> Result<T, MessageRecvErrorFor<TriviallyLabeled<MessageValueUsingPostcard<T>>>> { ... }
}

Required Methods

fn send<T: MessageSend>(val: T) -> Result<Self, T::Error>

fn recv<T: MessageRecv>(self) -> Result<T, MessageRecvErrorFor<T>>

Provided Methods

fn send_unspecified_error() -> Self

fn send_empty() -> Self

fn recv_empty(self) -> Result<(), MessageRecvErrorFor<EmptyMessage>>

fn send_with_trivial_label<T: MessageValueSend>( val: T, ) -> Result<Self, T::Error>

fn recv_with_trivial_label<T: MessageValueRecv>( self, ) -> Result<T, MessageRecvErrorFor<TriviallyLabeled<T>>>

fn send_using_postcard<T: Serialize>( val: T, ) -> Result<Self, <MessageValueUsingPostcard<T> as MessageValueSend>::Error>

fn recv_using_postcard<T: for<'a> Deserialize<'a>>( self, ) -> Result<T, MessageRecvErrorFor<TriviallyLabeled<MessageValueUsingPostcard<T>>>>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl MessageInfoExt for MessageInfo

fn send<T: MessageSend>(val: T) -> Result<Self, T::Error>

fn recv<T: MessageRecv>(self) -> Result<T, MessageRecvErrorFor<T>>

Implementors