future_form 0.3.1

Abstractions over Send and !Send futures
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

use super::*;

/// Trait name contains K as substring - previously caused identifier mangling
trait WorksOK<K: FutureForm> {
    fn compute(&self) -> K::Future<'_, u32>;
}

struct MyType<K>(PhantomData<K>);

#[future_form(Sendable, Local)]
impl<K: FutureForm> WorksOK<K> for MyType<K> {
    fn compute(&self) -> K::Future<'_, u32> {
        K::from_future(async { 42 })
    }
}

#[tokio::test]
async fn test_works_ok_sendable() {
    let m: MyType<Sendable> = MyType(PhantomData);
    let result = <MyType<Sendable> as WorksOK<Sendable>>::compute(&m).await;
    assert_eq!(result, 42);
}

#[tokio::test]
async fn test_works_ok_local() {
    let m: MyType<Local> = MyType(PhantomData);
    let result = <MyType<Local> as WorksOK<Local>>::compute(&m).await;
    assert_eq!(result, 42);
}

/// Trait and type both contain K as substring
trait CheckOK<K: FutureForm> {
    fn check(&self) -> K::Future<'_, bool>;
}

struct CheckerOK<K>(PhantomData<K>);

#[future_form(Sendable, Local)]
impl<K: FutureForm> CheckOK<K> for CheckerOK<K> {
    fn check(&self) -> K::Future<'_, bool> {
        K::from_future(async { true })
    }
}

#[tokio::test]
async fn test_checker_ok_sendable() {
    let c: CheckerOK<Sendable> = CheckerOK(PhantomData);
    let result = <CheckerOK<Sendable> as CheckOK<Sendable>>::check(&c).await;
    assert!(result);
}

#[tokio::test]
async fn test_checker_ok_local() {
    let c: CheckerOK<Local> = CheckerOK(PhantomData);
    let result = <CheckerOK<Local> as CheckOK<Local>>::check(&c).await;
    assert!(result);
}