[][src]Struct arithmetic_eval::fns::While

pub struct While;

Loop function that evaluates the provided closure while a certain condition is true. Returns the loop state afterwards.

Type

fn<T>(T, fn(T) -> bool, fn(T) -> T) -> T

Examples

let program = r#"
    factorial = |x| {
        (_, acc) = (x, 1).while(
            |(i, _)| i >= 1,
            |(i, acc)| (i - 1, acc * i),
        );
        acc
    };
    factorial(5) == 120 && factorial(10) == 3628800
"#;
let program = Untyped::<F32Grammar>::parse_statements(program)?;

let module = Environment::new()
    .insert_native_fn("while", fns::While)
    .compile_module("test_while", &program)?;
assert_eq!(module.run()?, Value::Bool(true));

Trait Implementations

impl Clone for While[src]

impl Copy for While[src]

impl Debug for While[src]

impl Default for While[src]

impl<T: Clone> NativeFn<T> for While[src]

Auto Trait Implementations

impl RefUnwindSafe for While

impl Send for While

impl Sync for While

impl Unpin for While

impl UnwindSafe for While

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Conv for T

impl<T> Conv for T

impl<T> FmtForward for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pipe for T where
    T: ?Sized

impl<T> Pipe for T

impl<T> PipeAsRef for T

impl<T> PipeBorrow for T

impl<T> PipeDeref for T

impl<T> PipeRef for T

impl<T> Tap for T

impl<T> Tap for T

impl<T, U> TapAsRef<U> for T where
    U: ?Sized

impl<T, U> TapBorrow<U> for T where
    U: ?Sized

impl<T> TapDeref for T

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> TryConv for T

impl<T> TryConv for T

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,