dope-sys 0.20.0

Typed operating-system call contracts
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

use crate::{
    io::reactor::{
        read::{Arm, Complete, Context},
        ready,
    },
    memory,
    memory::buffer,
    table,
    table::{change, registry},
};

pub trait Source: buffer::Source + table::Source {
    type Registry<C: Context>: registry::State<C::Slots, Self::Entry<C>, Files = Self::Files<C::Slots>>;
    type Entry<C: Context>: super::raw::Entry<C, File = <<Self::Files<C::Slots> as table::Files<C::Slots>>::Changes as change::Changes>::Id>;
    type Arm<'a, C, E, P>: Arm<
            'a,
            C,
            E,
            P,
            Files = Self::Files<C::Slots>,
            Entry = Self::Entry<C>,
            Registry = Self::Registry<C>,
            Failure = P::Failure,
        >
    where
        C: Context + 'a,
        C::Slots: 'a,
        E: Complete<Key = C::Key, Flow = C::Flow>,
        P: ready::Poll<
                C::Slots,
                Files = Self::Files<C::Slots>,
                Failure: ready::Failure<Operation = C::Operation>,
            > + 'a,
        Self::Files<C::Slots>: 'a,
        Self::Registry<C>: 'a;
    type Poll<'a, C, L, E, P>: super::raw::Poll<'a, C, L, E, P, Arm = Self::Arm<'a, C, E, P>, Pool = Self::Pool<L>>
    where
        C: Context + 'a,
        C::Slots: 'a,
        L: memory::raw::Layout + 'a,
        E: Complete<
                Key = C::Key,
                Flow = C::Flow,
                Accepted = <C::Slots as table::raw::Slots>::Accepted,
                Buffer = <Self::Pool<L> as buffer::Pool>::Buffer,
            >,
        P: ready::Poll<
                C::Slots,
                Files = Self::Files<C::Slots>,
                Failure: ready::Failure<Operation = C::Operation>,
            > + 'a,
        Self::Files<C::Slots>: 'a,
        Self::Registry<C>: 'a,
        Self::Pool<L>: 'a;
}