co3 0.4.0

Build C API from Rust
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

use co3::{
    Tag, ReprC, ffi,
    tag::{Tagged, TagFamily},
};
use co3::rust_spec::RustSpec;

trait Attribute {}

trait Dispatch {
    fn len(values: &[u32], attr: &Self) -> usize;
}

#[derive(RustSpec, ReprC)]
#[repr(transparent)]
struct CustomAttribute(u32);

#[derive(RustSpec, Tag, ReprC)]
#[tag(u8)]
#[repr(transparent)]
struct CustomAttributeRef<'a>(&'a u32);

impl Attribute for &CustomAttribute {}
impl TagFamily for &CustomAttribute {
    type Kind = u8;
}

unsafe impl Tagged for &CustomAttribute {
    const TAG: u8 = 1;
}

mod provider {
    use super::*;

    trait Dispatch {
        fn len<T>(values: &[u32], attr: &&T) -> usize;
    }

    impl Dispatch for &CustomAttribute {
        fn len<T>(_values: &[u32], _attr: &&T) -> usize {
            3
        }
    }

    ffi! {
        #![unsafe(export("C"))]

        impl<'a, dyn(u8) T: 'a + 'a> Dispatch for T
        where
            T: Attribute + 'a + 'a,
            use<T> @ <&CustomAttribute>,
        {
            #[symbol_name = "len"]
            fn len(values: &[u32], #[soft] attr: &T) -> usize;
        }
    }
}

ffi! {
    #![unsafe(extern("C"))]

    impl<'a, dyn(u8) T: Attribute + 'a> Dispatch for T
    where
        use<T> @ <&CustomAttribute>,
    {
        #[symbol_name = "len"]
        fn len(tag_id: <dyn T>::TAG, values: &[u32], attr: &T) -> usize;
    }
}

fn main() {
    assert_eq!(<&CustomAttribute>::len(&[1, 2, 3], &&CustomAttribute(0)), 3);
}