firefly-compiler 0.4.5 → 0.4.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.hintrc +4 -4
- package/README.md +1 -1
- package/core/HttpClient.ff +1 -1
- package/lsp/LanguageServer.ff +32 -7
- package/lsp/stderr.txt +1 -0
- package/lsp/stdin.txt +11 -0
- package/lsp/stdout.txt +41 -0
- package/lux/Main.ff +56 -2
- package/meetup/AutoCompletion.ff +6 -0
- package/output/js/ff/compiler/Builder.mjs +444 -444
- package/output/js/ff/compiler/Compiler.mjs +416 -416
- package/output/js/ff/compiler/Dependencies.mjs +389 -389
- package/output/js/ff/compiler/Deriver.mjs +1170 -1170
- package/output/js/ff/compiler/Dictionaries.mjs +1309 -1309
- package/output/js/ff/compiler/Environment.mjs +1015 -1015
- package/output/js/ff/compiler/Inference.mjs +4268 -4268
- package/output/js/ff/compiler/JsEmitter.mjs +5391 -5391
- package/output/js/ff/compiler/JsImporter.mjs +266 -266
- package/output/js/ff/compiler/LspHook.mjs +793 -793
- package/output/js/ff/compiler/Main.mjs +1675 -1675
- package/output/js/ff/compiler/Parser.mjs +4008 -4008
- package/output/js/ff/compiler/Patterns.mjs +927 -927
- package/output/js/ff/compiler/Resolver.mjs +2307 -2307
- package/output/js/ff/compiler/Substitution.mjs +1150 -1150
- package/output/js/ff/compiler/Syntax.mjs +12434 -12434
- package/output/js/ff/compiler/Token.mjs +3096 -3096
- package/output/js/ff/compiler/Tokenizer.mjs +593 -593
- package/output/js/ff/compiler/Unification.mjs +1752 -1752
- package/output/js/ff/compiler/Wildcards.mjs +608 -608
- package/output/js/ff/compiler/Workspace.mjs +687 -687
- package/output/js/ff/core/Any.mjs +143 -143
- package/output/js/ff/core/Array.mjs +547 -547
- package/output/js/ff/core/AssetSystem.mjs +274 -274
- package/output/js/ff/core/Atomic.mjs +154 -154
- package/output/js/ff/core/Bool.mjs +152 -152
- package/output/js/ff/core/Box.mjs +112 -112
- package/output/js/ff/core/BrowserSystem.mjs +126 -126
- package/output/js/ff/core/Buffer.mjs +395 -395
- package/output/js/ff/core/BuildSystem.mjs +296 -296
- package/output/js/ff/core/Channel.mjs +189 -189
- package/output/js/ff/core/Char.mjs +149 -149
- package/output/js/ff/core/Core.mjs +300 -300
- package/output/js/ff/core/Duration.mjs +116 -116
- package/output/js/ff/core/Equal.mjs +179 -179
- package/output/js/ff/core/Error.mjs +142 -142
- package/output/js/ff/core/FileHandle.mjs +150 -150
- package/output/js/ff/core/Float.mjs +225 -225
- package/output/js/ff/core/HttpClient.mjs +190 -190
- package/output/js/ff/core/Instant.mjs +109 -109
- package/output/js/ff/core/Int.mjs +265 -265
- package/output/js/ff/core/IntMap.mjs +280 -280
- package/output/js/ff/core/JsSystem.mjs +238 -238
- package/output/js/ff/core/JsValue.mjs +708 -708
- package/output/js/ff/core/List.mjs +2334 -2334
- package/output/js/ff/core/Lock.mjs +229 -229
- package/output/js/ff/core/Log.mjs +163 -163
- package/output/js/ff/core/Map.mjs +362 -362
- package/output/js/ff/core/NodeSystem.mjs +294 -294
- package/output/js/ff/core/Nothing.mjs +104 -104
- package/output/js/ff/core/Option.mjs +1015 -1015
- package/output/js/ff/core/Ordering.mjs +730 -730
- package/output/js/ff/core/Pair.mjs +331 -331
- package/output/js/ff/core/Path.mjs +545 -545
- package/output/js/ff/core/RbMap.mjs +1940 -1940
- package/output/js/ff/core/Serializable.mjs +428 -428
- package/output/js/ff/core/Set.mjs +254 -254
- package/output/js/ff/core/Show.mjs +205 -205
- package/output/js/ff/core/SourceLocation.mjs +229 -229
- package/output/js/ff/core/Stack.mjs +529 -529
- package/output/js/ff/core/Stream.mjs +1304 -1304
- package/output/js/ff/core/String.mjs +365 -365
- package/output/js/ff/core/StringMap.mjs +280 -280
- package/output/js/ff/core/Task.mjs +320 -320
- package/output/js/ff/core/Try.mjs +507 -507
- package/output/js/ff/core/Unit.mjs +151 -151
- package/package.json +29 -29
- package/vscode/package-lock.json +5 -5
- package/vscode/package.json +1 -1
|
@@ -1,200 +1,200 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
import * as ff_core_Any from "../../ff/core/Any.mjs"
|
|
4
|
-
|
|
5
|
-
import * as ff_core_Array from "../../ff/core/Array.mjs"
|
|
6
|
-
|
|
7
|
-
import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
|
|
8
|
-
|
|
9
|
-
import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
|
|
10
|
-
|
|
11
|
-
import * as ff_core_Bool from "../../ff/core/Bool.mjs"
|
|
12
|
-
|
|
13
|
-
import * as ff_core_Box from "../../ff/core/Box.mjs"
|
|
14
|
-
|
|
15
|
-
import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
|
|
16
|
-
|
|
17
|
-
import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
|
|
18
|
-
|
|
19
|
-
import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
|
|
20
|
-
|
|
21
|
-
import * as ff_core_Channel from "../../ff/core/Channel.mjs"
|
|
22
|
-
|
|
23
|
-
import * as ff_core_Char from "../../ff/core/Char.mjs"
|
|
24
|
-
|
|
25
|
-
import * as ff_core_Core from "../../ff/core/Core.mjs"
|
|
26
|
-
|
|
27
|
-
import * as ff_core_Duration from "../../ff/core/Duration.mjs"
|
|
28
|
-
|
|
29
|
-
import * as ff_core_Equal from "../../ff/core/Equal.mjs"
|
|
30
|
-
|
|
31
|
-
import * as ff_core_Error from "../../ff/core/Error.mjs"
|
|
32
|
-
|
|
33
|
-
import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
|
|
34
|
-
|
|
35
|
-
import * as ff_core_Float from "../../ff/core/Float.mjs"
|
|
36
|
-
|
|
37
|
-
import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
|
|
38
|
-
|
|
39
|
-
import * as ff_core_Instant from "../../ff/core/Instant.mjs"
|
|
40
|
-
|
|
41
|
-
import * as ff_core_Int from "../../ff/core/Int.mjs"
|
|
42
|
-
|
|
43
|
-
import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
|
|
44
|
-
|
|
45
|
-
import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
|
|
46
|
-
|
|
47
|
-
import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
|
|
48
|
-
|
|
49
|
-
import * as ff_core_List from "../../ff/core/List.mjs"
|
|
50
|
-
|
|
51
|
-
import * as ff_core_Lock from "../../ff/core/Lock.mjs"
|
|
52
|
-
|
|
53
|
-
import * as ff_core_Log from "../../ff/core/Log.mjs"
|
|
54
|
-
|
|
55
|
-
import * as ff_core_Map from "../../ff/core/Map.mjs"
|
|
56
|
-
|
|
57
|
-
import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
|
|
58
|
-
|
|
59
|
-
import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
|
|
60
|
-
|
|
61
|
-
import * as ff_core_Option from "../../ff/core/Option.mjs"
|
|
62
|
-
|
|
63
|
-
import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
|
|
64
|
-
|
|
65
|
-
import * as ff_core_Pair from "../../ff/core/Pair.mjs"
|
|
66
|
-
|
|
67
|
-
import * as ff_core_Path from "../../ff/core/Path.mjs"
|
|
68
|
-
|
|
69
|
-
import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
|
|
70
|
-
|
|
71
|
-
import * as ff_core_Set from "../../ff/core/Set.mjs"
|
|
72
|
-
|
|
73
|
-
import * as ff_core_Show from "../../ff/core/Show.mjs"
|
|
74
|
-
|
|
75
|
-
import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
|
|
76
|
-
|
|
77
|
-
import * as ff_core_Stack from "../../ff/core/Stack.mjs"
|
|
78
|
-
|
|
79
|
-
import * as ff_core_Stream from "../../ff/core/Stream.mjs"
|
|
80
|
-
|
|
81
|
-
import * as ff_core_String from "../../ff/core/String.mjs"
|
|
82
|
-
|
|
83
|
-
import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
|
|
84
|
-
|
|
85
|
-
import * as ff_core_Task from "../../ff/core/Task.mjs"
|
|
86
|
-
|
|
87
|
-
import * as ff_core_Try from "../../ff/core/Try.mjs"
|
|
88
|
-
|
|
89
|
-
import * as ff_core_Unit from "../../ff/core/Unit.mjs"
|
|
90
|
-
|
|
91
|
-
// type Array
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
export function empty_() {
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
import * as ff_core_Any from "../../ff/core/Any.mjs"
|
|
4
|
+
|
|
5
|
+
import * as ff_core_Array from "../../ff/core/Array.mjs"
|
|
6
|
+
|
|
7
|
+
import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
|
|
8
|
+
|
|
9
|
+
import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
|
|
10
|
+
|
|
11
|
+
import * as ff_core_Bool from "../../ff/core/Bool.mjs"
|
|
12
|
+
|
|
13
|
+
import * as ff_core_Box from "../../ff/core/Box.mjs"
|
|
14
|
+
|
|
15
|
+
import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
|
|
16
|
+
|
|
17
|
+
import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
|
|
18
|
+
|
|
19
|
+
import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
|
|
20
|
+
|
|
21
|
+
import * as ff_core_Channel from "../../ff/core/Channel.mjs"
|
|
22
|
+
|
|
23
|
+
import * as ff_core_Char from "../../ff/core/Char.mjs"
|
|
24
|
+
|
|
25
|
+
import * as ff_core_Core from "../../ff/core/Core.mjs"
|
|
26
|
+
|
|
27
|
+
import * as ff_core_Duration from "../../ff/core/Duration.mjs"
|
|
28
|
+
|
|
29
|
+
import * as ff_core_Equal from "../../ff/core/Equal.mjs"
|
|
30
|
+
|
|
31
|
+
import * as ff_core_Error from "../../ff/core/Error.mjs"
|
|
32
|
+
|
|
33
|
+
import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
|
|
34
|
+
|
|
35
|
+
import * as ff_core_Float from "../../ff/core/Float.mjs"
|
|
36
|
+
|
|
37
|
+
import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
|
|
38
|
+
|
|
39
|
+
import * as ff_core_Instant from "../../ff/core/Instant.mjs"
|
|
40
|
+
|
|
41
|
+
import * as ff_core_Int from "../../ff/core/Int.mjs"
|
|
42
|
+
|
|
43
|
+
import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
|
|
44
|
+
|
|
45
|
+
import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
|
|
46
|
+
|
|
47
|
+
import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
|
|
48
|
+
|
|
49
|
+
import * as ff_core_List from "../../ff/core/List.mjs"
|
|
50
|
+
|
|
51
|
+
import * as ff_core_Lock from "../../ff/core/Lock.mjs"
|
|
52
|
+
|
|
53
|
+
import * as ff_core_Log from "../../ff/core/Log.mjs"
|
|
54
|
+
|
|
55
|
+
import * as ff_core_Map from "../../ff/core/Map.mjs"
|
|
56
|
+
|
|
57
|
+
import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
|
|
58
|
+
|
|
59
|
+
import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
|
|
60
|
+
|
|
61
|
+
import * as ff_core_Option from "../../ff/core/Option.mjs"
|
|
62
|
+
|
|
63
|
+
import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
|
|
64
|
+
|
|
65
|
+
import * as ff_core_Pair from "../../ff/core/Pair.mjs"
|
|
66
|
+
|
|
67
|
+
import * as ff_core_Path from "../../ff/core/Path.mjs"
|
|
68
|
+
|
|
69
|
+
import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
|
|
70
|
+
|
|
71
|
+
import * as ff_core_Set from "../../ff/core/Set.mjs"
|
|
72
|
+
|
|
73
|
+
import * as ff_core_Show from "../../ff/core/Show.mjs"
|
|
74
|
+
|
|
75
|
+
import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
|
|
76
|
+
|
|
77
|
+
import * as ff_core_Stack from "../../ff/core/Stack.mjs"
|
|
78
|
+
|
|
79
|
+
import * as ff_core_Stream from "../../ff/core/Stream.mjs"
|
|
80
|
+
|
|
81
|
+
import * as ff_core_String from "../../ff/core/String.mjs"
|
|
82
|
+
|
|
83
|
+
import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
|
|
84
|
+
|
|
85
|
+
import * as ff_core_Task from "../../ff/core/Task.mjs"
|
|
86
|
+
|
|
87
|
+
import * as ff_core_Try from "../../ff/core/Try.mjs"
|
|
88
|
+
|
|
89
|
+
import * as ff_core_Unit from "../../ff/core/Unit.mjs"
|
|
90
|
+
|
|
91
|
+
// type Array
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
export function empty_() {
|
|
97
97
|
|
|
98
98
|
return [];
|
|
99
|
-
|
|
100
|
-
}
|
|
101
|
-
|
|
102
|
-
export function fill_(size_, value_) {
|
|
99
|
+
|
|
100
|
+
}
|
|
101
|
+
|
|
102
|
+
export function fill_(size_, value_) {
|
|
103
103
|
|
|
104
104
|
return new Array(size_).fill(value_);
|
|
105
|
-
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
export function fillBy_(size_, body_) {
|
|
105
|
+
|
|
106
|
+
}
|
|
107
|
+
|
|
108
|
+
export function fillBy_(size_, body_) {
|
|
109
109
|
|
|
110
110
|
return Array.from({length: size_}, (_, i) => body_(i));
|
|
111
|
-
|
|
112
|
-
}
|
|
113
|
-
|
|
114
|
-
export function range_(size_) {
|
|
111
|
+
|
|
112
|
+
}
|
|
113
|
+
|
|
114
|
+
export function range_(size_) {
|
|
115
115
|
|
|
116
116
|
return Array.from({length: size_}, (_, i) => i);
|
|
117
|
-
|
|
118
|
-
}
|
|
119
|
-
|
|
120
|
-
export function internalSame_(left_, right_) {
|
|
121
|
-
return left_ === right_
|
|
122
|
-
}
|
|
123
|
-
|
|
124
|
-
export async function empty_$($task) {
|
|
125
|
-
throw new Error('Function empty is missing on this target in async context.');
|
|
126
|
-
}
|
|
127
|
-
|
|
128
|
-
export async function fill_$(size_, value_, $task) {
|
|
129
|
-
throw new Error('Function fill is missing on this target in async context.');
|
|
130
|
-
}
|
|
131
|
-
|
|
132
|
-
export async function fillBy_$(size_, body_, $task) {
|
|
133
|
-
throw new Error('Function fillBy is missing on this target in async context.');
|
|
134
|
-
}
|
|
135
|
-
|
|
136
|
-
export async function range_$(size_, $task) {
|
|
137
|
-
throw new Error('Function range is missing on this target in async context.');
|
|
138
|
-
}
|
|
139
|
-
|
|
140
|
-
export async function internalSame_$(left_, right_, $task) {
|
|
141
|
-
throw new Error('Function internalSame is missing on this target in async context.');
|
|
142
|
-
}
|
|
143
|
-
|
|
144
|
-
export function Array_addAll(self_, that_) {
|
|
145
|
-
return self_.concat(that_)
|
|
146
|
-
}
|
|
147
|
-
|
|
148
|
-
export function Array_isEmpty(self_) {
|
|
149
|
-
return self_.length === 0
|
|
150
|
-
}
|
|
151
|
-
|
|
152
|
-
export function Array_size(self_) {
|
|
153
|
-
return self_.length
|
|
154
|
-
}
|
|
155
|
-
|
|
156
|
-
export function Array_get(self_, index_) {
|
|
117
|
+
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
export function internalSame_(left_, right_) {
|
|
121
|
+
return left_ === right_
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
export async function empty_$($task) {
|
|
125
|
+
throw new Error('Function empty is missing on this target in async context.');
|
|
126
|
+
}
|
|
127
|
+
|
|
128
|
+
export async function fill_$(size_, value_, $task) {
|
|
129
|
+
throw new Error('Function fill is missing on this target in async context.');
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
export async function fillBy_$(size_, body_, $task) {
|
|
133
|
+
throw new Error('Function fillBy is missing on this target in async context.');
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
export async function range_$(size_, $task) {
|
|
137
|
+
throw new Error('Function range is missing on this target in async context.');
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
export async function internalSame_$(left_, right_, $task) {
|
|
141
|
+
throw new Error('Function internalSame is missing on this target in async context.');
|
|
142
|
+
}
|
|
143
|
+
|
|
144
|
+
export function Array_addAll(self_, that_) {
|
|
145
|
+
return self_.concat(that_)
|
|
146
|
+
}
|
|
147
|
+
|
|
148
|
+
export function Array_isEmpty(self_) {
|
|
149
|
+
return self_.length === 0
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
export function Array_size(self_) {
|
|
153
|
+
return self_.length
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
export function Array_get(self_, index_) {
|
|
157
157
|
|
|
158
158
|
return index_ >= 0 && index_ < self_.length
|
|
159
159
|
? ff_core_Option.Some(self_[index_])
|
|
160
160
|
: ff_core_Option.None()
|
|
161
|
-
|
|
162
|
-
}
|
|
163
|
-
|
|
164
|
-
export function Array_grab(self_, index_) {
|
|
161
|
+
|
|
162
|
+
}
|
|
163
|
+
|
|
164
|
+
export function Array_grab(self_, index_) {
|
|
165
165
|
|
|
166
166
|
if(index_ < 0 || index_ >= self_.length) {
|
|
167
167
|
ff_core_Try.internalThrowGrabException_()
|
|
168
168
|
}
|
|
169
169
|
return self_[index_]
|
|
170
|
-
|
|
171
|
-
}
|
|
172
|
-
|
|
173
|
-
export function Array_first(self_) {
|
|
174
|
-
return ff_core_Array.Array_get(self_, 0)
|
|
175
|
-
}
|
|
176
|
-
|
|
177
|
-
export function Array_last(self_) {
|
|
178
|
-
return ff_core_Array.Array_get(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
179
|
-
}
|
|
180
|
-
|
|
181
|
-
export function Array_grabFirst(self_) {
|
|
182
|
-
return ff_core_Array.Array_grab(self_, 0)
|
|
183
|
-
}
|
|
184
|
-
|
|
185
|
-
export function Array_grabLast(self_) {
|
|
186
|
-
return ff_core_Array.Array_grab(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
187
|
-
}
|
|
188
|
-
|
|
189
|
-
export function Array_dropFirst(self_, count_ = 1) {
|
|
190
|
-
return self_.slice(count_)
|
|
191
|
-
}
|
|
192
|
-
|
|
193
|
-
export function Array_dropLast(self_, count_ = 1) {
|
|
194
|
-
return self_.slice(0, self_.length - count_)
|
|
195
|
-
}
|
|
196
|
-
|
|
197
|
-
export function Array_update(self_, index_, body_) {
|
|
170
|
+
|
|
171
|
+
}
|
|
172
|
+
|
|
173
|
+
export function Array_first(self_) {
|
|
174
|
+
return ff_core_Array.Array_get(self_, 0)
|
|
175
|
+
}
|
|
176
|
+
|
|
177
|
+
export function Array_last(self_) {
|
|
178
|
+
return ff_core_Array.Array_get(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
179
|
+
}
|
|
180
|
+
|
|
181
|
+
export function Array_grabFirst(self_) {
|
|
182
|
+
return ff_core_Array.Array_grab(self_, 0)
|
|
183
|
+
}
|
|
184
|
+
|
|
185
|
+
export function Array_grabLast(self_) {
|
|
186
|
+
return ff_core_Array.Array_grab(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
187
|
+
}
|
|
188
|
+
|
|
189
|
+
export function Array_dropFirst(self_, count_ = 1) {
|
|
190
|
+
return self_.slice(count_)
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
export function Array_dropLast(self_, count_ = 1) {
|
|
194
|
+
return self_.slice(0, self_.length - count_)
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
export function Array_update(self_, index_, body_) {
|
|
198
198
|
|
|
199
199
|
if(index_ < 0 || index_ >= self_.length) {
|
|
200
200
|
ff_core_Try.internalThrowGrabException_()
|
|
@@ -202,154 +202,154 @@ export function Array_update(self_, index_, body_) {
|
|
|
202
202
|
let result = self_.slice();
|
|
203
203
|
result[index_] = body_(result[index_]);
|
|
204
204
|
return result;
|
|
205
|
-
|
|
206
|
-
}
|
|
207
|
-
|
|
208
|
-
export function Array_chunk(self_, chunkSize_) {
|
|
209
|
-
const results_ = ff_core_Stack.make_();
|
|
210
|
-
const result_ = ff_core_Stack.make_();
|
|
211
|
-
let added_ = 0;
|
|
212
|
-
ff_core_Array.Array_each(self_, ((item_) => {
|
|
213
|
-
if((added_ < chunkSize_)) {
|
|
214
|
-
added_ += 1
|
|
215
|
-
} else {
|
|
216
|
-
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_));
|
|
217
|
-
added_ = 1
|
|
218
|
-
};
|
|
219
|
-
ff_core_Stack.Stack_push(result_, item_)
|
|
220
|
-
}));
|
|
221
|
-
if((added_ !== 0)) {
|
|
222
|
-
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_))
|
|
223
|
-
};
|
|
224
|
-
return ff_core_Stack.Stack_drain(results_)
|
|
225
|
-
}
|
|
226
|
-
|
|
227
|
-
export function Array_toList(self_) {
|
|
205
|
+
|
|
206
|
+
}
|
|
207
|
+
|
|
208
|
+
export function Array_chunk(self_, chunkSize_) {
|
|
209
|
+
const results_ = ff_core_Stack.make_();
|
|
210
|
+
const result_ = ff_core_Stack.make_();
|
|
211
|
+
let added_ = 0;
|
|
212
|
+
ff_core_Array.Array_each(self_, ((item_) => {
|
|
213
|
+
if((added_ < chunkSize_)) {
|
|
214
|
+
added_ += 1
|
|
215
|
+
} else {
|
|
216
|
+
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_));
|
|
217
|
+
added_ = 1
|
|
218
|
+
};
|
|
219
|
+
ff_core_Stack.Stack_push(result_, item_)
|
|
220
|
+
}));
|
|
221
|
+
if((added_ !== 0)) {
|
|
222
|
+
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_))
|
|
223
|
+
};
|
|
224
|
+
return ff_core_Stack.Stack_drain(results_)
|
|
225
|
+
}
|
|
226
|
+
|
|
227
|
+
export function Array_toList(self_) {
|
|
228
228
|
|
|
229
229
|
let result = ff_core_List.Empty();
|
|
230
230
|
for(let i = self_.length - 1; i >= 0; i--) {
|
|
231
231
|
result = ff_core_List.Link(self_[i], result);
|
|
232
232
|
}
|
|
233
233
|
return result;
|
|
234
|
-
|
|
235
|
-
}
|
|
236
|
-
|
|
237
|
-
export function Array_toStream(self_, cycle_ = false) {
|
|
238
|
-
let index_ = 0;
|
|
239
|
-
return ff_core_Stream.make_((() => {
|
|
240
|
-
if((index_ < ff_core_Array.Array_size(self_))) {
|
|
241
|
-
return ff_core_Option.Some((function() {
|
|
242
|
-
const result_ = ff_core_Array.Array_grab(self_, index_);
|
|
243
|
-
index_ += 1;
|
|
244
|
-
return result_
|
|
245
|
-
})())
|
|
246
|
-
} else if((cycle_ && (index_ !== 0))) {
|
|
247
|
-
return ff_core_Option.Some((function() {
|
|
248
|
-
const result_ = ff_core_Array.Array_grab(self_, 0);
|
|
249
|
-
index_ = 1;
|
|
250
|
-
return result_
|
|
251
|
-
})())
|
|
252
|
-
} else return ff_core_Option.None()
|
|
253
|
-
}), (() => {
|
|
254
|
-
|
|
255
|
-
}))
|
|
256
|
-
}
|
|
257
|
-
|
|
258
|
-
export function Array_toStack(self_) {
|
|
259
|
-
return {array: self_.slice()}
|
|
260
|
-
}
|
|
261
|
-
|
|
262
|
-
export function Array_each(self_, body_) {
|
|
234
|
+
|
|
235
|
+
}
|
|
236
|
+
|
|
237
|
+
export function Array_toStream(self_, cycle_ = false) {
|
|
238
|
+
let index_ = 0;
|
|
239
|
+
return ff_core_Stream.make_((() => {
|
|
240
|
+
if((index_ < ff_core_Array.Array_size(self_))) {
|
|
241
|
+
return ff_core_Option.Some((function() {
|
|
242
|
+
const result_ = ff_core_Array.Array_grab(self_, index_);
|
|
243
|
+
index_ += 1;
|
|
244
|
+
return result_
|
|
245
|
+
})())
|
|
246
|
+
} else if((cycle_ && (index_ !== 0))) {
|
|
247
|
+
return ff_core_Option.Some((function() {
|
|
248
|
+
const result_ = ff_core_Array.Array_grab(self_, 0);
|
|
249
|
+
index_ = 1;
|
|
250
|
+
return result_
|
|
251
|
+
})())
|
|
252
|
+
} else return ff_core_Option.None()
|
|
253
|
+
}), (() => {
|
|
254
|
+
|
|
255
|
+
}))
|
|
256
|
+
}
|
|
257
|
+
|
|
258
|
+
export function Array_toStack(self_) {
|
|
259
|
+
return {array: self_.slice()}
|
|
260
|
+
}
|
|
261
|
+
|
|
262
|
+
export function Array_each(self_, body_) {
|
|
263
263
|
|
|
264
264
|
return self_.forEach(body_);
|
|
265
|
-
|
|
266
|
-
}
|
|
267
|
-
|
|
268
|
-
export function Array_eachWhile(self_, body_) {
|
|
269
|
-
for(const value of self_) if(!body_(value)) break
|
|
270
|
-
}
|
|
271
|
-
|
|
272
|
-
export function Array_all(self_, body_) {
|
|
273
|
-
let result_ = true;
|
|
274
|
-
ff_core_Array.Array_eachWhile(self_, ((x_) => {
|
|
275
|
-
result_ = (result_ && body_(x_));
|
|
276
|
-
return result_
|
|
277
|
-
}));
|
|
278
|
-
return result_
|
|
279
|
-
}
|
|
280
|
-
|
|
281
|
-
export function Array_any(self_, body_) {
|
|
282
|
-
let result_ = false;
|
|
283
|
-
ff_core_Array.Array_eachWhile(self_, ((x_) => {
|
|
284
|
-
result_ = (result_ || body_(x_));
|
|
285
|
-
return (!result_)
|
|
286
|
-
}));
|
|
287
|
-
return result_
|
|
288
|
-
}
|
|
289
|
-
|
|
290
|
-
export function Array_map(self_, body_) {
|
|
265
|
+
|
|
266
|
+
}
|
|
267
|
+
|
|
268
|
+
export function Array_eachWhile(self_, body_) {
|
|
269
|
+
for(const value of self_) if(!body_(value)) break
|
|
270
|
+
}
|
|
271
|
+
|
|
272
|
+
export function Array_all(self_, body_) {
|
|
273
|
+
let result_ = true;
|
|
274
|
+
ff_core_Array.Array_eachWhile(self_, ((x_) => {
|
|
275
|
+
result_ = (result_ && body_(x_));
|
|
276
|
+
return result_
|
|
277
|
+
}));
|
|
278
|
+
return result_
|
|
279
|
+
}
|
|
280
|
+
|
|
281
|
+
export function Array_any(self_, body_) {
|
|
282
|
+
let result_ = false;
|
|
283
|
+
ff_core_Array.Array_eachWhile(self_, ((x_) => {
|
|
284
|
+
result_ = (result_ || body_(x_));
|
|
285
|
+
return (!result_)
|
|
286
|
+
}));
|
|
287
|
+
return result_
|
|
288
|
+
}
|
|
289
|
+
|
|
290
|
+
export function Array_map(self_, body_) {
|
|
291
291
|
|
|
292
292
|
return self_.map(body_)
|
|
293
|
-
|
|
294
|
-
}
|
|
295
|
-
|
|
296
|
-
export function Array_sortBy(self_, body_, ff_core_Ordering_Order$S) {
|
|
297
|
-
return ff_core_Array.Array_sortWith(self_, ((_w1, _w2) => {
|
|
298
|
-
return ff_core_Ordering_Order$S.compare_(body_(_w1), body_(_w2))
|
|
299
|
-
}))
|
|
300
|
-
}
|
|
301
|
-
|
|
302
|
-
export function Array_sortWith(self_, ordering_) {
|
|
303
|
-
const stack_ = ff_core_Array.Array_toStack(self_);
|
|
304
|
-
ff_core_Stack.Stack_sortWith(stack_, ordering_);
|
|
305
|
-
return ff_core_Stack.Stack_drain(stack_)
|
|
306
|
-
}
|
|
307
|
-
|
|
308
|
-
export async function Array_addAll$(self_, that_, $task) {
|
|
309
|
-
throw new Error('Function Array_addAll is missing on this target in async context.');
|
|
310
|
-
}
|
|
311
|
-
|
|
312
|
-
export async function Array_isEmpty$(self_, $task) {
|
|
313
|
-
throw new Error('Function Array_isEmpty is missing on this target in async context.');
|
|
314
|
-
}
|
|
315
|
-
|
|
316
|
-
export async function Array_size$(self_, $task) {
|
|
317
|
-
throw new Error('Function Array_size is missing on this target in async context.');
|
|
318
|
-
}
|
|
319
|
-
|
|
320
|
-
export async function Array_get$(self_, index_, $task) {
|
|
321
|
-
throw new Error('Function Array_get is missing on this target in async context.');
|
|
322
|
-
}
|
|
323
|
-
|
|
324
|
-
export async function Array_grab$(self_, index_, $task) {
|
|
325
|
-
throw new Error('Function Array_grab is missing on this target in async context.');
|
|
326
|
-
}
|
|
327
|
-
|
|
328
|
-
export async function Array_first$(self_, $task) {
|
|
329
|
-
return ff_core_Array.Array_get(self_, 0)
|
|
330
|
-
}
|
|
331
|
-
|
|
332
|
-
export async function Array_last$(self_, $task) {
|
|
333
|
-
return ff_core_Array.Array_get(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
334
|
-
}
|
|
335
|
-
|
|
336
|
-
export async function Array_grabFirst$(self_, $task) {
|
|
337
|
-
return ff_core_Array.Array_grab(self_, 0)
|
|
338
|
-
}
|
|
339
|
-
|
|
340
|
-
export async function Array_grabLast$(self_, $task) {
|
|
341
|
-
return ff_core_Array.Array_grab(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
342
|
-
}
|
|
343
|
-
|
|
344
|
-
export async function Array_dropFirst$(self_, count_ = 1, $task) {
|
|
345
|
-
throw new Error('Function Array_dropFirst is missing on this target in async context.');
|
|
346
|
-
}
|
|
347
|
-
|
|
348
|
-
export async function Array_dropLast$(self_, count_ = 1, $task) {
|
|
349
|
-
throw new Error('Function Array_dropLast is missing on this target in async context.');
|
|
350
|
-
}
|
|
351
|
-
|
|
352
|
-
export async function Array_update$(self_, index_, body_, $task) {
|
|
293
|
+
|
|
294
|
+
}
|
|
295
|
+
|
|
296
|
+
export function Array_sortBy(self_, body_, ff_core_Ordering_Order$S) {
|
|
297
|
+
return ff_core_Array.Array_sortWith(self_, ((_w1, _w2) => {
|
|
298
|
+
return ff_core_Ordering_Order$S.compare_(body_(_w1), body_(_w2))
|
|
299
|
+
}))
|
|
300
|
+
}
|
|
301
|
+
|
|
302
|
+
export function Array_sortWith(self_, ordering_) {
|
|
303
|
+
const stack_ = ff_core_Array.Array_toStack(self_);
|
|
304
|
+
ff_core_Stack.Stack_sortWith(stack_, ordering_);
|
|
305
|
+
return ff_core_Stack.Stack_drain(stack_)
|
|
306
|
+
}
|
|
307
|
+
|
|
308
|
+
export async function Array_addAll$(self_, that_, $task) {
|
|
309
|
+
throw new Error('Function Array_addAll is missing on this target in async context.');
|
|
310
|
+
}
|
|
311
|
+
|
|
312
|
+
export async function Array_isEmpty$(self_, $task) {
|
|
313
|
+
throw new Error('Function Array_isEmpty is missing on this target in async context.');
|
|
314
|
+
}
|
|
315
|
+
|
|
316
|
+
export async function Array_size$(self_, $task) {
|
|
317
|
+
throw new Error('Function Array_size is missing on this target in async context.');
|
|
318
|
+
}
|
|
319
|
+
|
|
320
|
+
export async function Array_get$(self_, index_, $task) {
|
|
321
|
+
throw new Error('Function Array_get is missing on this target in async context.');
|
|
322
|
+
}
|
|
323
|
+
|
|
324
|
+
export async function Array_grab$(self_, index_, $task) {
|
|
325
|
+
throw new Error('Function Array_grab is missing on this target in async context.');
|
|
326
|
+
}
|
|
327
|
+
|
|
328
|
+
export async function Array_first$(self_, $task) {
|
|
329
|
+
return ff_core_Array.Array_get(self_, 0)
|
|
330
|
+
}
|
|
331
|
+
|
|
332
|
+
export async function Array_last$(self_, $task) {
|
|
333
|
+
return ff_core_Array.Array_get(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
334
|
+
}
|
|
335
|
+
|
|
336
|
+
export async function Array_grabFirst$(self_, $task) {
|
|
337
|
+
return ff_core_Array.Array_grab(self_, 0)
|
|
338
|
+
}
|
|
339
|
+
|
|
340
|
+
export async function Array_grabLast$(self_, $task) {
|
|
341
|
+
return ff_core_Array.Array_grab(self_, (ff_core_Array.Array_size(self_) - 1))
|
|
342
|
+
}
|
|
343
|
+
|
|
344
|
+
export async function Array_dropFirst$(self_, count_ = 1, $task) {
|
|
345
|
+
throw new Error('Function Array_dropFirst is missing on this target in async context.');
|
|
346
|
+
}
|
|
347
|
+
|
|
348
|
+
export async function Array_dropLast$(self_, count_ = 1, $task) {
|
|
349
|
+
throw new Error('Function Array_dropLast is missing on this target in async context.');
|
|
350
|
+
}
|
|
351
|
+
|
|
352
|
+
export async function Array_update$(self_, index_, body_, $task) {
|
|
353
353
|
|
|
354
354
|
if(index_ < 0 || index_ >= self_.length) {
|
|
355
355
|
ff_core_Try.internalThrowGrabException_()
|
|
@@ -357,242 +357,242 @@ export async function Array_update$(self_, index_, body_, $task) {
|
|
|
357
357
|
let result = self_.slice();
|
|
358
358
|
result[index_] = await body_(result[index_], $task);
|
|
359
359
|
return result;
|
|
360
|
-
|
|
361
|
-
}
|
|
362
|
-
|
|
363
|
-
export async function Array_chunk$(self_, chunkSize_, $task) {
|
|
364
|
-
const results_ = ff_core_Stack.make_();
|
|
365
|
-
const result_ = ff_core_Stack.make_();
|
|
366
|
-
let added_ = 0;
|
|
367
|
-
ff_core_Array.Array_each(self_, ((item_) => {
|
|
368
|
-
if((added_ < chunkSize_)) {
|
|
369
|
-
added_ += 1
|
|
370
|
-
} else {
|
|
371
|
-
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_));
|
|
372
|
-
added_ = 1
|
|
373
|
-
};
|
|
374
|
-
ff_core_Stack.Stack_push(result_, item_)
|
|
375
|
-
}));
|
|
376
|
-
if((added_ !== 0)) {
|
|
377
|
-
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_))
|
|
378
|
-
};
|
|
379
|
-
return ff_core_Stack.Stack_drain(results_)
|
|
380
|
-
}
|
|
381
|
-
|
|
382
|
-
export async function Array_toList$(self_, $task) {
|
|
383
|
-
throw new Error('Function Array_toList is missing on this target in async context.');
|
|
384
|
-
}
|
|
385
|
-
|
|
386
|
-
export async function Array_toStream$(self_, cycle_ = false, $task) {
|
|
387
|
-
let index_ = 0;
|
|
388
|
-
return (await ff_core_Stream.make_$((async ($task) => {
|
|
389
|
-
if((index_ < ff_core_Array.Array_size(self_))) {
|
|
390
|
-
return ff_core_Option.Some((await (async function() {
|
|
391
|
-
const result_ = ff_core_Array.Array_grab(self_, index_);
|
|
392
|
-
index_ += 1;
|
|
393
|
-
return result_
|
|
394
|
-
})()))
|
|
395
|
-
} else if((cycle_ && (index_ !== 0))) {
|
|
396
|
-
return ff_core_Option.Some((await (async function() {
|
|
397
|
-
const result_ = ff_core_Array.Array_grab(self_, 0);
|
|
398
|
-
index_ = 1;
|
|
399
|
-
return result_
|
|
400
|
-
})()))
|
|
401
|
-
} else return ff_core_Option.None()
|
|
402
|
-
}), (async ($task) => {
|
|
403
|
-
|
|
404
|
-
}), $task))
|
|
405
|
-
}
|
|
406
|
-
|
|
407
|
-
export async function Array_toStack$(self_, $task) {
|
|
408
|
-
throw new Error('Function Array_toStack is missing on this target in async context.');
|
|
409
|
-
}
|
|
410
|
-
|
|
411
|
-
export async function Array_each$(self_, body_, $task) {
|
|
360
|
+
|
|
361
|
+
}
|
|
362
|
+
|
|
363
|
+
export async function Array_chunk$(self_, chunkSize_, $task) {
|
|
364
|
+
const results_ = ff_core_Stack.make_();
|
|
365
|
+
const result_ = ff_core_Stack.make_();
|
|
366
|
+
let added_ = 0;
|
|
367
|
+
ff_core_Array.Array_each(self_, ((item_) => {
|
|
368
|
+
if((added_ < chunkSize_)) {
|
|
369
|
+
added_ += 1
|
|
370
|
+
} else {
|
|
371
|
+
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_));
|
|
372
|
+
added_ = 1
|
|
373
|
+
};
|
|
374
|
+
ff_core_Stack.Stack_push(result_, item_)
|
|
375
|
+
}));
|
|
376
|
+
if((added_ !== 0)) {
|
|
377
|
+
ff_core_Stack.Stack_push(results_, ff_core_Stack.Stack_drain(result_))
|
|
378
|
+
};
|
|
379
|
+
return ff_core_Stack.Stack_drain(results_)
|
|
380
|
+
}
|
|
381
|
+
|
|
382
|
+
export async function Array_toList$(self_, $task) {
|
|
383
|
+
throw new Error('Function Array_toList is missing on this target in async context.');
|
|
384
|
+
}
|
|
385
|
+
|
|
386
|
+
export async function Array_toStream$(self_, cycle_ = false, $task) {
|
|
387
|
+
let index_ = 0;
|
|
388
|
+
return (await ff_core_Stream.make_$((async ($task) => {
|
|
389
|
+
if((index_ < ff_core_Array.Array_size(self_))) {
|
|
390
|
+
return ff_core_Option.Some((await (async function() {
|
|
391
|
+
const result_ = ff_core_Array.Array_grab(self_, index_);
|
|
392
|
+
index_ += 1;
|
|
393
|
+
return result_
|
|
394
|
+
})()))
|
|
395
|
+
} else if((cycle_ && (index_ !== 0))) {
|
|
396
|
+
return ff_core_Option.Some((await (async function() {
|
|
397
|
+
const result_ = ff_core_Array.Array_grab(self_, 0);
|
|
398
|
+
index_ = 1;
|
|
399
|
+
return result_
|
|
400
|
+
})()))
|
|
401
|
+
} else return ff_core_Option.None()
|
|
402
|
+
}), (async ($task) => {
|
|
403
|
+
|
|
404
|
+
}), $task))
|
|
405
|
+
}
|
|
406
|
+
|
|
407
|
+
export async function Array_toStack$(self_, $task) {
|
|
408
|
+
throw new Error('Function Array_toStack is missing on this target in async context.');
|
|
409
|
+
}
|
|
410
|
+
|
|
411
|
+
export async function Array_each$(self_, body_, $task) {
|
|
412
412
|
|
|
413
413
|
for(let i = 0; i < self_.length; i++) {
|
|
414
414
|
await body_(self_[i], $task)
|
|
415
415
|
}
|
|
416
|
-
|
|
417
|
-
}
|
|
418
|
-
|
|
419
|
-
export async function Array_eachWhile$(self_, body_, $task) {
|
|
420
|
-
for(const value of self_) if(!await body_(value, $task)) break
|
|
421
|
-
}
|
|
422
|
-
|
|
423
|
-
export async function Array_all$(self_, body_, $task) {
|
|
424
|
-
let result_ = true;
|
|
425
|
-
(await ff_core_Array.Array_eachWhile$(self_, (async (x_, $task) => {
|
|
426
|
-
result_ = (result_ && (await body_(x_, $task)));
|
|
427
|
-
return result_
|
|
428
|
-
}), $task));
|
|
429
|
-
return result_
|
|
430
|
-
}
|
|
431
|
-
|
|
432
|
-
export async function Array_any$(self_, body_, $task) {
|
|
433
|
-
let result_ = false;
|
|
434
|
-
(await ff_core_Array.Array_eachWhile$(self_, (async (x_, $task) => {
|
|
435
|
-
result_ = (result_ || (await body_(x_, $task)));
|
|
436
|
-
return (!result_)
|
|
437
|
-
}), $task));
|
|
438
|
-
return result_
|
|
439
|
-
}
|
|
440
|
-
|
|
441
|
-
export async function Array_map$(self_, body_, $task) {
|
|
416
|
+
|
|
417
|
+
}
|
|
418
|
+
|
|
419
|
+
export async function Array_eachWhile$(self_, body_, $task) {
|
|
420
|
+
for(const value of self_) if(!await body_(value, $task)) break
|
|
421
|
+
}
|
|
422
|
+
|
|
423
|
+
export async function Array_all$(self_, body_, $task) {
|
|
424
|
+
let result_ = true;
|
|
425
|
+
(await ff_core_Array.Array_eachWhile$(self_, (async (x_, $task) => {
|
|
426
|
+
result_ = (result_ && (await body_(x_, $task)));
|
|
427
|
+
return result_
|
|
428
|
+
}), $task));
|
|
429
|
+
return result_
|
|
430
|
+
}
|
|
431
|
+
|
|
432
|
+
export async function Array_any$(self_, body_, $task) {
|
|
433
|
+
let result_ = false;
|
|
434
|
+
(await ff_core_Array.Array_eachWhile$(self_, (async (x_, $task) => {
|
|
435
|
+
result_ = (result_ || (await body_(x_, $task)));
|
|
436
|
+
return (!result_)
|
|
437
|
+
}), $task));
|
|
438
|
+
return result_
|
|
439
|
+
}
|
|
440
|
+
|
|
441
|
+
export async function Array_map$(self_, body_, $task) {
|
|
442
442
|
|
|
443
443
|
let result = [];
|
|
444
444
|
for(let i = self_.length - 1; i >= 0; i--) {
|
|
445
445
|
result.push(await body_(self_[i], $task));
|
|
446
446
|
}
|
|
447
447
|
return result;
|
|
448
|
-
|
|
449
|
-
}
|
|
450
|
-
|
|
451
|
-
export async function Array_sortBy$(self_, body_, ff_core_Ordering_Order$S, $task) {
|
|
452
|
-
return (await ff_core_Array.Array_sortWith$(self_, (async (_w1, _w2, $task) => {
|
|
453
|
-
return ff_core_Ordering_Order$S.compare_((await body_(_w1, $task)), (await body_(_w2, $task)))
|
|
454
|
-
}), $task))
|
|
455
|
-
}
|
|
456
|
-
|
|
457
|
-
export async function Array_sortWith$(self_, ordering_, $task) {
|
|
458
|
-
const stack_ = ff_core_Array.Array_toStack(self_);
|
|
459
|
-
(await ff_core_Stack.Stack_sortWith$(stack_, ordering_, $task));
|
|
460
|
-
return ff_core_Stack.Stack_drain(stack_)
|
|
461
|
-
}
|
|
462
|
-
|
|
463
|
-
export function Array_sort(self_, ff_core_Ordering_Order$T) {
|
|
464
|
-
return ff_core_Array.Array_sortWith(self_, ((x_, y_) => {
|
|
465
|
-
return ff_core_Ordering_Order$T.compare_(x_, y_)
|
|
466
|
-
}))
|
|
467
|
-
}
|
|
468
|
-
|
|
469
|
-
export function Array_toSet(self_, ff_core_Ordering_Order$T) {
|
|
470
|
-
return ff_core_List.List_toSet(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$T)
|
|
471
|
-
}
|
|
472
|
-
|
|
473
|
-
export async function Array_sort$(self_, ff_core_Ordering_Order$T, $task) {
|
|
474
|
-
return ff_core_Array.Array_sortWith(self_, ((x_, y_) => {
|
|
475
|
-
return ff_core_Ordering_Order$T.compare_(x_, y_)
|
|
476
|
-
}))
|
|
477
|
-
}
|
|
478
|
-
|
|
479
|
-
export async function Array_toSet$(self_, ff_core_Ordering_Order$T, $task) {
|
|
480
|
-
return ff_core_List.List_toSet(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$T)
|
|
481
|
-
}
|
|
482
|
-
|
|
483
|
-
export function Array_toMap(self_, ff_core_Ordering_Order$K) {
|
|
484
|
-
return ff_core_List.List_toMap(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$K)
|
|
485
|
-
}
|
|
486
|
-
|
|
487
|
-
export async function Array_toMap$(self_, ff_core_Ordering_Order$K, $task) {
|
|
488
|
-
return ff_core_List.List_toMap(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$K)
|
|
489
|
-
}
|
|
490
|
-
|
|
491
|
-
export function Array_join(self_, separator_ = "") {
|
|
492
|
-
return self_.join(separator_)
|
|
493
|
-
}
|
|
494
|
-
|
|
495
|
-
export async function Array_join$(self_, separator_ = "", $task) {
|
|
496
|
-
throw new Error('Function Array_join is missing on this target in async context.');
|
|
497
|
-
}
|
|
498
|
-
|
|
499
|
-
export function ff_core_Show_Show$ff_core_Array_Array(ff_core_Show_Show$T) { return {
|
|
500
|
-
show_(value_) {
|
|
501
|
-
const stack_ = ff_core_Stack.make_();
|
|
502
|
-
ff_core_Stack.Stack_push(stack_, "[");
|
|
503
|
-
ff_core_Array.Array_each(value_, ((x_) => {
|
|
504
|
-
if((ff_core_Stack.Stack_size(stack_) > 1)) {
|
|
505
|
-
ff_core_Stack.Stack_push(stack_, ", ")
|
|
506
|
-
};
|
|
507
|
-
ff_core_Stack.Stack_push(stack_, ff_core_Show_Show$T.show_(x_))
|
|
508
|
-
}));
|
|
509
|
-
ff_core_Stack.Stack_push(stack_, "].toArray()");
|
|
510
|
-
return ff_core_Stack.Stack_join(stack_, "")
|
|
511
|
-
},
|
|
512
|
-
async show_$(value_, $task) {
|
|
513
|
-
const stack_ = ff_core_Stack.make_();
|
|
514
|
-
ff_core_Stack.Stack_push(stack_, "[");
|
|
515
|
-
ff_core_Array.Array_each(value_, ((x_) => {
|
|
516
|
-
if((ff_core_Stack.Stack_size(stack_) > 1)) {
|
|
517
|
-
ff_core_Stack.Stack_push(stack_, ", ")
|
|
518
|
-
};
|
|
519
|
-
ff_core_Stack.Stack_push(stack_, ff_core_Show_Show$T.show_(x_))
|
|
520
|
-
}));
|
|
521
|
-
ff_core_Stack.Stack_push(stack_, "].toArray()");
|
|
522
|
-
return ff_core_Stack.Stack_join(stack_, "")
|
|
523
|
-
}
|
|
524
|
-
}}
|
|
525
|
-
|
|
526
|
-
export function ff_core_Equal_Equal$ff_core_Array_Array(ff_core_Equal_Equal$T) { return {
|
|
527
|
-
equals_(x_, y_) {
|
|
528
|
-
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
529
|
-
return true
|
|
530
|
-
} else {
|
|
531
|
-
if((ff_core_Array.Array_size(x_) !== ff_core_Array.Array_size(y_))) {
|
|
532
|
-
return false
|
|
533
|
-
} else {
|
|
534
|
-
let i_ = (-1);
|
|
535
|
-
return ff_core_Array.Array_all(x_, ((l_) => {
|
|
536
|
-
i_ += 1;
|
|
537
|
-
return ff_core_Equal_Equal$T.equals_(l_, ff_core_Array.Array_grab(y_, i_))
|
|
538
|
-
}))
|
|
539
|
-
}
|
|
540
|
-
}
|
|
541
|
-
},
|
|
542
|
-
async equals_$(x_, y_, $task) {
|
|
543
|
-
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
544
|
-
return true
|
|
545
|
-
} else {
|
|
546
|
-
if((ff_core_Array.Array_size(x_) !== ff_core_Array.Array_size(y_))) {
|
|
547
|
-
return false
|
|
548
|
-
} else {
|
|
549
|
-
let i_ = (-1);
|
|
550
|
-
return ff_core_Array.Array_all(x_, ((l_) => {
|
|
551
|
-
i_ += 1;
|
|
552
|
-
return ff_core_Equal_Equal$T.equals_(l_, ff_core_Array.Array_grab(y_, i_))
|
|
553
|
-
}))
|
|
554
|
-
}
|
|
555
|
-
}
|
|
556
|
-
}
|
|
557
|
-
}}
|
|
558
|
-
|
|
559
|
-
export function ff_core_Ordering_Order$ff_core_Array_Array(ff_core_Ordering_Order$T) { return {
|
|
560
|
-
compare_(x_, y_) {
|
|
561
|
-
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
562
|
-
return ff_core_Ordering.OrderingSame()
|
|
563
|
-
} else {
|
|
564
|
-
const size_ = ff_core_Int.Int_min(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_));
|
|
565
|
-
let i_ = 0;
|
|
566
|
-
let ordering_ = ff_core_Ordering.OrderingSame();
|
|
567
|
-
while(((ordering_ === ff_core_Ordering.OrderingSame()) && (i_ < size_))) {
|
|
568
|
-
ordering_ = ff_core_Ordering_Order$T.compare_(ff_core_Array.Array_grab(x_, i_), ff_core_Array.Array_grab(y_, i_));
|
|
569
|
-
i_ += 1
|
|
570
|
-
};
|
|
571
|
-
if((ordering_ !== ff_core_Ordering.OrderingSame())) {
|
|
572
|
-
return ordering_
|
|
573
|
-
} else {
|
|
574
|
-
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int.compare_(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_))
|
|
575
|
-
}
|
|
576
|
-
}
|
|
577
|
-
},
|
|
578
|
-
async compare_$(x_, y_, $task) {
|
|
579
|
-
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
580
|
-
return ff_core_Ordering.OrderingSame()
|
|
581
|
-
} else {
|
|
582
|
-
const size_ = ff_core_Int.Int_min(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_));
|
|
583
|
-
let i_ = 0;
|
|
584
|
-
let ordering_ = ff_core_Ordering.OrderingSame();
|
|
585
|
-
while(((ordering_ === ff_core_Ordering.OrderingSame()) && (i_ < size_))) {
|
|
586
|
-
ordering_ = ff_core_Ordering_Order$T.compare_(ff_core_Array.Array_grab(x_, i_), ff_core_Array.Array_grab(y_, i_));
|
|
587
|
-
i_ += 1
|
|
588
|
-
};
|
|
589
|
-
if((ordering_ !== ff_core_Ordering.OrderingSame())) {
|
|
590
|
-
return ordering_
|
|
591
|
-
} else {
|
|
592
|
-
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int.compare_(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_))
|
|
593
|
-
}
|
|
594
|
-
}
|
|
595
|
-
}
|
|
596
|
-
}}
|
|
597
|
-
|
|
598
|
-
|
|
448
|
+
|
|
449
|
+
}
|
|
450
|
+
|
|
451
|
+
export async function Array_sortBy$(self_, body_, ff_core_Ordering_Order$S, $task) {
|
|
452
|
+
return (await ff_core_Array.Array_sortWith$(self_, (async (_w1, _w2, $task) => {
|
|
453
|
+
return ff_core_Ordering_Order$S.compare_((await body_(_w1, $task)), (await body_(_w2, $task)))
|
|
454
|
+
}), $task))
|
|
455
|
+
}
|
|
456
|
+
|
|
457
|
+
export async function Array_sortWith$(self_, ordering_, $task) {
|
|
458
|
+
const stack_ = ff_core_Array.Array_toStack(self_);
|
|
459
|
+
(await ff_core_Stack.Stack_sortWith$(stack_, ordering_, $task));
|
|
460
|
+
return ff_core_Stack.Stack_drain(stack_)
|
|
461
|
+
}
|
|
462
|
+
|
|
463
|
+
export function Array_sort(self_, ff_core_Ordering_Order$T) {
|
|
464
|
+
return ff_core_Array.Array_sortWith(self_, ((x_, y_) => {
|
|
465
|
+
return ff_core_Ordering_Order$T.compare_(x_, y_)
|
|
466
|
+
}))
|
|
467
|
+
}
|
|
468
|
+
|
|
469
|
+
export function Array_toSet(self_, ff_core_Ordering_Order$T) {
|
|
470
|
+
return ff_core_List.List_toSet(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$T)
|
|
471
|
+
}
|
|
472
|
+
|
|
473
|
+
export async function Array_sort$(self_, ff_core_Ordering_Order$T, $task) {
|
|
474
|
+
return ff_core_Array.Array_sortWith(self_, ((x_, y_) => {
|
|
475
|
+
return ff_core_Ordering_Order$T.compare_(x_, y_)
|
|
476
|
+
}))
|
|
477
|
+
}
|
|
478
|
+
|
|
479
|
+
export async function Array_toSet$(self_, ff_core_Ordering_Order$T, $task) {
|
|
480
|
+
return ff_core_List.List_toSet(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$T)
|
|
481
|
+
}
|
|
482
|
+
|
|
483
|
+
export function Array_toMap(self_, ff_core_Ordering_Order$K) {
|
|
484
|
+
return ff_core_List.List_toMap(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$K)
|
|
485
|
+
}
|
|
486
|
+
|
|
487
|
+
export async function Array_toMap$(self_, ff_core_Ordering_Order$K, $task) {
|
|
488
|
+
return ff_core_List.List_toMap(ff_core_Array.Array_toList(self_), ff_core_Ordering_Order$K)
|
|
489
|
+
}
|
|
490
|
+
|
|
491
|
+
export function Array_join(self_, separator_ = "") {
|
|
492
|
+
return self_.join(separator_)
|
|
493
|
+
}
|
|
494
|
+
|
|
495
|
+
export async function Array_join$(self_, separator_ = "", $task) {
|
|
496
|
+
throw new Error('Function Array_join is missing on this target in async context.');
|
|
497
|
+
}
|
|
498
|
+
|
|
499
|
+
export function ff_core_Show_Show$ff_core_Array_Array(ff_core_Show_Show$T) { return {
|
|
500
|
+
show_(value_) {
|
|
501
|
+
const stack_ = ff_core_Stack.make_();
|
|
502
|
+
ff_core_Stack.Stack_push(stack_, "[");
|
|
503
|
+
ff_core_Array.Array_each(value_, ((x_) => {
|
|
504
|
+
if((ff_core_Stack.Stack_size(stack_) > 1)) {
|
|
505
|
+
ff_core_Stack.Stack_push(stack_, ", ")
|
|
506
|
+
};
|
|
507
|
+
ff_core_Stack.Stack_push(stack_, ff_core_Show_Show$T.show_(x_))
|
|
508
|
+
}));
|
|
509
|
+
ff_core_Stack.Stack_push(stack_, "].toArray()");
|
|
510
|
+
return ff_core_Stack.Stack_join(stack_, "")
|
|
511
|
+
},
|
|
512
|
+
async show_$(value_, $task) {
|
|
513
|
+
const stack_ = ff_core_Stack.make_();
|
|
514
|
+
ff_core_Stack.Stack_push(stack_, "[");
|
|
515
|
+
ff_core_Array.Array_each(value_, ((x_) => {
|
|
516
|
+
if((ff_core_Stack.Stack_size(stack_) > 1)) {
|
|
517
|
+
ff_core_Stack.Stack_push(stack_, ", ")
|
|
518
|
+
};
|
|
519
|
+
ff_core_Stack.Stack_push(stack_, ff_core_Show_Show$T.show_(x_))
|
|
520
|
+
}));
|
|
521
|
+
ff_core_Stack.Stack_push(stack_, "].toArray()");
|
|
522
|
+
return ff_core_Stack.Stack_join(stack_, "")
|
|
523
|
+
}
|
|
524
|
+
}}
|
|
525
|
+
|
|
526
|
+
export function ff_core_Equal_Equal$ff_core_Array_Array(ff_core_Equal_Equal$T) { return {
|
|
527
|
+
equals_(x_, y_) {
|
|
528
|
+
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
529
|
+
return true
|
|
530
|
+
} else {
|
|
531
|
+
if((ff_core_Array.Array_size(x_) !== ff_core_Array.Array_size(y_))) {
|
|
532
|
+
return false
|
|
533
|
+
} else {
|
|
534
|
+
let i_ = (-1);
|
|
535
|
+
return ff_core_Array.Array_all(x_, ((l_) => {
|
|
536
|
+
i_ += 1;
|
|
537
|
+
return ff_core_Equal_Equal$T.equals_(l_, ff_core_Array.Array_grab(y_, i_))
|
|
538
|
+
}))
|
|
539
|
+
}
|
|
540
|
+
}
|
|
541
|
+
},
|
|
542
|
+
async equals_$(x_, y_, $task) {
|
|
543
|
+
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
544
|
+
return true
|
|
545
|
+
} else {
|
|
546
|
+
if((ff_core_Array.Array_size(x_) !== ff_core_Array.Array_size(y_))) {
|
|
547
|
+
return false
|
|
548
|
+
} else {
|
|
549
|
+
let i_ = (-1);
|
|
550
|
+
return ff_core_Array.Array_all(x_, ((l_) => {
|
|
551
|
+
i_ += 1;
|
|
552
|
+
return ff_core_Equal_Equal$T.equals_(l_, ff_core_Array.Array_grab(y_, i_))
|
|
553
|
+
}))
|
|
554
|
+
}
|
|
555
|
+
}
|
|
556
|
+
}
|
|
557
|
+
}}
|
|
558
|
+
|
|
559
|
+
export function ff_core_Ordering_Order$ff_core_Array_Array(ff_core_Ordering_Order$T) { return {
|
|
560
|
+
compare_(x_, y_) {
|
|
561
|
+
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
562
|
+
return ff_core_Ordering.OrderingSame()
|
|
563
|
+
} else {
|
|
564
|
+
const size_ = ff_core_Int.Int_min(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_));
|
|
565
|
+
let i_ = 0;
|
|
566
|
+
let ordering_ = ff_core_Ordering.OrderingSame();
|
|
567
|
+
while(((ordering_ === ff_core_Ordering.OrderingSame()) && (i_ < size_))) {
|
|
568
|
+
ordering_ = ff_core_Ordering_Order$T.compare_(ff_core_Array.Array_grab(x_, i_), ff_core_Array.Array_grab(y_, i_));
|
|
569
|
+
i_ += 1
|
|
570
|
+
};
|
|
571
|
+
if((ordering_ !== ff_core_Ordering.OrderingSame())) {
|
|
572
|
+
return ordering_
|
|
573
|
+
} else {
|
|
574
|
+
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int.compare_(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_))
|
|
575
|
+
}
|
|
576
|
+
}
|
|
577
|
+
},
|
|
578
|
+
async compare_$(x_, y_, $task) {
|
|
579
|
+
if(ff_core_Array.internalSame_(x_, y_)) {
|
|
580
|
+
return ff_core_Ordering.OrderingSame()
|
|
581
|
+
} else {
|
|
582
|
+
const size_ = ff_core_Int.Int_min(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_));
|
|
583
|
+
let i_ = 0;
|
|
584
|
+
let ordering_ = ff_core_Ordering.OrderingSame();
|
|
585
|
+
while(((ordering_ === ff_core_Ordering.OrderingSame()) && (i_ < size_))) {
|
|
586
|
+
ordering_ = ff_core_Ordering_Order$T.compare_(ff_core_Array.Array_grab(x_, i_), ff_core_Array.Array_grab(y_, i_));
|
|
587
|
+
i_ += 1
|
|
588
|
+
};
|
|
589
|
+
if((ordering_ !== ff_core_Ordering.OrderingSame())) {
|
|
590
|
+
return ordering_
|
|
591
|
+
} else {
|
|
592
|
+
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int.compare_(ff_core_Array.Array_size(x_), ff_core_Array.Array_size(y_))
|
|
593
|
+
}
|
|
594
|
+
}
|
|
595
|
+
}
|
|
596
|
+
}}
|
|
597
|
+
|
|
598
|
+
|