dope-sys 0.33.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

use crate::probe::{
    Stopped,
    session::{Failure, Session, Stage},
};

type Cancelled<S> = Result<S, Stopped<Stage<S>, Failure<S>>>;

/// A live session permits cancellation without exposing mutable owner access.
pub trait Pending: Sized {
    type Session: Session<Pending = Self>;

    /// Reports the prior failure before acknowledging its exact unread completion.
    fn resume(
        stopped: Stopped<Self, Failure<Self::Session>>,
        report: impl FnMut(Failure<Self::Session>),
    ) -> Result<Self, Stopped<Self, Failure<Self::Session>>>;

    fn cancel(self) -> Cancelled<Self::Session>;
}