blob: df969165149f6b93771986796a3784345302f1c9 (
plain)
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
|
struct StructSingleton {
singleton;
}
struct StructWithBool {
field a: Bool;
field b: Bool;
}
struct StructWithInt8 {
field a: Int8;
field b: Int8;
}
struct StructWithInt32 {
field a: Int32;
field b: Int32;
}
struct StructWithInt64 {
field a: Int64;
field b: Int64;
}
struct StructWithString {
field a: String;
field b: String;
}
struct StructWithStruct {
field inner: StructWithInt32;
field c: Int32;
}
struct StructWithList {
field a: List[Int64];
field b: List[StructWithInt32];
}
struct StructWithOption {
field a: Option[Int64];
field b: Option[StructWithInt32];
}
enum EnumWithVariants {
variant zero;
variant one;
variant two;
}
struct StructWithEnum {
field inner: EnumWithVariants;
field c: Int32;
}
sum SumWithVariants {
variant VariantOne;
variant VariantTwo;
}
struct VariantOne {
field a: Int32;
}
struct VariantTwo {
field a: Int64;
}
sum SumWithBoxedVariants {
variant Box[VariantOne];
variant Box[VariantTwo];
}
struct StructWithSum {
field inner: SumWithVariants;
field b: Int32;
}
native Native {
}
struct StructWithNative {
field a: Native;
}
native GenericNative[A, B] {
}
struct StructWithGenericNative {
field a: GenericNative[Int32, String];
field b: GenericNative[Option[String], GenericNative[Option[String], GenericNative[String, String]]];
}
struct StructWithBox {
field inner: Box[StructWithInt32];
}
struct StructWithListOfShared {
field inner: List[Shared[StructWithInt32]];
}
struct StructWithDifferentSharedTypes {
field a: Shared[StructWithInt32];
field b: Shared[StructWithInt64];
field c: Shared[StructWithInt32];
}
struct StructWithSharedSumAndVariant {
field a: Shared[SumWithVariants];
field b: Shared[VariantOne];
}
|
