4
4
// To update this file, just rebuild your project or run
5
5
// `swift package bridge-js`.
6
6
7
- export const APIResult : {
7
+ export const APIResultValues : {
8
8
readonly Tag : {
9
9
readonly Success : 0 ;
10
10
readonly Failure : 1 ;
@@ -15,10 +15,10 @@ export const APIResult: {
15
15
} ;
16
16
} ;
17
17
18
- export type APIResult =
19
- { tag : typeof APIResult . Tag . Success ; param0 : string } | { tag : typeof APIResult . Tag . Failure ; param0 : number } | { tag : typeof APIResult . Tag . Flag ; param0 : boolean } | { tag : typeof APIResult . Tag . Rate ; param0 : number } | { tag : typeof APIResult . Tag . Precise ; param0 : number } | { tag : typeof APIResult . Tag . Info }
18
+ export type APIResultTag =
19
+ { tag : typeof APIResultValues . Tag . Success ; param0 : string } | { tag : typeof APIResultValues . Tag . Failure ; param0 : number } | { tag : typeof APIResultValues . Tag . Flag ; param0 : boolean } | { tag : typeof APIResultValues . Tag . Rate ; param0 : number } | { tag : typeof APIResultValues . Tag . Precise ; param0 : number } | { tag : typeof APIResultValues . Tag . Info }
20
20
21
- export const ComplexResult : {
21
+ export const ComplexResultValues : {
22
22
readonly Tag : {
23
23
readonly Success : 0 ;
24
24
readonly Error : 1 ;
@@ -29,58 +29,73 @@ export const ComplexResult: {
29
29
} ;
30
30
} ;
31
31
32
- export type ComplexResult =
33
- { tag : typeof ComplexResult . Tag . Success ; param0 : string } | { tag : typeof ComplexResult . Tag . Error ; param0 : string ; param1 : number } | { tag : typeof ComplexResult . Tag . Status ; param0 : boolean ; param1 : number ; param2 : string } | { tag : typeof ComplexResult . Tag . Coordinates ; param0 : number ; param1 : number ; param2 : number } | { tag : typeof ComplexResult . Tag . Comprehensive ; param0 : boolean ; param1 : boolean ; param2 : number ; param3 : number ; param4 : number ; param5 : number ; param6 : string ; param7 : string ; param8 : string } | { tag : typeof ComplexResult . Tag . Info }
32
+ export type ComplexResultTag =
33
+ { tag : typeof ComplexResultValues . Tag . Success ; param0 : string } | { tag : typeof ComplexResultValues . Tag . Error ; param0 : string ; param1 : number } | { tag : typeof ComplexResultValues . Tag . Status ; param0 : boolean ; param1 : number ; param2 : string } | { tag : typeof ComplexResultValues . Tag . Coordinates ; param0 : number ; param1 : number ; param2 : number } | { tag : typeof ComplexResultValues . Tag . Comprehensive ; param0 : boolean ; param1 : boolean ; param2 : number ; param3 : number ; param4 : number ; param5 : number ; param6 : string ; param7 : string ; param8 : string } | { tag : typeof ComplexResultValues . Tag . Info }
34
34
35
- export const APIOptionalResult : {
35
+ export const APIOptionalResultValues : {
36
36
readonly Tag : {
37
37
readonly Success : 0 ;
38
38
readonly Failure : 1 ;
39
39
readonly Status : 2 ;
40
40
} ;
41
41
} ;
42
42
43
- export type APIOptionalResult =
44
- { tag : typeof APIOptionalResult . Tag . Success ; param0 : string | null } | { tag : typeof APIOptionalResult . Tag . Failure ; param0 : number | null ; param1 : boolean | null } | { tag : typeof APIOptionalResult . Tag . Status ; param0 : boolean | null ; param1 : number | null ; param2 : string | null }
43
+ export type APIOptionalResultTag =
44
+ { tag : typeof APIOptionalResultValues . Tag . Success ; param0 : string | null } | { tag : typeof APIOptionalResultValues . Tag . Failure ; param0 : number | null ; param1 : boolean | null } | { tag : typeof APIOptionalResultValues . Tag . Status ; param0 : boolean | null ; param1 : number | null ; param2 : string | null }
45
+
46
+ export type APIResultObject = typeof APIResultValues ;
47
+
48
+ export type ComplexResultObject = typeof ComplexResultValues ;
49
+
50
+ export type ResultObject = typeof ResultValues ;
51
+
52
+ export type NetworkingResultObject = typeof NetworkingResultValues ;
53
+
54
+ export type APIOptionalResultObject = typeof APIOptionalResultValues ;
45
55
46
56
export { } ;
47
57
48
58
declare global {
49
59
namespace API {
50
- const NetworkingResult : {
60
+ const NetworkingResultValues : {
51
61
readonly Tag : {
52
62
readonly Success : 0 ;
53
63
readonly Failure : 1 ;
54
64
} ;
55
65
} ;
56
- type NetworkingResult =
57
- { tag : typeof NetworkingResult . Tag . Success ; param0 : string } | { tag : typeof NetworkingResult . Tag . Failure ; param0 : string ; param1 : number }
66
+ type NetworkingResultTag =
67
+ { tag : typeof NetworkingResultValues . Tag . Success ; param0 : string } | { tag : typeof NetworkingResultValues . Tag . Failure ; param0 : string ; param1 : number }
58
68
}
59
69
namespace Utilities {
60
- const Result : {
70
+ const ResultValues : {
61
71
readonly Tag : {
62
72
readonly Success : 0 ;
63
73
readonly Failure : 1 ;
64
74
readonly Status : 2 ;
65
75
} ;
66
76
} ;
67
- type Result =
68
- { tag : typeof Result . Tag . Success ; param0 : string } | { tag : typeof Result . Tag . Failure ; param0 : string ; param1 : number } | { tag : typeof Result . Tag . Status ; param0 : boolean ; param1 : number ; param2 : string }
77
+ type ResultTag =
78
+ { tag : typeof ResultValues . Tag . Success ; param0 : string } | { tag : typeof ResultValues . Tag . Failure ; param0 : string ; param1 : number } | { tag : typeof ResultValues . Tag . Status ; param0 : boolean ; param1 : number ; param2 : string }
69
79
}
70
80
}
71
81
72
82
export type Exports = {
73
- handle ( result : APIResult ) : void ;
74
- getResult ( ) : APIResult ;
75
- roundtripAPIResult ( result : APIResult ) : APIResult ;
76
- roundTripOptionalAPIResult ( result : APIResult | null ) : APIResult | null ;
77
- handleComplex ( result : ComplexResult ) : void ;
78
- getComplexResult ( ) : ComplexResult ;
79
- roundtripComplexResult ( result : ComplexResult ) : ComplexResult ;
80
- roundTripOptionalComplexResult ( result : ComplexResult | null ) : ComplexResult | null ;
81
- roundTripOptionalUtilitiesResult ( result : Utilities . Result | null ) : Utilities . Result | null ;
82
- roundTripOptionalNetworkingResult ( result : NetworkingResult | null ) : NetworkingResult | null ;
83
- roundTripOptionalAPIOptionalResult ( result : APIOptionalResult | null ) : APIOptionalResult | null ;
83
+ handle ( result : APIResultTag ) : void ;
84
+ getResult ( ) : APIResultTag ;
85
+ roundtripAPIResult ( result : APIResultTag ) : APIResultTag ;
86
+ roundTripOptionalAPIResult ( result : APIResultTag | null ) : APIResultTag | null ;
87
+ handleComplex ( result : ComplexResultTag ) : void ;
88
+ getComplexResult ( ) : ComplexResultTag ;
89
+ roundtripComplexResult ( result : ComplexResultTag ) : ComplexResultTag ;
90
+ roundTripOptionalComplexResult ( result : ComplexResultTag | null ) : ComplexResultTag | null ;
91
+ roundTripOptionalUtilitiesResult ( result : Utilities . ResultTag | null ) : Utilities . ResultTag | null ;
92
+ roundTripOptionalNetworkingResult ( result : NetworkingResultTag | null ) : NetworkingResultTag | null ;
93
+ roundTripOptionalAPIOptionalResult ( result : APIOptionalResultTag | null ) : APIOptionalResultTag | null ;
94
+ APIResult : APIResultObject
95
+ ComplexResult : ComplexResultObject
96
+ Result : ResultObject
97
+ NetworkingResult : NetworkingResultObject
98
+ APIOptionalResult : APIOptionalResultObject
84
99
}
85
100
export type Imports = {
86
101
}
0 commit comments