Trait Defer 

pub trait Defer<'a> {
    // Required method
    fn defer<FnBrand: 'a + CloneableFn>(
        f: <FnBrand as CloneableFn>::Of<'a, (), Self>,
    ) -> Self
       where Self: Sized;
}

A type class for types that can be constructed lazily.

Required Methods

fn defer<FnBrand: 'a + CloneableFn>( f: <FnBrand as CloneableFn>::Of<'a, (), Self>, ) -> Self

where Self: Sized,

Creates a value from a computation that produces the value.

This function takes a thunk (wrapped in a cloneable function) and creates a deferred value that will be computed using the thunk.

Type Signature

forall a. Defer d => (() -> d a) -> d a

Type Parameters

• FnBrand: The brand of the cloneable function wrapper.

Parameters

• f: A thunk (wrapped in a cloneable function) that produces the value.

Returns

The deferred value.

Examples

use fp_library::{brands::*, classes::*, functions::*, types::*};

let eval: Thunk<i32> = defer::<Thunk<i32>, RcFnBrand>(
    cloneable_fn_new::<RcFnBrand, _, _>(|_| Thunk::new(|| 42))
);
assert_eq!(eval.run(), 42);

Implementors

impl<'a, A> Defer<'a> for Lazy<'a, A, RcLazyConfig>

where A: Clone + 'a,

impl<'a, A: 'a> Defer<'a> for Thunk<'a, A>