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 lazy = defer::<RcLazy<'_, i32>, RcFnBrand>(
    cloneable_fn_new::<RcFnBrand, _, _>(|_| RcLazy::new(RcLazyConfig::new_thunk(|_| 42)))
);
assert_eq!(Lazy::force(&lazy).unwrap(), &42);

Implementors

impl<'a, Config: LazyDefer<'a, A>, A: Clone + 'a> Defer<'a> for Lazy<'a, Config, A>