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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
-module(order).
-include_lib("eunit/include/eunit.hrl").
-export([reverse/1, to_int/1, compare/2, max/2, min/2]).
reverse(Order) ->
case Order of
lt ->
gt;
eq ->
eq;
gt ->
lt
end.
-ifdef(TEST).
reverse_test() ->
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(reverse(lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(reverse(eq)),
fun(Capture1) -> expect:equal(Capture1, lt) end(reverse(gt)).
-endif.
to_int(Order) ->
case Order of
lt ->
-1;
eq ->
0;
gt ->
1
end.
-ifdef(TEST).
to_int_test() ->
_ = fun(Capture1) -> expect:equal(Capture1, -1) end(to_int(lt)),
_ = fun(Capture1) -> expect:equal(Capture1, 0) end(to_int(eq)),
fun(Capture1) -> expect:equal(Capture1, 1) end(to_int(gt)).
-endif.
compare(A, B) ->
case {A, B} of
{lt, lt} ->
eq;
{lt, _} ->
lt;
{eq, eq} ->
eq;
{gt, gt} ->
eq;
{eq, gt} ->
lt;
_ ->
gt
end.
-ifdef(TEST).
compare_test() ->
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(compare(lt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(compare(lt, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(compare(lt, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(compare(eq, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(compare(eq, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(compare(eq, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(compare(gt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(compare(gt, eq)),
fun(Capture1) -> expect:equal(Capture1, eq) end(compare(gt, gt)).
-endif.
max(A, B) ->
case {A, B} of
{gt, _} ->
gt;
{eq, lt} ->
eq;
_ ->
B
end.
-ifdef(TEST).
max_test() ->
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(max(lt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(max(lt, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(max(lt, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(max(eq, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(max(eq, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(max(eq, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(max(gt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, gt) end(max(gt, eq)),
fun(Capture1) -> expect:equal(Capture1, gt) end(max(gt, gt)).
-endif.
min(A, B) ->
case {A, B} of
{lt, _} ->
lt;
{eq, gt} ->
eq;
_ ->
B
end.
-ifdef(TEST).
min_test() ->
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(min(lt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(min(lt, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(min(lt, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(min(eq, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(min(eq, eq)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(min(eq, gt)),
_ = fun(Capture1) -> expect:equal(Capture1, lt) end(min(gt, lt)),
_ = fun(Capture1) -> expect:equal(Capture1, eq) end(min(gt, eq)),
fun(Capture1) -> expect:equal(Capture1, gt) end(min(gt, gt)).
-endif.
|
