libutils 5.19.26

Common library types for faster development
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
73
74
75
76
77
78
79
80
81
82
83

//^ 
//^ HEAD
//^ 

//> HEAD -> SUPER
use super::{
    Report,
    toissue::ToIssue,
    Act
};

//> HEAD -> CORE
use core::{
    mem::replace,
    ops::{
        FromResidual,
        Residual,
        Try,
        ControlFlow
    }
};


//^
//^ TYPES
//^

//> TYPES -> ATTACHMENT
#[must_use]
pub struct Attachment<'valid, Type, Object: ToIssue> {
    pub report: Option<&'valid mut Report<Object>>,
    pub result: Option<Type>
}

//> TYPES -> BREAK
pub struct Break<'valid, Object: ToIssue>(Option<&'valid mut Report<Object>>);


//^
//^ FROMRESIDUAL
//^

//> FROMRESIDUAL -> ACT
impl<'valid, Type, Object: ToIssue> FromResidual<Break<'valid, Object>> for Act<Type, Object> {
    fn from_residual(residual: Break<'valid, Object>) -> Self {return unsafe {replace(residual.0.unwrap(), Report {..}).abort()}}
}

//> FROMRESIDUAL -> ATTACHMENT
impl<'valid, Type, Object: ToIssue> FromResidual<Break<'valid, Object>> for Attachment<'valid, Type, Object> {
    fn from_residual(residual: Break<'valid, Object>) -> Self {return Attachment {
        report: residual.0,
        result: None
    }}
}


//^
//^ RESIDUAL
//^

//> RESIDUAL -> BREAK
impl<'valid, Type, Object: ToIssue> Residual<Type> for Break<'valid, Object> {
    type TryType = Attachment<'valid, Type, Object>;
}


//^
//^ TRY
//^

//> TRY -> ATTACHMENT
impl<'valid, Type, Object: ToIssue> Try for Attachment<'valid, Type, Object> {
    type Output = Type;
    type Residual = Break<'valid, Object>;
    fn from_output(output: Self::Output) -> Self {return Attachment {
        report: None,
        result: Some(output)
    }}
    fn branch(self) -> ControlFlow<Self::Residual, Self::Output> {return match self.result {
        Some(value) => ControlFlow::Continue(value),
        None => ControlFlow::Break(Break(self.report))
    }}
}