Struct scope_lock::Extender

pub struct Extender<'scope, 'env> { /* private fields */ }

Implementations

impl<'scope, 'env> Extender<'scope, 'env>

pub fn extend_fn<F, I, O>(&'scope self, f: &'scope F) -> ExtendedFn<I, O>

where F: Fn(I) -> O + Sync + 'scope, I: Send + 'scope, O: Send + 'scope,

Examples found in repository

examples/references.rs (line 21)

fn main() {
    let mut a = vec![1, 2, 3];
    let mut x = 0;

    let f1 = &|()| {
        println!("hello from the first scoped thread");
        // We can borrow `a` here.
        dbg!(&a);
    };
    let f2 = &mut |()| {
        println!("hello from the second scoped thread");
        // We can even mutably borrow `x` here,
        // because no other threads are using it.
        x += a[0] + a[2];
    };

    scope_lock::lock_scope(|e| {
        thread::spawn({
            let f = e.extend_fn(f1);
            move || f.call(())
        });
        thread::spawn({
            let mut f = e.extend_fn_mut(f2);
            move || f.call(())
        });
        println!("hello from the main thread");
    });

    // After the scope, we can modify and access our variables again:
    a.push(4);
    assert_eq!(x, a.len());
}

pub fn extend_fn_box<F, I, O>( &'scope self, f: F ) -> Box<dyn Fn(I) -> O + Send + Sync>

where F: Fn(I) -> O + Send + Sync + 'scope, I: Send + 'scope, O: Send + 'scope,

pub fn extend_fn_mut<F, I, O>( &'scope self, f: &'scope mut F ) -> ExtendedFnMut<I, O>

where F: FnMut(I) -> O + Send + 'scope, I: Send + 'scope, O: Send + 'scope,

Examples found in repository

examples/references.rs (line 25)

fn main() {
    let mut a = vec![1, 2, 3];
    let mut x = 0;

    let f1 = &|()| {
        println!("hello from the first scoped thread");
        // We can borrow `a` here.
        dbg!(&a);
    };
    let f2 = &mut |()| {
        println!("hello from the second scoped thread");
        // We can even mutably borrow `x` here,
        // because no other threads are using it.
        x += a[0] + a[2];
    };

    scope_lock::lock_scope(|e| {
        thread::spawn({
            let f = e.extend_fn(f1);
            move || f.call(())
        });
        thread::spawn({
            let mut f = e.extend_fn_mut(f2);
            move || f.call(())
        });
        println!("hello from the main thread");
    });

    // After the scope, we can modify and access our variables again:
    a.push(4);
    assert_eq!(x, a.len());
}

pub fn extend_fn_mut_box<F, I, O>( &'scope self, f: F ) -> Box<dyn FnMut(I) -> O + Send>

where F: FnMut(I) -> O + Send + 'scope, I: Send + 'scope, O: Send + 'scope,

pub fn extend_fn_once<F, I, O>( &'scope self, f: RefOnce<'scope, F> ) -> ExtendedFnOnce<I, O>

where F: FnOnce(I) -> O + Send + 'scope, I: Send + 'scope, O: Send + 'scope,

pub fn extend_fn_once_box<F, I, O>( &'scope self, f: F ) -> Box<dyn FnOnce(I) -> O + Send>

where F: FnOnce(I) -> O + Send + 'scope, I: Send + 'scope, O: Send + 'scope,

Examples found in repository

examples/boxed.rs (lines 9-13)

fn main() {
    let mut a = vec![1, 2, 3];
    let mut x = 0;

    scope_lock::lock_scope(|e| {
        thread::spawn({
            let f = e.extend_fn_once_box(|()| {
                println!("hello from the first scoped thread");
                // We can borrow `a` here.
                dbg!(&a);
            });
            move || f(())
        });
        thread::spawn({
            let f = e.extend_fn_once_box(|()| {
                println!("hello from the second scoped thread");
                // We can even mutably borrow `x` here,
                // because no other threads are using it.
                x += a[0] + a[2];
            });
            move || f(())
        });
        println!("hello from the main thread");
    });

    // After the scope, we can modify and access our variables again:
    a.push(4);
    assert_eq!(x, a.len());
}

pub fn extend_future<F>( &'scope self, f: Pin<&'scope mut F> ) -> ExtendedFuture<F::Output>

where F: Future + Send + 'scope, F::Output: Send + 'scope,

pub fn extend_future_box<F>( &'scope self, f: F ) -> Pin<Box<dyn Future<Output = F::Output> + Send>>

where F: Future + Send + 'scope, F::Output: Send + 'scope,

Extend lifetime of a future. Use Box::into_pin to pin the future.