Trait Monotonic

pub trait Monotonic {
    type Instant: Ord + Copy + Add<Self::Duration, Output = Self::Instant> + Sub<Self::Duration, Output = Self::Instant, Output = Self::Duration> + Sub;
    type Duration: Copy;

    // Required methods
    fn now() -> Self::Instant;
    async fn delay(duration: Self::Duration);
    async fn delay_until(instant: Self::Instant);
    async fn timeout_at<F>(
        instant: Self::Instant,
        future: F,
    ) -> Result<<F as Future>::Output, TimeoutError>
       where F: Future;
    async fn timeout_after<F>(
        duration: Self::Duration,
        future: F,
    ) -> Result<<F as Future>::Output, TimeoutError>
       where F: Future;
}

A monotonic clock / counter definition.

Correctness

The trait enforces that proper time-math is implemented between Instant and Duration. This is a requirement on the time library that the user chooses to use.

Required Associated Types

type Instant: Ord + Copy + Add<Self::Duration, Output = Self::Instant> + Sub<Self::Duration, Output = Self::Instant, Output = Self::Duration> + Sub

The type for instant, defining an instant in time.

Note: In all APIs in RTIC that use instants from this monotonic, this type will be used.

type Duration: Copy

The type for duration, defining a duration of time.

Note: In all APIs in RTIC that use duration from this monotonic, this type will be used.

Required Methods

fn now() -> Self::Instant

Get the current time.

async fn delay(duration: Self::Duration)

Delay for some duration of time.

async fn delay_until(instant: Self::Instant)

Delay to some specific time instant.

async fn timeout_at<F>( instant: Self::Instant, future: F, ) -> Result<<F as Future>::Output, TimeoutError>

where F: Future,

Timeout at a specific time.

async fn timeout_after<F>( duration: Self::Duration, future: F, ) -> Result<<F as Future>::Output, TimeoutError>

where F: Future,

Timeout after a specific duration.

Object Safety

This trait is not object safe.

Implementors

impl<T> Monotonic for T

where T: TimerQueueBasedMonotonic,

type Instant = <T as TimerQueueBasedMonotonic>::Instant

type Duration = <T as TimerQueueBasedMonotonic>::Duration