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
|
enum Foo(Zero, One(x:Int), Two(x:Int, y:Int), Three(x:Int, y:Text, z:Bool), Four(x,y,z,w:Int), Last(t:Text))
func choose_text(f:Foo->Text)
>> f
when f is Zero
return "Zero"
is One(one)
return "One: $one"
is Two(x, y)
return "Two: x=$x, y=$y"
is Three(three)
return "Three: $three"
is Four
return "Four"
else
return "else: $f"
func enum_arg_function(thing:enum(Zero, One(x:Int), Two(x,y:Int)))
>> thing
func enum_return_function(i:Int -> enum(Zero, One, Many))
if i == 0
return Zero
else if i == 1
return One
else
return Many
struct EnumFields(x:enum(A, B, C))
func main()
assert Foo.Zero == Foo.Zero
assert Foo.One(123) == Foo.One(123)
assert Foo.Two(123, 456) == Foo.Two(x=123, y=456)
>> one := Foo.One(123)
assert one.One == yes
assert one.Two == no
assert Foo.One(10) == Foo.One(10)
assert Foo.One(10) == Foo.Zero == no
assert Foo.One(10) == Foo.One(-1) == no
assert Foo.One(10) < Foo.Two(1, 2)
>> x := Foo.One(123)
>> t := {x: yes}
assert t.has(x) == yes
assert t.has(Foo.Zero) == no
assert choose_text(Foo.Zero) == "Zero"
assert choose_text(Foo.One(123)) == "One: 123"
assert choose_text(Foo.Two(123, 456)) == "Two: x=123, y=456"
assert choose_text(Foo.Three(123, "hi", yes)) == 'Three: Three(x=123, y="hi", z=yes)'
assert choose_text(Foo.Four(1,2,3,4)) == "Four"
assert choose_text(Foo.Last("XX")) == 'else: Last("XX")'
i := 1
cases := [Foo.One(1), Foo.One(2), Foo.Zero]
repeat when cases[i]! is One(x)
>> x
i += 1
else stop
assert [
(
when x is One(y), Two(y,_)
"Small $y"
is Zero
"Zero"
else
"Other"
) for x in [Foo.Zero, Foo.One(1), Foo.Two(2,2), Foo.Three(3,"",no)]
] == ["Zero", "Small 1", "Small 2", "Other"]
expr := when cases[1]! is One(y)
y + 1
else
-1
assert expr == 2
>> enum_arg_function(Zero)
>> enum_arg_function(Two(2,3))
do
e : enum(One, Two) = One
>> e
>> e = Two
>> when e is One
say("one")
is Two
say("two")
assert enum_return_function(0) == Zero
assert enum_return_function(1) == One
assert enum_return_function(2) == Many
assert EnumFields(A) == EnumFields(x=A)
|
