interoptopus_csharp 0.16.3

The C# backend for Interoptopus.
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

using System;
using My.Company;
using My.Company.Common;
using Xunit;
using Interop = My.Company.Interop;

public class TestPatternResult
{
    [Fact]
    public void pattern_result_1()
    {
        var x = new ResultUintError();
        Interop.pattern_result_1(x).AsOk();
    }

    [Fact]
    public void pattern_result_2()
    {
        var result = Interop.pattern_result_2();
        Assert.True(result.IsOk);
    }

    [Fact]
    public void pattern_result_3()
    {
        Assert.True(Interop.pattern_result_3(ResultVoidError.Ok).IsOk);
        Assert.Equal(ResultVoidError.Ok, Interop.pattern_result_3(ResultVoidError.Ok));
        Assert.Equal(ResultVoidError.Null, Interop.pattern_result_3(ResultVoidError.Null));
    }

    [Fact]
    public void pattern_result_4()
    {
        Assert.True(Interop.pattern_result_4(ResultVoidVoid.Ok).IsOk);
    }

    [Fact]
    public void pattern_string_5()
    {
        var w = new UseString { s1 = "hello".Utf8(), s2 = "world".Utf8() };
        var result = Interop.pattern_string_5(w);
        var ok = result.AsOk();
        Assert.Equal("hello", ok.s1.String);
        Assert.Equal("world", ok.s2.String);
    }

    [Fact]
    public void pattern_result_interface()
    {
        var result = Interop.pattern_result_2();
        IResult<Unit, Error> resultInterface = result;
        Assert.True(resultInterface.IsOk);
        Assert.False(resultInterface.IsErr);
        Assert.False(resultInterface.IsPanic);
        Assert.False(resultInterface.IsNull);

        resultInterface.AsOk();
        Assert.Throws<EnumException>(() => resultInterface.AsErr());
    }

    [Fact]
    public void pattern_result_custom_matches()
    {
        var resultVoidVoid = ResultVoidVoid.Ok;
        var resultVoidError = Interop.pattern_result_2();
        var resultUIntError = ResultUintError.Ok(42);

        var match1 = my_match(resultVoidVoid, v => v.ToString(), e => e.ToString());
        var match2 = my_match(resultVoidError, v => v.ToString(), e => e.ToString());
        var match3 = my_match(resultUIntError, v => v.ToString(), e => e.ToString());

        Assert.Equal("()", match1);
        Assert.Equal("()", match2);
        Assert.Equal("42", match3);
    }

    private static TResult my_match<T, TErr, TResult>(
        IResult<T, TErr> res,
        Func<T, TResult> okMatcher,
        Func<TErr, TResult> errMatcher
    )
    {
        if (res.IsOk)
            return okMatcher(res.AsOk());
        if (res.IsErr)
            return errMatcher(res.AsErr());
        throw res.ExceptionForVariant();
    }
}