Struct pasts::Loop

source · [−]

pub struct Loop<S: Unpin, T, F: Stateful<S, T>> { /* private fields */ }

Expand description

Composable asynchronous event loop.

Implementations

source

impl<'a, S: Unpin, T> Loop<S, T, Never<'a, S>>

source

pub fn new(state: &'a mut S) -> Self

Create an empty event loop.

source

impl<S: Unpin, T, F: Stateful<S, T>> Loop<S, T, F>

source

pub fn on<P, O, N>(
 self,
 past: P,
 then: fn(_: &mut S, _: O) -> Poll<T>
) -> Loop<S, T, impl Stateful<S, T>>ⓘNotable traits for Loop<S, T, F>`impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F> type Output = T;` where
 P: ToPast<N, O>,
 N: Pasty<O>,

Register an event handler.

Parameter past may be one of:

IntoIterator<IntoIter = RepeatWith<Future>>:
(future must be Unpin)
An async function (no parameters) / closure that returns a future (allocates):
A poll function (FnMut(&mut Context<'_>) -> Poll<O>)
Anything that dereferences to a slice of any of the above (passes (usize, O) to then())

Trait Implementations

source

impl<S: Debug + Unpin, T: Debug, F: Debug + Stateful<S, T>> Debug for Loop<S, T, F>

source

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

Formats the value using the given formatter. Read more

source

impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F>

type Output = T

The type of value produced on completion.

source

fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<T>

Attempt to resolve the future to a final value, registering the current task for wakeup if the value is not yet available. Read more

Auto Trait Implementations

impl<S, T, F> RefUnwindSafe for Loop<S, T, F> where
 F: RefUnwindSafe,
 S: RefUnwindSafe,
 T: RefUnwindSafe,

impl<S, T, F> Send for Loop<S, T, F> where
 F: Send,
 S: Send,
 T: Send,

impl<S, T, F> Sync for Loop<S, T, F> where
 F: Sync,
 S: Sync,
 T: Sync,

impl<S, T, F> Unpin for Loop<S, T, F> where
T: Unpin,

impl<S, T, F> UnwindSafe for Loop<S, T, F> where
 F: UnwindSafe,
 S: UnwindSafe,
 T: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<F> IntoFuture for F where
F: Future,

type Output = <F as Future>::Output

🔬 This is a nightly-only experimental API. (into_future)

The output that the future will produce on completion.

type IntoFuture = F

🔬 This is a nightly-only experimental API. (into_future)

Which kind of future are we turning this into?

source

fn into_future(self) -> <F as IntoFuture>::IntoFuture

🔬 This is a nightly-only experimental API. (into_future)

Creates a future from a value.

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct pasts::Loop

Implementations

impl<'a, S: Unpin, T> Loop<S, T, Never<'a, S>>

pub fn new(state: &'a mut S) -> Self

impl<S: Unpin, T, F: Stateful<S, T>> Loop<S, T, F>

pub fn on<P, O, N>(
    self,
    past: P,
    then: fn(_: &mut S, _: O) -> Poll<T>
) -> Loop<S, T, impl Stateful<S, T>>ⓘNotable traits for Loop<S, T, F>`impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F> type Output = T;` where
    P: ToPast<N, O>,
    N: Pasty<O>,

Trait Implementations

impl<S: Debug + Unpin, T: Debug, F: Debug + Stateful<S, T>> Debug for Loop<S, T, F>

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

impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F>

type Output = T

fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<T>

Auto Trait Implementations

impl<S, T, F> RefUnwindSafe for Loop<S, T, F> where
    F: RefUnwindSafe,
    S: RefUnwindSafe,
    T: RefUnwindSafe,

impl<S, T, F> Send for Loop<S, T, F> where
    F: Send,
    S: Send,
    T: Send,

impl<S, T, F> Sync for Loop<S, T, F> where
    F: Sync,
    S: Sync,
    T: Sync,

impl<S, T, F> Unpin for Loop<S, T, F> where
T: Unpin,

impl<S, T, F> UnwindSafe for Loop<S, T, F> where
    F: UnwindSafe,
    S: UnwindSafe,
    T: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where
U: From<T>,

fn into(self) -> U

impl<F> IntoFuture for F where
F: Future,

type Output = <F as Future>::Output

type IntoFuture = F

fn into_future(self) -> <F as IntoFuture>::IntoFuture

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct pasts::Loop

Implementations

impl<'a, S: Unpin, T> Loop<S, T, Never<'a, S>>

pub fn new(state: &'a mut S) -> Self

impl<S: Unpin, T, F: Stateful<S, T>> Loop<S, T, F>

pub fn on<P, O, N>( self, past: P, then: fn(_: &mut S, _: O) -> Poll<T>) -> Loop<S, T, impl Stateful<S, T>>ⓘNotable traits for Loop<S, T, F>impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F> type Output = T; where P: ToPast<N, O>, N: Pasty<O>,

Trait Implementations

impl<S: Debug + Unpin, T: Debug, F: Debug + Stateful<S, T>> Debug for Loop<S, T, F>

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

impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F>

type Output = T

fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<T>

Auto Trait Implementations

impl<S, T, F> RefUnwindSafe for Loop<S, T, F> where F: RefUnwindSafe, S: RefUnwindSafe, T: RefUnwindSafe,

impl<S, T, F> Send for Loop<S, T, F> where F: Send, S: Send, T: Send,

impl<S, T, F> Sync for Loop<S, T, F> where F: Sync, S: Sync, T: Sync,

impl<S, T, F> Unpin for Loop<S, T, F> where T: Unpin,

impl<S, T, F> UnwindSafe for Loop<S, T, F> where F: UnwindSafe, S: UnwindSafe, T: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<F> IntoFuture for F where F: Future,

type Output = <F as Future>::Output

type IntoFuture = F

fn into_future(self) -> <F as IntoFuture>::IntoFuture

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

pub fn on<P, O, N>(
self,
past: P,
then: fn(_: &mut S, _: O) -> Poll<T>
) -> Loop<S, T, impl Stateful<S, T>>ⓘNotable traits for Loop<S, T, F>`impl<S: Unpin, T: Unpin, F: Stateful<S, T>> Future for Loop<S, T, F> type Output = T;` where
P: ToPast<N, O>,
N: Pasty<O>,

impl<S, T, F> RefUnwindSafe for Loop<S, T, F> where
F: RefUnwindSafe,
S: RefUnwindSafe,
T: RefUnwindSafe,

impl<S, T, F> Send for Loop<S, T, F> where
F: Send,
S: Send,
T: Send,

impl<S, T, F> Sync for Loop<S, T, F> where
F: Sync,
S: Sync,
T: Sync,

impl<S, T, F> Unpin for Loop<S, T, F> where
T: Unpin,

impl<S, T, F> UnwindSafe for Loop<S, T, F> where
F: UnwindSafe,
S: UnwindSafe,
T: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<F> IntoFuture for F where
F: Future,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,