[][src]Struct arithmetic_eval::fns::Loop

pub struct Loop;

Loop function that evaluates the provided closure one or more times.

Type

fn<T, R>(T, fn(T) -> (false, R) | (true, T)) -> R

Examples

let program = r#"
    factorial = |x| {
        loop((x, 1), |(i, acc)| {
            continue = i >= 1;
            (continue, if(continue, (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("if", fns::If)
    .insert_native_fn("loop", fns::Loop)
    .compile_module("test_loop", &program)?;
assert_eq!(module.run()?, Value::Bool(true));

Trait Implementations

impl Clone for Loop[src]

impl Copy for Loop[src]

impl Debug for Loop[src]

impl Default for Loop[src]

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

Auto Trait Implementations

impl RefUnwindSafe for Loop

impl Send for Loop

impl Sync for Loop

impl Unpin for Loop

impl UnwindSafe for Loop

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>,