ControlExpr

Struct ControlExpr 

Source
pub struct ControlExpr<C, F> { /* private fields */ }
Expand description

Container for complex control expressions that combines a set of Control variables with a closure that depends on the values of the control set.

Implementations§

Source§

impl<C, F> ControlExpr<C, F>
where C: Publisher, F: Fn(&C) -> bool,

Source

pub const fn new(ctrl: C, code: F) -> Self

Creates a new control expression given a set of Control variables and a closure that depends on them.

Trait Implementations§

Source§

impl<C: Clone, F: Clone> Clone for ControlExpr<C, F>

Source§

fn clone(&self) -> ControlExpr<C, F>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<C, F, R> Expr for ControlExpr<C, F>
where F: Fn(&C) -> R,

Source§

type Output = R

The result type.
Source§

fn get(&self) -> R

The routine used for evaluation.
Source§

impl<C, F> IntoFuture for ControlExpr<C, F>
where C: Publisher, F: Fn(&C) -> bool, C::Link: From<UnsafeRef<Predicate>>,

Source§

type Output = ()

The output that the future will produce on completion.
Source§

type IntoFuture = Until<C, F>

Which kind of future are we turning this into?
Source§

fn into_future(self) -> Self::IntoFuture

Creates a future from a value. Read more
Source§

impl<C, F> Publisher for ControlExpr<C, F>
where C: Publisher,

The type of the object this notifier informs.
Source§

unsafe fn subscribe(&self, link: Pin<&Self::Link>)

Unsafely subscribes a link to the notifier. Read more
Source§

unsafe fn unsubscribe(&self, link: Pin<&Self::Link>)

Unsafely unsubscribes a link from the notifier. Read more
Source§

impl<C: Copy, F: Copy> Copy for ControlExpr<C, F>

Auto Trait Implementations§

§

impl<C, F> Freeze for ControlExpr<C, F>
where C: Freeze, F: Freeze,

§

impl<C, F> RefUnwindSafe for ControlExpr<C, F>

§

impl<C, F> Send for ControlExpr<C, F>
where C: Send, F: Send,

§

impl<C, F> Sync for ControlExpr<C, F>
where C: Sync, F: Sync,

§

impl<C, F> Unpin for ControlExpr<C, F>
where C: Unpin, F: Unpin,

§

impl<C, F> UnwindSafe for ControlExpr<C, F>
where C: UnwindSafe, F: 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,

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> ExprTerm for T
where T: Expr,

Source§

fn expr_term(&self) -> &Self

Trait method that is selected if the instance in question implements the Expr-trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> PubTerm for T
where T: Publisher,

Source§

fn pub_term(&self) -> &Self

Trait method that is selected if the instance in question implements the Publisher-trait.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more