trywarn 0.1.0

a Result like warning system, that allows warning propagation within the type system
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

//! Using `trivialize` to convert Result/Option into Warnable
use trywarn::{StdErrLogger, Trivialize, Warnable, DefaultWarning};

fn may_fail(i: i32) -> Result<i32, DefaultWarning> {
    if i % 2 == 0 {
        Ok(i)
    } else {
        Err(DefaultWarning::from("odd number"))
    }
}

fn main() {
    let logger = StdErrLogger;

    // Trivialize a Result
    let w: Warnable<(), DefaultWarning, _> = may_fail(3).trivialize(logger);

    println!("Trivialized Result has warnings? {}", !w.warnings().is_empty());

    // Trivialize an Option
    let none_option: Option<i32> = None;
    let w2 = none_option.trivialize(logger);

    println!("Trivialized Option has warnings? {}", !w2.warnings().is_empty());
}