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

use core::mem::MaybeUninit;

use co3::ffi;

type TagKind = u8;

trait Family: co3::tag::Tagged {
    type Source;
    type Owned;
}

trait Version {}

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

    #[tag(TagKind, unsafe(1))]
    type Parent<V: Version>;

    #[tag(TagKind, unsafe(2))]
    type Child<V: Version>;

    impl<V: Version> Drop for dyn Parent<V> {
        fn drop(&mut self);
    }

    impl<V: Version> Drop for dyn Child<V> {
        fn drop(&mut self);
    }

    fn nested_projected_input<'src, dyn(TagKind) H: Family, V: Version>(
        move source: Option<&'src H::Source>,
        output_handle: &mut MaybeUninit<H::Owned>,
    )
    where
        use<H> @ (<Parent<V>> | <Child<V>>);
}

impl<V: Version> Family for Parent<V> {
    type Source = u32;
    type Owned = OwnedParent<V>;
}

impl<V: Version> Family for Child<V> {
    type Source = i32;
    type Owned = OwnedChild<V>;
}

fn main() {}