Struct If 

pub struct If<C: Moment<Value = bool>, T: Moment, F: Moment> { /* private fields */ }

A conditional calculation.

This struct allows you to branch calculations based on a condition. Both sides are still optimized, but only one side will be fully resolved.

Implementations

impl<C: Moment<Value = bool>, T: Moment, F: Moment> If<C, T, F>

pub fn new(condition: C, then: T, otherwise: F) -> Self

Create a new If struct.

This will branch the calculation based on the condition. If the condition is true, the then calculation will be resolved. Otherwise, the otherwise calculation will be resolved.

pub async fn to_then(self) -> Option<T>

Tries to get the then calculation.

pub async fn to_otherwise(self) -> Option<F>

Tries to get the otherwise calculation.

Trait Implementations

impl<C, T, F, R, TO, FO> Add<R> for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment, R: Moment, TO: Moment, FO: Moment, T::Value: Add<R::Value, Output = TO>, F::Value: Add<R::Value, Output = FO>,

type Output = If<C, Add<T, R, TO>, Add<F, R, FO>>

The resulting type after applying the + operator.

fn add(self, rhs: R) -> Self::Output

Performs the + operation.

impl<C: Clone + Moment<Value = bool>, T: Clone + Moment, F: Clone + Moment> Clone for If<C, T, F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C, T, F, R, TO, FO> Div<R> for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment, R: Moment, TO: Moment, FO: Moment, T::Value: Div<R::Value, Output = TO>, F::Value: Div<R::Value, Output = FO>,

type Output = If<C, Div<T, R, TO>, Div<F, R, FO>>

The resulting type after applying the / operator.

fn div(self, rhs: R) -> Self::Output

Performs the / operation.

impl<C, T, F> Moment for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment,

type Value = If<C, <T as Moment>::Value, <F as Moment>::Value>

The type of value that this Moment resolves to.

fn resolve<'async_trait>( self, ) -> Pin<Box<dyn Future<Output = Self::Value> + Send + 'async_trait>>

where Self: 'async_trait,

Resolve this Moment into its value.

impl<C, T, F, R, TO, FO> Mul<R> for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment, R: Moment, TO: Moment, FO: Moment, T::Value: Mul<R::Value, Output = TO>, F::Value: Mul<R::Value, Output = FO>,

type Output = If<C, Mul<T, R, TO>, Mul<F, R, FO>>

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl<C, T, F, R, TO, FO> Rem<R> for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment, R: Moment, TO: Moment, FO: Moment, T::Value: Rem<R::Value, Output = TO>, F::Value: Rem<R::Value, Output = FO>,

type Output = If<C, Rem<T, R, TO>, Rem<F, R, FO>>

The resulting type after applying the % operator.

fn rem(self, rhs: R) -> Self::Output

Performs the % operation.

impl<C, T, F, R, TO, FO> Sub<R> for If<C, T, F>

where C: Moment<Value = bool>, T: Moment, F: Moment, R: Moment, TO: Moment, FO: Moment, T::Value: Sub<R::Value, Output = TO>, F::Value: Sub<R::Value, Output = FO>,

type Output = If<C, Sub<T, R, TO>, Sub<F, R, FO>>

The resulting type after applying the - operator.

fn sub(self, rhs: R) -> Self::Output

Performs the - operation.