errlanes 0.19.8

Four error lanes (Rejected/Denied/Transient/Fatal) carried in the type, not re-derived at every layer
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

//! Type-level lane edits: `WithDenied<RepoFault>`.
//!
//! The aliases here take a lane profile (`lanes!(..)`), a [`Fault`],
//! or a [`Fail`], and enable or disable one lane on it.
//!
//! ```
//! use errlanes::{Fault, WithDenied, lanes};
//!
//! type MyFault = Fault<lanes!(Transient, Fatal)>;
//!
//! fn gate() -> Result<(), WithDenied<MyFault>> {
//!     Err(Fault::Denied(errlanes::Denied::new()))
//! }
//!
//! let _: Result<(), Fault<lanes!(Denied, Transient, Fatal)>> = gate();
//! ```
use crate::{Fail, Fault, LaneProfile};

/// One lane edit per associated type; see the module docs. Implemented for
/// profiles, [`Fault`] and [`Fail`].
pub trait Reshape {
    type WithDenied;
    type WithoutDenied;
    type WithTransient;
    type WithoutTransient;
    type WithFatal;
}

impl<L: LaneProfile> Reshape for Fault<L> {
    type WithDenied = Fault<L::WithDenied>;
    type WithoutDenied = Fault<L::WithoutDenied>;
    type WithTransient = Fault<L::WithTransient>;
    type WithoutTransient = Fault<L::WithoutTransient>;
    type WithFatal = Fault<L::WithFatal>;
}

impl<D, L: LaneProfile> Reshape for Fail<D, L> {
    type WithDenied = Fail<D, L::WithDenied>;
    type WithoutDenied = Fail<D, L::WithoutDenied>;
    type WithTransient = Fail<D, L::WithTransient>;
    type WithoutTransient = Fail<D, L::WithoutTransient>;
    type WithFatal = Fail<D, L::WithFatal>;
}

/// `E` with the denied lane enabled.
pub type WithDenied<E> = <E as Reshape>::WithDenied;
/// `E` with the denied lane disabled (what `narrow_denied` returns).
pub type WithoutDenied<E> = <E as Reshape>::WithoutDenied;
/// `E` with the transient lane enabled.
pub type WithTransient<E> = <E as Reshape>::WithTransient;
/// `E` with the transient lane disabled (what `narrow_transient` returns).
pub type WithoutTransient<E> = <E as Reshape>::WithoutTransient;
/// `E` with the fatal lane enabled.
pub type WithFatal<E> = <E as Reshape>::WithFatal;