cgp-tests 0.5.0-beta

Context-generic programming meta crate
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
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
84
85
86
87
88
89
90
91
92
93

use cgp::core::error::ErrorOnly;
use cgp::extra::monad::monadic::err::ErrMonadic;
use cgp::extra::monad::monadic::ok::{OkMonadic, OkMonadicTrans};
use cgp::extra::monad::providers::PipeMonadic;
use cgp::prelude::*;
use futures::executor::block_on;

#[cgp_computer]
pub fn return_ok_ok(_value: u8) -> Result<Result<(), u8>, &'static str> {
    Ok(Ok(()))
}

#[cgp_computer]
pub fn return_ok_err(value: u8) -> Result<Result<(), u8>, &'static str> {
    Ok(Err(value))
}

#[cgp_computer]
pub fn return_err(_value: u8) -> Result<Result<(), u8>, &'static str> {
    Err("error")
}

#[test]
pub fn test_ok_err_monadic_trans() {
    let context = ErrorOnly::<&'static str>::default();
    let code = PhantomData::<()>;

    assert_eq!(
        PipeMonadic::<OkMonadicTrans<ErrMonadic>, Product![ReturnOkErr, ReturnOkErr, ReturnOkErr]>::compute(
            &context, code, 1
        ),
        Ok(Err(1)),
    );

    assert_eq!(
        PipeMonadic::<OkMonadicTrans<ErrMonadic>, Product![ReturnOkErr, ReturnOkOk, ReturnOkErr]>::compute(
            &context, code, 1
        ),
        Ok(Ok(())),
    );

    assert_eq!(
        PipeMonadic::<OkMonadicTrans<ErrMonadic>, Product![ReturnErr, ReturnOkOk, ReturnOkErr]>::compute(
            &context, code, 1
        ),
        Err("error"),
    );

    assert_eq!(
        PipeMonadic::<OkMonadic, Product![ReturnOkErr, ReturnOkErr, ReturnOkErr]>::try_compute(
            &context, code, 1
        ),
        Ok(Err(1)),
    );

    assert_eq!(
        PipeMonadic::<OkMonadic, Product![ReturnOkErr, ReturnOkOk, ReturnOkErr]>::try_compute(
            &context, code, 1
        ),
        Ok(Ok(())),
    );

    assert_eq!(
        PipeMonadic::<OkMonadic, Product![ReturnErr, ReturnOkOk, ReturnOkErr]>::try_compute(
            &context, code, 1
        ),
        Err("error"),
    );

    assert_eq!(
        block_on(PipeMonadic::<
            OkMonadic,
            Product![ReturnOkErr, ReturnOkErr, ReturnOkErr],
        >::handle(&context, code, 1)),
        Ok(Err(1)),
    );

    assert_eq!(
        block_on(PipeMonadic::<
            OkMonadic,
            Product![ReturnOkErr, ReturnOkOk, ReturnOkErr],
        >::handle(&context, code, 1)),
        Ok(Ok(())),
    );

    assert_eq!(
        block_on(PipeMonadic::<
            OkMonadic,
            Product![ReturnErr, ReturnOkOk, ReturnOkErr],
        >::handle(&context, code, 1)),
        Err("error"),
    );
}