Skip to main content

Environment

Struct Environment 

Source
pub struct Environment<'a> {
    pub frames: usize,
    pub offer: &'a dyn Fn(usize) -> bool,
    pub accept: &'a dyn Fn(usize) -> bool,
    pub other: &'a dyn Fn(&str, usize) -> Binding,
}
Expand description

The arrival pattern a side runs under, frames clocks: whether a token is offered at each clock, whether a given one is taken (or, for a side that never waits, watched for) at each clock, and what every other input is at each clock. Only the handshakes at those clocks are the side’s schedule, so the clocks before a reset settles are left out by offering and taking nothing there.

Fields§

§frames: usize§offer: &'a dyn Fn(usize) -> bool§accept: &'a dyn Fn(usize) -> bool§other: &'a dyn Fn(&str, usize) -> Binding

Auto Trait Implementations§

§

impl<'a> Freeze for Environment<'a>

§

impl<'a> !RefUnwindSafe for Environment<'a>

§

impl<'a> !Send for Environment<'a>

§

impl<'a> !Sync for Environment<'a>

§

impl<'a> Unpin for Environment<'a>

§

impl<'a> UnsafeUnpin for Environment<'a>

§

impl<'a> !UnwindSafe for Environment<'a>

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,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.