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

use std::convert::Infallible;

/// Retained storage cleanup preserves its primary error across every retry.
pub trait Cleanup<P>: Sized {
    type Error;

    fn primary(&self) -> P;
    fn failure(&self) -> Self::Error;
    fn try_close(self, report: impl FnMut(Self::Error)) -> Result<P, Self>;
}

impl<P> Cleanup<P> for Infallible {
    type Error = P;

    fn primary(&self) -> P {
        match *self {}
    }

    fn failure(&self) -> P {
        match *self {}
    }

    fn try_close(self, _: impl FnMut(Self::Error)) -> Result<P, Self> {
        match self {}
    }
}