Option

#entry main
#indent 4
#target std

#import "core/option" as *
#import "core/result" as *
#import "std/test" as *

fn point_or_zero %fn Option i32 i32 \value:
    match value:
        Option::Some n:
            n
        Option::None:
            0

fn main %impure fn void i32 \void:
    let a %Option i32 some 42
    let b %Option i32 none
    let one %Option i32 some 1
    let missing %Option i32 none
    let checks:
        checks_new
        |> checks_push assert_eq_i32 42 point_or_zero a
        |> checks_push assert_eq_i32 0 point_or_zero b
        |> checks_push assert is_some one
        |> checks_push assert is_none missing
    let shown checks_print_report checks
    checks_exit_code shown