firefly-compiler 0.4.6 → 0.4.7
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/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 +191 -191
- 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 +1 -1
- package/vscode/package.json +1 -1
|
@@ -1,362 +1,362 @@
|
|
|
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_RbMap from "../../ff/core/RbMap.mjs"
|
|
70
|
-
|
|
71
|
-
import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
|
|
72
|
-
|
|
73
|
-
import * as ff_core_Set from "../../ff/core/Set.mjs"
|
|
74
|
-
|
|
75
|
-
import * as ff_core_Show from "../../ff/core/Show.mjs"
|
|
76
|
-
|
|
77
|
-
import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
|
|
78
|
-
|
|
79
|
-
import * as ff_core_Stack from "../../ff/core/Stack.mjs"
|
|
80
|
-
|
|
81
|
-
import * as ff_core_Stream from "../../ff/core/Stream.mjs"
|
|
82
|
-
|
|
83
|
-
import * as ff_core_String from "../../ff/core/String.mjs"
|
|
84
|
-
|
|
85
|
-
import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
|
|
86
|
-
|
|
87
|
-
import * as ff_core_Task from "../../ff/core/Task.mjs"
|
|
88
|
-
|
|
89
|
-
import * as ff_core_Try from "../../ff/core/Try.mjs"
|
|
90
|
-
|
|
91
|
-
import * as ff_core_Unit from "../../ff/core/Unit.mjs"
|
|
92
|
-
|
|
93
|
-
// newtype Map
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
export function empty_() {
|
|
98
|
-
return ff_core_RbMap.E()
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
export async function empty_$($task) {
|
|
102
|
-
return ff_core_RbMap.E()
|
|
103
|
-
}
|
|
104
|
-
|
|
105
|
-
export function Map_add(self_, key_, value_, ff_core_Ordering_Order$K) {
|
|
106
|
-
return ff_core_RbMap.insert_(key_, value_, self_, ff_core_Ordering_Order$K)
|
|
107
|
-
}
|
|
108
|
-
|
|
109
|
-
export function Map_addAll(self_, that_, ff_core_Ordering_Order$K) {
|
|
110
|
-
let result_ = self_;
|
|
111
|
-
ff_core_RbMap.RB_each(that_, ((k_, v_) => {
|
|
112
|
-
result_ = ff_core_RbMap.insert_(k_, v_, result_, ff_core_Ordering_Order$K)
|
|
113
|
-
}), ff_core_Ordering_Order$K);
|
|
114
|
-
return result_
|
|
115
|
-
}
|
|
116
|
-
|
|
117
|
-
export function Map_get(self_, key_, ff_core_Ordering_Order$K) {
|
|
118
|
-
return ff_core_RbMap.RB_get(self_, key_, ff_core_Ordering_Order$K)
|
|
119
|
-
}
|
|
120
|
-
|
|
121
|
-
export function Map_remove(self_, key_, ff_core_Ordering_Order$K) {
|
|
122
|
-
return ff_core_RbMap.delete_(key_, self_, ff_core_Ordering_Order$K)
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
export function Map_removeAll(self_, that_, ff_core_Ordering_Order$K) {
|
|
126
|
-
let result_ = self_;
|
|
127
|
-
ff_core_RbMap.RB_each(that_, ((k_, _) => {
|
|
128
|
-
result_ = ff_core_RbMap.delete_(k_, result_, ff_core_Ordering_Order$K)
|
|
129
|
-
}), ff_core_Ordering_Order$K);
|
|
130
|
-
return result_
|
|
131
|
-
}
|
|
132
|
-
|
|
133
|
-
export function Map_pairs(self_, ff_core_Ordering_Order$K) {
|
|
134
|
-
return ff_core_Map.Map_toList(self_, ff_core_Ordering_Order$K)
|
|
135
|
-
}
|
|
136
|
-
|
|
137
|
-
export function Map_toList(self_, ff_core_Ordering_Order$K) {
|
|
138
|
-
return ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K)
|
|
139
|
-
}
|
|
140
|
-
|
|
141
|
-
export function Map_toArray(self_, ff_core_Ordering_Order$K) {
|
|
142
|
-
return ff_core_List.List_toArray(ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K))
|
|
143
|
-
}
|
|
144
|
-
|
|
145
|
-
export function Map_toStream(self_, cycle_ = false, ff_core_Ordering_Order$K) {
|
|
146
|
-
return ff_core_RbMap.RB_toStream(self_, cycle_, ff_core_Ordering_Order$K)
|
|
147
|
-
}
|
|
148
|
-
|
|
149
|
-
export function Map_keys(self_, ff_core_Ordering_Order$K) {
|
|
150
|
-
return ff_core_List.List_toSet(ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
151
|
-
return _w1.first_
|
|
152
|
-
})), ff_core_Ordering_Order$K)
|
|
153
|
-
}
|
|
154
|
-
|
|
155
|
-
export function Map_values(self_, ff_core_Ordering_Order$K) {
|
|
156
|
-
return ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
157
|
-
return _w1.second_
|
|
158
|
-
}))
|
|
159
|
-
}
|
|
160
|
-
|
|
161
|
-
export function Map_size(self_, ff_core_Ordering_Order$K) {
|
|
162
|
-
return ff_core_RbMap.RB_size(self_, ff_core_Ordering_Order$K)
|
|
163
|
-
}
|
|
164
|
-
|
|
165
|
-
export function Map_map(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1) {
|
|
166
|
-
return ff_core_RbMap.RB_map(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1)
|
|
167
|
-
}
|
|
168
|
-
|
|
169
|
-
export function Map_mapValues(self_, body_, ff_core_Ordering_Order$K) {
|
|
170
|
-
return ff_core_RbMap.RB_mapValues(self_, body_, ff_core_Ordering_Order$K)
|
|
171
|
-
}
|
|
172
|
-
|
|
173
|
-
export function Map_contains(self_, key_, ff_core_Ordering_Order$K) {
|
|
174
|
-
return (!ff_core_Option.Option_isEmpty(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K)))
|
|
175
|
-
}
|
|
176
|
-
|
|
177
|
-
export function Map_grab(self_, key_, ff_core_Ordering_Order$K) {
|
|
178
|
-
return ff_core_Option.Option_grab(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K))
|
|
179
|
-
}
|
|
180
|
-
|
|
181
|
-
export function Map_updateOrInsert(self_, key_, update_, default_, ff_core_Ordering_Order$K) {
|
|
182
|
-
{
|
|
183
|
-
const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
|
|
184
|
-
{
|
|
185
|
-
if(_1.None) {
|
|
186
|
-
return ff_core_Map.Map_add(self_, key_, default_(), ff_core_Ordering_Order$K)
|
|
187
|
-
return
|
|
188
|
-
}
|
|
189
|
-
}
|
|
190
|
-
{
|
|
191
|
-
if(_1.Some) {
|
|
192
|
-
const v_ = _1.value_;
|
|
193
|
-
return ff_core_Map.Map_add(self_, key_, update_(v_), ff_core_Ordering_Order$K)
|
|
194
|
-
return
|
|
195
|
-
}
|
|
196
|
-
}
|
|
197
|
-
}
|
|
198
|
-
}
|
|
199
|
-
|
|
200
|
-
export function Map_each(self_, body_, ff_core_Ordering_Order$K) {
|
|
201
|
-
ff_core_RbMap.RB_each(self_, body_, ff_core_Ordering_Order$K)
|
|
202
|
-
}
|
|
203
|
-
|
|
204
|
-
export function Map_eachWhile(self_, body_, ff_core_Ordering_Order$K) {
|
|
205
|
-
return ff_core_RbMap.RB_eachWhile(self_, body_, ff_core_Ordering_Order$K)
|
|
206
|
-
}
|
|
207
|
-
|
|
208
|
-
export function Map_find(self_, body_, ff_core_Ordering_Order$K) {
|
|
209
|
-
return ff_core_RbMap.RB_find(self_, body_, ff_core_Ordering_Order$K)
|
|
210
|
-
}
|
|
211
|
-
|
|
212
|
-
export async function Map_add$(self_, key_, value_, ff_core_Ordering_Order$K, $task) {
|
|
213
|
-
return ff_core_RbMap.insert_(key_, value_, self_, ff_core_Ordering_Order$K)
|
|
214
|
-
}
|
|
215
|
-
|
|
216
|
-
export async function Map_addAll$(self_, that_, ff_core_Ordering_Order$K, $task) {
|
|
217
|
-
let result_ = self_;
|
|
218
|
-
ff_core_RbMap.RB_each(that_, ((k_, v_) => {
|
|
219
|
-
result_ = ff_core_RbMap.insert_(k_, v_, result_, ff_core_Ordering_Order$K)
|
|
220
|
-
}), ff_core_Ordering_Order$K);
|
|
221
|
-
return result_
|
|
222
|
-
}
|
|
223
|
-
|
|
224
|
-
export async function Map_get$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
225
|
-
return ff_core_RbMap.RB_get(self_, key_, ff_core_Ordering_Order$K)
|
|
226
|
-
}
|
|
227
|
-
|
|
228
|
-
export async function Map_remove$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
229
|
-
return ff_core_RbMap.delete_(key_, self_, ff_core_Ordering_Order$K)
|
|
230
|
-
}
|
|
231
|
-
|
|
232
|
-
export async function Map_removeAll$(self_, that_, ff_core_Ordering_Order$K, $task) {
|
|
233
|
-
let result_ = self_;
|
|
234
|
-
ff_core_RbMap.RB_each(that_, ((k_, _) => {
|
|
235
|
-
result_ = ff_core_RbMap.delete_(k_, result_, ff_core_Ordering_Order$K)
|
|
236
|
-
}), ff_core_Ordering_Order$K);
|
|
237
|
-
return result_
|
|
238
|
-
}
|
|
239
|
-
|
|
240
|
-
export async function Map_pairs$(self_, ff_core_Ordering_Order$K, $task) {
|
|
241
|
-
return ff_core_Map.Map_toList(self_, ff_core_Ordering_Order$K)
|
|
242
|
-
}
|
|
243
|
-
|
|
244
|
-
export async function Map_toList$(self_, ff_core_Ordering_Order$K, $task) {
|
|
245
|
-
return ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K)
|
|
246
|
-
}
|
|
247
|
-
|
|
248
|
-
export async function Map_toArray$(self_, ff_core_Ordering_Order$K, $task) {
|
|
249
|
-
return ff_core_List.List_toArray(ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K))
|
|
250
|
-
}
|
|
251
|
-
|
|
252
|
-
export async function Map_toStream$(self_, cycle_ = false, ff_core_Ordering_Order$K, $task) {
|
|
253
|
-
return (await ff_core_RbMap.RB_toStream$(self_, cycle_, ff_core_Ordering_Order$K, $task))
|
|
254
|
-
}
|
|
255
|
-
|
|
256
|
-
export async function Map_keys$(self_, ff_core_Ordering_Order$K, $task) {
|
|
257
|
-
return ff_core_List.List_toSet(ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
258
|
-
return _w1.first_
|
|
259
|
-
})), ff_core_Ordering_Order$K)
|
|
260
|
-
}
|
|
261
|
-
|
|
262
|
-
export async function Map_values$(self_, ff_core_Ordering_Order$K, $task) {
|
|
263
|
-
return ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
264
|
-
return _w1.second_
|
|
265
|
-
}))
|
|
266
|
-
}
|
|
267
|
-
|
|
268
|
-
export async function Map_size$(self_, ff_core_Ordering_Order$K, $task) {
|
|
269
|
-
return ff_core_RbMap.RB_size(self_, ff_core_Ordering_Order$K)
|
|
270
|
-
}
|
|
271
|
-
|
|
272
|
-
export async function Map_map$(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1, $task) {
|
|
273
|
-
return (await ff_core_RbMap.RB_map$(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1, $task))
|
|
274
|
-
}
|
|
275
|
-
|
|
276
|
-
export async function Map_mapValues$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
277
|
-
return (await ff_core_RbMap.RB_mapValues$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
278
|
-
}
|
|
279
|
-
|
|
280
|
-
export async function Map_contains$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
281
|
-
return (!ff_core_Option.Option_isEmpty(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K)))
|
|
282
|
-
}
|
|
283
|
-
|
|
284
|
-
export async function Map_grab$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
285
|
-
return ff_core_Option.Option_grab(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K))
|
|
286
|
-
}
|
|
287
|
-
|
|
288
|
-
export async function Map_updateOrInsert$(self_, key_, update_, default_, ff_core_Ordering_Order$K, $task) {
|
|
289
|
-
{
|
|
290
|
-
const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
|
|
291
|
-
{
|
|
292
|
-
if(_1.None) {
|
|
293
|
-
return ff_core_Map.Map_add(self_, key_, (await default_($task)), ff_core_Ordering_Order$K)
|
|
294
|
-
return
|
|
295
|
-
}
|
|
296
|
-
}
|
|
297
|
-
{
|
|
298
|
-
if(_1.Some) {
|
|
299
|
-
const v_ = _1.value_;
|
|
300
|
-
return ff_core_Map.Map_add(self_, key_, (await update_(v_, $task)), ff_core_Ordering_Order$K)
|
|
301
|
-
return
|
|
302
|
-
}
|
|
303
|
-
}
|
|
304
|
-
}
|
|
305
|
-
}
|
|
306
|
-
|
|
307
|
-
export async function Map_each$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
308
|
-
(await ff_core_RbMap.RB_each$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
309
|
-
}
|
|
310
|
-
|
|
311
|
-
export async function Map_eachWhile$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
312
|
-
return (await ff_core_RbMap.RB_eachWhile$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
313
|
-
}
|
|
314
|
-
|
|
315
|
-
export async function Map_find$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
316
|
-
return (await ff_core_RbMap.RB_find$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
317
|
-
}
|
|
318
|
-
|
|
319
|
-
export function Map_addToList(self_, key_, value_, ff_core_Ordering_Order$K) {
|
|
320
|
-
return ff_core_Map.Map_updateOrInsert(self_, key_, ((_w1) => {
|
|
321
|
-
return ff_core_List.Link(value_, _w1)
|
|
322
|
-
}), (() => {
|
|
323
|
-
return ff_core_List.Link(value_, ff_core_List.Empty())
|
|
324
|
-
}), ff_core_Ordering_Order$K)
|
|
325
|
-
}
|
|
326
|
-
|
|
327
|
-
export async function Map_addToList$(self_, key_, value_, ff_core_Ordering_Order$K, $task) {
|
|
328
|
-
return ff_core_Map.Map_updateOrInsert(self_, key_, ((_w1) => {
|
|
329
|
-
return ff_core_List.Link(value_, _w1)
|
|
330
|
-
}), (() => {
|
|
331
|
-
return ff_core_List.Link(value_, ff_core_List.Empty())
|
|
332
|
-
}), ff_core_Ordering_Order$K)
|
|
333
|
-
}
|
|
334
|
-
|
|
335
|
-
export function ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal_Equal$K, ff_core_Ordering_Order$K, ff_core_Equal_Equal$V) { return {
|
|
336
|
-
equals_(x_, y_) {
|
|
337
|
-
return ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal_Equal$K, ff_core_Equal_Equal$V)).equals_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
338
|
-
},
|
|
339
|
-
async equals_$(x_, y_, $task) {
|
|
340
|
-
return ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal_Equal$K, ff_core_Equal_Equal$V)).equals_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
341
|
-
}
|
|
342
|
-
}}
|
|
343
|
-
|
|
344
|
-
export function ff_core_Ordering_Order$ff_core_Map_Map(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V) { return {
|
|
345
|
-
compare_(x_, y_) {
|
|
346
|
-
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V)).compare_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
347
|
-
},
|
|
348
|
-
async compare_$(x_, y_, $task) {
|
|
349
|
-
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V)).compare_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
350
|
-
}
|
|
351
|
-
}}
|
|
352
|
-
|
|
353
|
-
export function ff_core_Show_Show$ff_core_Map_Map(ff_core_Show_Show$K, ff_core_Ordering_Order$K, ff_core_Show_Show$V) { return {
|
|
354
|
-
show_(value_) {
|
|
355
|
-
return (ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show_Show$K, ff_core_Show_Show$V)).show_(ff_core_Map.Map_pairs(value_, ff_core_Ordering_Order$K)) + ".toMap()")
|
|
356
|
-
},
|
|
357
|
-
async show_$(value_, $task) {
|
|
358
|
-
return (ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show_Show$K, ff_core_Show_Show$V)).show_(ff_core_Map.Map_pairs(value_, ff_core_Ordering_Order$K)) + ".toMap()")
|
|
359
|
-
}
|
|
360
|
-
}}
|
|
361
|
-
|
|
362
|
-
|
|
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_RbMap from "../../ff/core/RbMap.mjs"
|
|
70
|
+
|
|
71
|
+
import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
|
|
72
|
+
|
|
73
|
+
import * as ff_core_Set from "../../ff/core/Set.mjs"
|
|
74
|
+
|
|
75
|
+
import * as ff_core_Show from "../../ff/core/Show.mjs"
|
|
76
|
+
|
|
77
|
+
import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
|
|
78
|
+
|
|
79
|
+
import * as ff_core_Stack from "../../ff/core/Stack.mjs"
|
|
80
|
+
|
|
81
|
+
import * as ff_core_Stream from "../../ff/core/Stream.mjs"
|
|
82
|
+
|
|
83
|
+
import * as ff_core_String from "../../ff/core/String.mjs"
|
|
84
|
+
|
|
85
|
+
import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
|
|
86
|
+
|
|
87
|
+
import * as ff_core_Task from "../../ff/core/Task.mjs"
|
|
88
|
+
|
|
89
|
+
import * as ff_core_Try from "../../ff/core/Try.mjs"
|
|
90
|
+
|
|
91
|
+
import * as ff_core_Unit from "../../ff/core/Unit.mjs"
|
|
92
|
+
|
|
93
|
+
// newtype Map
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
|
|
97
|
+
export function empty_() {
|
|
98
|
+
return ff_core_RbMap.E()
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
export async function empty_$($task) {
|
|
102
|
+
return ff_core_RbMap.E()
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
export function Map_add(self_, key_, value_, ff_core_Ordering_Order$K) {
|
|
106
|
+
return ff_core_RbMap.insert_(key_, value_, self_, ff_core_Ordering_Order$K)
|
|
107
|
+
}
|
|
108
|
+
|
|
109
|
+
export function Map_addAll(self_, that_, ff_core_Ordering_Order$K) {
|
|
110
|
+
let result_ = self_;
|
|
111
|
+
ff_core_RbMap.RB_each(that_, ((k_, v_) => {
|
|
112
|
+
result_ = ff_core_RbMap.insert_(k_, v_, result_, ff_core_Ordering_Order$K)
|
|
113
|
+
}), ff_core_Ordering_Order$K);
|
|
114
|
+
return result_
|
|
115
|
+
}
|
|
116
|
+
|
|
117
|
+
export function Map_get(self_, key_, ff_core_Ordering_Order$K) {
|
|
118
|
+
return ff_core_RbMap.RB_get(self_, key_, ff_core_Ordering_Order$K)
|
|
119
|
+
}
|
|
120
|
+
|
|
121
|
+
export function Map_remove(self_, key_, ff_core_Ordering_Order$K) {
|
|
122
|
+
return ff_core_RbMap.delete_(key_, self_, ff_core_Ordering_Order$K)
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
export function Map_removeAll(self_, that_, ff_core_Ordering_Order$K) {
|
|
126
|
+
let result_ = self_;
|
|
127
|
+
ff_core_RbMap.RB_each(that_, ((k_, _) => {
|
|
128
|
+
result_ = ff_core_RbMap.delete_(k_, result_, ff_core_Ordering_Order$K)
|
|
129
|
+
}), ff_core_Ordering_Order$K);
|
|
130
|
+
return result_
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
export function Map_pairs(self_, ff_core_Ordering_Order$K) {
|
|
134
|
+
return ff_core_Map.Map_toList(self_, ff_core_Ordering_Order$K)
|
|
135
|
+
}
|
|
136
|
+
|
|
137
|
+
export function Map_toList(self_, ff_core_Ordering_Order$K) {
|
|
138
|
+
return ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K)
|
|
139
|
+
}
|
|
140
|
+
|
|
141
|
+
export function Map_toArray(self_, ff_core_Ordering_Order$K) {
|
|
142
|
+
return ff_core_List.List_toArray(ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K))
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
export function Map_toStream(self_, cycle_ = false, ff_core_Ordering_Order$K) {
|
|
146
|
+
return ff_core_RbMap.RB_toStream(self_, cycle_, ff_core_Ordering_Order$K)
|
|
147
|
+
}
|
|
148
|
+
|
|
149
|
+
export function Map_keys(self_, ff_core_Ordering_Order$K) {
|
|
150
|
+
return ff_core_List.List_toSet(ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
151
|
+
return _w1.first_
|
|
152
|
+
})), ff_core_Ordering_Order$K)
|
|
153
|
+
}
|
|
154
|
+
|
|
155
|
+
export function Map_values(self_, ff_core_Ordering_Order$K) {
|
|
156
|
+
return ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
157
|
+
return _w1.second_
|
|
158
|
+
}))
|
|
159
|
+
}
|
|
160
|
+
|
|
161
|
+
export function Map_size(self_, ff_core_Ordering_Order$K) {
|
|
162
|
+
return ff_core_RbMap.RB_size(self_, ff_core_Ordering_Order$K)
|
|
163
|
+
}
|
|
164
|
+
|
|
165
|
+
export function Map_map(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1) {
|
|
166
|
+
return ff_core_RbMap.RB_map(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1)
|
|
167
|
+
}
|
|
168
|
+
|
|
169
|
+
export function Map_mapValues(self_, body_, ff_core_Ordering_Order$K) {
|
|
170
|
+
return ff_core_RbMap.RB_mapValues(self_, body_, ff_core_Ordering_Order$K)
|
|
171
|
+
}
|
|
172
|
+
|
|
173
|
+
export function Map_contains(self_, key_, ff_core_Ordering_Order$K) {
|
|
174
|
+
return (!ff_core_Option.Option_isEmpty(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K)))
|
|
175
|
+
}
|
|
176
|
+
|
|
177
|
+
export function Map_grab(self_, key_, ff_core_Ordering_Order$K) {
|
|
178
|
+
return ff_core_Option.Option_grab(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K))
|
|
179
|
+
}
|
|
180
|
+
|
|
181
|
+
export function Map_updateOrInsert(self_, key_, update_, default_, ff_core_Ordering_Order$K) {
|
|
182
|
+
{
|
|
183
|
+
const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
|
|
184
|
+
{
|
|
185
|
+
if(_1.None) {
|
|
186
|
+
return ff_core_Map.Map_add(self_, key_, default_(), ff_core_Ordering_Order$K)
|
|
187
|
+
return
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
{
|
|
191
|
+
if(_1.Some) {
|
|
192
|
+
const v_ = _1.value_;
|
|
193
|
+
return ff_core_Map.Map_add(self_, key_, update_(v_), ff_core_Ordering_Order$K)
|
|
194
|
+
return
|
|
195
|
+
}
|
|
196
|
+
}
|
|
197
|
+
}
|
|
198
|
+
}
|
|
199
|
+
|
|
200
|
+
export function Map_each(self_, body_, ff_core_Ordering_Order$K) {
|
|
201
|
+
ff_core_RbMap.RB_each(self_, body_, ff_core_Ordering_Order$K)
|
|
202
|
+
}
|
|
203
|
+
|
|
204
|
+
export function Map_eachWhile(self_, body_, ff_core_Ordering_Order$K) {
|
|
205
|
+
return ff_core_RbMap.RB_eachWhile(self_, body_, ff_core_Ordering_Order$K)
|
|
206
|
+
}
|
|
207
|
+
|
|
208
|
+
export function Map_find(self_, body_, ff_core_Ordering_Order$K) {
|
|
209
|
+
return ff_core_RbMap.RB_find(self_, body_, ff_core_Ordering_Order$K)
|
|
210
|
+
}
|
|
211
|
+
|
|
212
|
+
export async function Map_add$(self_, key_, value_, ff_core_Ordering_Order$K, $task) {
|
|
213
|
+
return ff_core_RbMap.insert_(key_, value_, self_, ff_core_Ordering_Order$K)
|
|
214
|
+
}
|
|
215
|
+
|
|
216
|
+
export async function Map_addAll$(self_, that_, ff_core_Ordering_Order$K, $task) {
|
|
217
|
+
let result_ = self_;
|
|
218
|
+
ff_core_RbMap.RB_each(that_, ((k_, v_) => {
|
|
219
|
+
result_ = ff_core_RbMap.insert_(k_, v_, result_, ff_core_Ordering_Order$K)
|
|
220
|
+
}), ff_core_Ordering_Order$K);
|
|
221
|
+
return result_
|
|
222
|
+
}
|
|
223
|
+
|
|
224
|
+
export async function Map_get$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
225
|
+
return ff_core_RbMap.RB_get(self_, key_, ff_core_Ordering_Order$K)
|
|
226
|
+
}
|
|
227
|
+
|
|
228
|
+
export async function Map_remove$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
229
|
+
return ff_core_RbMap.delete_(key_, self_, ff_core_Ordering_Order$K)
|
|
230
|
+
}
|
|
231
|
+
|
|
232
|
+
export async function Map_removeAll$(self_, that_, ff_core_Ordering_Order$K, $task) {
|
|
233
|
+
let result_ = self_;
|
|
234
|
+
ff_core_RbMap.RB_each(that_, ((k_, _) => {
|
|
235
|
+
result_ = ff_core_RbMap.delete_(k_, result_, ff_core_Ordering_Order$K)
|
|
236
|
+
}), ff_core_Ordering_Order$K);
|
|
237
|
+
return result_
|
|
238
|
+
}
|
|
239
|
+
|
|
240
|
+
export async function Map_pairs$(self_, ff_core_Ordering_Order$K, $task) {
|
|
241
|
+
return ff_core_Map.Map_toList(self_, ff_core_Ordering_Order$K)
|
|
242
|
+
}
|
|
243
|
+
|
|
244
|
+
export async function Map_toList$(self_, ff_core_Ordering_Order$K, $task) {
|
|
245
|
+
return ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K)
|
|
246
|
+
}
|
|
247
|
+
|
|
248
|
+
export async function Map_toArray$(self_, ff_core_Ordering_Order$K, $task) {
|
|
249
|
+
return ff_core_List.List_toArray(ff_core_RbMap.RB_pairs(self_, ff_core_Ordering_Order$K))
|
|
250
|
+
}
|
|
251
|
+
|
|
252
|
+
export async function Map_toStream$(self_, cycle_ = false, ff_core_Ordering_Order$K, $task) {
|
|
253
|
+
return (await ff_core_RbMap.RB_toStream$(self_, cycle_, ff_core_Ordering_Order$K, $task))
|
|
254
|
+
}
|
|
255
|
+
|
|
256
|
+
export async function Map_keys$(self_, ff_core_Ordering_Order$K, $task) {
|
|
257
|
+
return ff_core_List.List_toSet(ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
258
|
+
return _w1.first_
|
|
259
|
+
})), ff_core_Ordering_Order$K)
|
|
260
|
+
}
|
|
261
|
+
|
|
262
|
+
export async function Map_values$(self_, ff_core_Ordering_Order$K, $task) {
|
|
263
|
+
return ff_core_List.List_map(ff_core_Map.Map_pairs(self_, ff_core_Ordering_Order$K), ((_w1) => {
|
|
264
|
+
return _w1.second_
|
|
265
|
+
}))
|
|
266
|
+
}
|
|
267
|
+
|
|
268
|
+
export async function Map_size$(self_, ff_core_Ordering_Order$K, $task) {
|
|
269
|
+
return ff_core_RbMap.RB_size(self_, ff_core_Ordering_Order$K)
|
|
270
|
+
}
|
|
271
|
+
|
|
272
|
+
export async function Map_map$(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1, $task) {
|
|
273
|
+
return (await ff_core_RbMap.RB_map$(self_, body_, ff_core_Ordering_Order$K, ff_core_Ordering_Order$K1, $task))
|
|
274
|
+
}
|
|
275
|
+
|
|
276
|
+
export async function Map_mapValues$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
277
|
+
return (await ff_core_RbMap.RB_mapValues$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
278
|
+
}
|
|
279
|
+
|
|
280
|
+
export async function Map_contains$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
281
|
+
return (!ff_core_Option.Option_isEmpty(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K)))
|
|
282
|
+
}
|
|
283
|
+
|
|
284
|
+
export async function Map_grab$(self_, key_, ff_core_Ordering_Order$K, $task) {
|
|
285
|
+
return ff_core_Option.Option_grab(ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K))
|
|
286
|
+
}
|
|
287
|
+
|
|
288
|
+
export async function Map_updateOrInsert$(self_, key_, update_, default_, ff_core_Ordering_Order$K, $task) {
|
|
289
|
+
{
|
|
290
|
+
const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
|
|
291
|
+
{
|
|
292
|
+
if(_1.None) {
|
|
293
|
+
return ff_core_Map.Map_add(self_, key_, (await default_($task)), ff_core_Ordering_Order$K)
|
|
294
|
+
return
|
|
295
|
+
}
|
|
296
|
+
}
|
|
297
|
+
{
|
|
298
|
+
if(_1.Some) {
|
|
299
|
+
const v_ = _1.value_;
|
|
300
|
+
return ff_core_Map.Map_add(self_, key_, (await update_(v_, $task)), ff_core_Ordering_Order$K)
|
|
301
|
+
return
|
|
302
|
+
}
|
|
303
|
+
}
|
|
304
|
+
}
|
|
305
|
+
}
|
|
306
|
+
|
|
307
|
+
export async function Map_each$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
308
|
+
(await ff_core_RbMap.RB_each$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
309
|
+
}
|
|
310
|
+
|
|
311
|
+
export async function Map_eachWhile$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
312
|
+
return (await ff_core_RbMap.RB_eachWhile$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
313
|
+
}
|
|
314
|
+
|
|
315
|
+
export async function Map_find$(self_, body_, ff_core_Ordering_Order$K, $task) {
|
|
316
|
+
return (await ff_core_RbMap.RB_find$(self_, body_, ff_core_Ordering_Order$K, $task))
|
|
317
|
+
}
|
|
318
|
+
|
|
319
|
+
export function Map_addToList(self_, key_, value_, ff_core_Ordering_Order$K) {
|
|
320
|
+
return ff_core_Map.Map_updateOrInsert(self_, key_, ((_w1) => {
|
|
321
|
+
return ff_core_List.Link(value_, _w1)
|
|
322
|
+
}), (() => {
|
|
323
|
+
return ff_core_List.Link(value_, ff_core_List.Empty())
|
|
324
|
+
}), ff_core_Ordering_Order$K)
|
|
325
|
+
}
|
|
326
|
+
|
|
327
|
+
export async function Map_addToList$(self_, key_, value_, ff_core_Ordering_Order$K, $task) {
|
|
328
|
+
return ff_core_Map.Map_updateOrInsert(self_, key_, ((_w1) => {
|
|
329
|
+
return ff_core_List.Link(value_, _w1)
|
|
330
|
+
}), (() => {
|
|
331
|
+
return ff_core_List.Link(value_, ff_core_List.Empty())
|
|
332
|
+
}), ff_core_Ordering_Order$K)
|
|
333
|
+
}
|
|
334
|
+
|
|
335
|
+
export function ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal_Equal$K, ff_core_Ordering_Order$K, ff_core_Equal_Equal$V) { return {
|
|
336
|
+
equals_(x_, y_) {
|
|
337
|
+
return ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal_Equal$K, ff_core_Equal_Equal$V)).equals_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
338
|
+
},
|
|
339
|
+
async equals_$(x_, y_, $task) {
|
|
340
|
+
return ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal_Equal$K, ff_core_Equal_Equal$V)).equals_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
341
|
+
}
|
|
342
|
+
}}
|
|
343
|
+
|
|
344
|
+
export function ff_core_Ordering_Order$ff_core_Map_Map(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V) { return {
|
|
345
|
+
compare_(x_, y_) {
|
|
346
|
+
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V)).compare_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
347
|
+
},
|
|
348
|
+
async compare_$(x_, y_, $task) {
|
|
349
|
+
return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$K, ff_core_Ordering_Order$V)).compare_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))
|
|
350
|
+
}
|
|
351
|
+
}}
|
|
352
|
+
|
|
353
|
+
export function ff_core_Show_Show$ff_core_Map_Map(ff_core_Show_Show$K, ff_core_Ordering_Order$K, ff_core_Show_Show$V) { return {
|
|
354
|
+
show_(value_) {
|
|
355
|
+
return (ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show_Show$K, ff_core_Show_Show$V)).show_(ff_core_Map.Map_pairs(value_, ff_core_Ordering_Order$K)) + ".toMap()")
|
|
356
|
+
},
|
|
357
|
+
async show_$(value_, $task) {
|
|
358
|
+
return (ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show_Show$K, ff_core_Show_Show$V)).show_(ff_core_Map.Map_pairs(value_, ff_core_Ordering_Order$K)) + ".toMap()")
|
|
359
|
+
}
|
|
360
|
+
}}
|
|
361
|
+
|
|
362
|
+
|