pub struct Signal<S, M = NoopRawMutex> { /* private fields */ }Expand description
Signal is an async synchonization primitive that can be viewed as a generalization of the embassy_sync::Signal primitive
that takes callback closures.
It allows for waiting on a condition of its state S to become true, where whether the condition is met is decided by a callback closure.
It also allows for modifying the state S and waking up the waiters - but only as long as a callback closure provides information that
the state is modified in such a way, that the waiters should be notified.
The generic nature of Signal allows for a wide range of use cases, including the implementation of:
- the
Notificationprimitive - the
IfMutexprimitive
Implementations§
Source§impl<S, M> Signal<S, M>where
M: RawMutex,
impl<S, M> Signal<S, M>where
M: RawMutex,
Sourcepub fn init<I>(state: I) -> impl Init<Signal<S, M>>where
I: Init<S>,
pub fn init<I>(state: I) -> impl Init<Signal<S, M>>where
I: Init<S>,
Create a Signal in-place initializer with the given initial state initializer I.
pub fn modify<F, R>(&self, f: F) -> R
pub async fn wait<F, R>(&self, f: F) -> R
pub fn poll_wait<F, R>(&self, ctx: &mut Context<'_>, f: F) -> Poll<R>
Auto Trait Implementations§
impl<S, M = NoopRawMutex> !Freeze for Signal<S, M>
impl<S, M = NoopRawMutex> !RefUnwindSafe for Signal<S, M>
impl<S, M> Send for Signal<S, M>
impl<S, M> Sync for Signal<S, M>
impl<S, M> Unpin for Signal<S, M>
impl<S, M> UnsafeUnpin for Signal<S, M>where
M: UnsafeUnpin,
S: UnsafeUnpin,
impl<S, M> UnwindSafe for Signal<S, M>where
M: UnwindSafe,
S: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T, I> IntoFallibleInit<T> for Iwhere
I: Init<T>,
impl<T, I> IntoFallibleInit<T> for Iwhere
I: Init<T>,
Source§fn into_fallible<E>(self) -> impl Init<T, E>
fn into_fallible<E>(self) -> impl Init<T, E>
Convert the infallible initializer to a fallible one.
Source§impl<Source, Target> OctetsInto<Target> for Sourcewhere
Target: OctetsFrom<Source>,
impl<Source, Target> OctetsInto<Target> for Sourcewhere
Target: OctetsFrom<Source>,
type Error = <Target as OctetsFrom<Source>>::Error
Source§fn try_octets_into(
self,
) -> Result<Target, <Source as OctetsInto<Target>>::Error>
fn try_octets_into( self, ) -> Result<Target, <Source as OctetsInto<Target>>::Error>
Performs the conversion.
Source§fn octets_into(self) -> Target
fn octets_into(self) -> Target
Performs an infallible conversion.