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.
Files changed (78) hide show
  1. package/.hintrc +4 -4
  2. package/README.md +1 -1
  3. package/core/HttpClient.ff +1 -1
  4. package/lsp/LanguageServer.ff +32 -7
  5. package/lsp/stderr.txt +1 -0
  6. package/lsp/stdin.txt +11 -0
  7. package/lsp/stdout.txt +41 -0
  8. package/lux/Main.ff +56 -2
  9. package/meetup/AutoCompletion.ff +6 -0
  10. package/output/js/ff/compiler/Builder.mjs +444 -444
  11. package/output/js/ff/compiler/Compiler.mjs +416 -416
  12. package/output/js/ff/compiler/Dependencies.mjs +389 -389
  13. package/output/js/ff/compiler/Deriver.mjs +1170 -1170
  14. package/output/js/ff/compiler/Dictionaries.mjs +1309 -1309
  15. package/output/js/ff/compiler/Environment.mjs +1015 -1015
  16. package/output/js/ff/compiler/Inference.mjs +4268 -4268
  17. package/output/js/ff/compiler/JsEmitter.mjs +5391 -5391
  18. package/output/js/ff/compiler/JsImporter.mjs +266 -266
  19. package/output/js/ff/compiler/LspHook.mjs +793 -793
  20. package/output/js/ff/compiler/Main.mjs +1675 -1675
  21. package/output/js/ff/compiler/Parser.mjs +4008 -4008
  22. package/output/js/ff/compiler/Patterns.mjs +927 -927
  23. package/output/js/ff/compiler/Resolver.mjs +2307 -2307
  24. package/output/js/ff/compiler/Substitution.mjs +1150 -1150
  25. package/output/js/ff/compiler/Syntax.mjs +12434 -12434
  26. package/output/js/ff/compiler/Token.mjs +3096 -3096
  27. package/output/js/ff/compiler/Tokenizer.mjs +593 -593
  28. package/output/js/ff/compiler/Unification.mjs +1752 -1752
  29. package/output/js/ff/compiler/Wildcards.mjs +608 -608
  30. package/output/js/ff/compiler/Workspace.mjs +687 -687
  31. package/output/js/ff/core/Any.mjs +143 -143
  32. package/output/js/ff/core/Array.mjs +547 -547
  33. package/output/js/ff/core/AssetSystem.mjs +274 -274
  34. package/output/js/ff/core/Atomic.mjs +154 -154
  35. package/output/js/ff/core/Bool.mjs +152 -152
  36. package/output/js/ff/core/Box.mjs +112 -112
  37. package/output/js/ff/core/BrowserSystem.mjs +126 -126
  38. package/output/js/ff/core/Buffer.mjs +395 -395
  39. package/output/js/ff/core/BuildSystem.mjs +296 -296
  40. package/output/js/ff/core/Channel.mjs +189 -189
  41. package/output/js/ff/core/Char.mjs +149 -149
  42. package/output/js/ff/core/Core.mjs +300 -300
  43. package/output/js/ff/core/Duration.mjs +116 -116
  44. package/output/js/ff/core/Equal.mjs +179 -179
  45. package/output/js/ff/core/Error.mjs +142 -142
  46. package/output/js/ff/core/FileHandle.mjs +150 -150
  47. package/output/js/ff/core/Float.mjs +225 -225
  48. package/output/js/ff/core/HttpClient.mjs +190 -190
  49. package/output/js/ff/core/Instant.mjs +109 -109
  50. package/output/js/ff/core/Int.mjs +265 -265
  51. package/output/js/ff/core/IntMap.mjs +280 -280
  52. package/output/js/ff/core/JsSystem.mjs +238 -238
  53. package/output/js/ff/core/JsValue.mjs +708 -708
  54. package/output/js/ff/core/List.mjs +2334 -2334
  55. package/output/js/ff/core/Lock.mjs +229 -229
  56. package/output/js/ff/core/Log.mjs +163 -163
  57. package/output/js/ff/core/Map.mjs +362 -362
  58. package/output/js/ff/core/NodeSystem.mjs +294 -294
  59. package/output/js/ff/core/Nothing.mjs +104 -104
  60. package/output/js/ff/core/Option.mjs +1015 -1015
  61. package/output/js/ff/core/Ordering.mjs +730 -730
  62. package/output/js/ff/core/Pair.mjs +331 -331
  63. package/output/js/ff/core/Path.mjs +545 -545
  64. package/output/js/ff/core/RbMap.mjs +1940 -1940
  65. package/output/js/ff/core/Serializable.mjs +428 -428
  66. package/output/js/ff/core/Set.mjs +254 -254
  67. package/output/js/ff/core/Show.mjs +205 -205
  68. package/output/js/ff/core/SourceLocation.mjs +229 -229
  69. package/output/js/ff/core/Stack.mjs +529 -529
  70. package/output/js/ff/core/Stream.mjs +1304 -1304
  71. package/output/js/ff/core/String.mjs +365 -365
  72. package/output/js/ff/core/StringMap.mjs +280 -280
  73. package/output/js/ff/core/Task.mjs +320 -320
  74. package/output/js/ff/core/Try.mjs +507 -507
  75. package/output/js/ff/core/Unit.mjs +151 -151
  76. package/package.json +29 -29
  77. package/vscode/package-lock.json +5 -5
  78. package/vscode/package.json +1 -1
@@ -1,514 +1,514 @@
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 Ordering
92
- const OrderingBefore$ = {OrderingBefore: true};
93
- export function OrderingBefore() {
94
- return OrderingBefore$;
95
- }
96
- const OrderingSame$ = {OrderingSame: true};
97
- export function OrderingSame() {
98
- return OrderingSame$;
99
- }
100
- const OrderingAfter$ = {OrderingAfter: true};
101
- export function OrderingAfter() {
102
- return OrderingAfter$;
103
- }
104
-
105
-
106
-
107
- export function before_(x_, y_, ff_core_Ordering_Order$T) {
108
- return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingBefore())
109
- }
110
-
111
- export function notBefore_(x_, y_, ff_core_Ordering_Order$T) {
112
- return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingBefore())
113
- }
114
-
115
- export function after_(x_, y_, ff_core_Ordering_Order$T) {
116
- return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingAfter())
117
- }
118
-
119
- export function notAfter_(x_, y_, ff_core_Ordering_Order$T) {
120
- return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingAfter())
121
- }
122
-
123
- export function reverse_(compare_) {
124
- return ((x_, y_) => {
125
- {
126
- const _1 = compare_(x_, y_);
127
- {
128
- if(_1.OrderingBefore) {
129
- return ff_core_Ordering.OrderingAfter()
130
- return
131
- }
132
- }
133
- {
134
- if(_1.OrderingSame) {
135
- return ff_core_Ordering.OrderingSame()
136
- return
137
- }
138
- }
139
- {
140
- if(_1.OrderingAfter) {
141
- return ff_core_Ordering.OrderingBefore()
142
- return
143
- }
144
- }
145
- }
146
- })
147
- }
148
-
149
- export function pair_(compareFirst_, compareSecond_) {
150
- return ((x_, y_) => {
151
- {
152
- const _1 = compareFirst_(x_.first_, y_.first_);
153
- {
154
- if(_1.OrderingSame) {
155
- return compareSecond_(x_.second_, y_.second_)
156
- return
157
- }
158
- }
159
- {
160
- const ordering_ = _1;
161
- return ordering_
162
- return
163
- }
164
- }
165
- })
166
- }
167
-
168
- export function fromInt_(order_) {
169
- if((order_ < 0)) {
170
- return ff_core_Ordering.OrderingBefore()
171
- } else if((order_ === 0)) {
172
- return ff_core_Ordering.OrderingSame()
173
- } else {
174
- return ff_core_Ordering.OrderingAfter()
175
- }
176
- }
177
-
178
- export function fromFloat_(order_) {
179
- if((order_ < 0.0)) {
180
- return ff_core_Ordering.OrderingBefore()
181
- } else if((order_ === 0.0)) {
182
- return ff_core_Ordering.OrderingSame()
183
- } else {
184
- return ff_core_Ordering.OrderingAfter()
185
- }
186
- }
187
-
188
- export function fromLessThan_(lessThan_) {
189
- return ((_1, _2) => {
190
- {
191
- const x_ = _1;
192
- const y_ = _2;
193
- const _guard1 = lessThan_(x_, y_);
194
- if(_guard1) {
195
- return ff_core_Ordering.OrderingBefore()
196
- return
197
- }
198
- }
199
- {
200
- const x_ = _1;
201
- const y_ = _2;
202
- const _guard1 = lessThan_(y_, x_);
203
- if(_guard1) {
204
- return ff_core_Ordering.OrderingAfter()
205
- return
206
- }
207
- }
208
- {
209
- return ff_core_Ordering.OrderingSame()
210
- return
211
- }
212
- })
213
- }
214
-
215
- export async function before_$(x_, y_, ff_core_Ordering_Order$T, $task) {
216
- return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingBefore())
217
- }
218
-
219
- export async function notBefore_$(x_, y_, ff_core_Ordering_Order$T, $task) {
220
- return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingBefore())
221
- }
222
-
223
- export async function after_$(x_, y_, ff_core_Ordering_Order$T, $task) {
224
- return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingAfter())
225
- }
226
-
227
- export async function notAfter_$(x_, y_, ff_core_Ordering_Order$T, $task) {
228
- return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingAfter())
229
- }
230
-
231
- export async function reverse_$(compare_, $task) {
232
- return (async (x_, y_, $task) => {
233
- {
234
- const _1 = (await compare_(x_, y_, $task));
235
- {
236
- if(_1.OrderingBefore) {
237
- return ff_core_Ordering.OrderingAfter()
238
- return
239
- }
240
- }
241
- {
242
- if(_1.OrderingSame) {
243
- return ff_core_Ordering.OrderingSame()
244
- return
245
- }
246
- }
247
- {
248
- if(_1.OrderingAfter) {
249
- return ff_core_Ordering.OrderingBefore()
250
- return
251
- }
252
- }
253
- }
254
- })
255
- }
256
-
257
- export async function pair_$(compareFirst_, compareSecond_, $task) {
258
- return (async (x_, y_, $task) => {
259
- {
260
- const _1 = (await compareFirst_(x_.first_, y_.first_, $task));
261
- {
262
- if(_1.OrderingSame) {
263
- return (await compareSecond_(x_.second_, y_.second_, $task))
264
- return
265
- }
266
- }
267
- {
268
- const ordering_ = _1;
269
- return ordering_
270
- return
271
- }
272
- }
273
- })
274
- }
275
-
276
- export async function fromInt_$(order_, $task) {
277
- if((order_ < 0)) {
278
- return ff_core_Ordering.OrderingBefore()
279
- } else if((order_ === 0)) {
280
- return ff_core_Ordering.OrderingSame()
281
- } else {
282
- return ff_core_Ordering.OrderingAfter()
283
- }
284
- }
285
-
286
- export async function fromFloat_$(order_, $task) {
287
- if((order_ < 0.0)) {
288
- return ff_core_Ordering.OrderingBefore()
289
- } else if((order_ === 0.0)) {
290
- return ff_core_Ordering.OrderingSame()
291
- } else {
292
- return ff_core_Ordering.OrderingAfter()
293
- }
294
- }
295
-
296
- export async function fromLessThan_$(lessThan_, $task) {
297
- return (async (_1, _2, $task) => {
298
- {
299
- const x_ = _1;
300
- const y_ = _2;
301
- const _guard1 = (await lessThan_(x_, y_, $task));
302
- if(_guard1) {
303
- return ff_core_Ordering.OrderingBefore()
304
- return
305
- }
306
- }
307
- {
308
- const x_ = _1;
309
- const y_ = _2;
310
- const _guard1 = (await lessThan_(y_, x_, $task));
311
- if(_guard1) {
312
- return ff_core_Ordering.OrderingAfter()
313
- return
314
- }
315
- }
316
- {
317
- return ff_core_Ordering.OrderingSame()
318
- return
319
- }
320
- })
321
- }
322
-
323
- export function Ordering_toInt(self_) {
324
- {
325
- const _1 = self_;
326
- {
327
- if(_1.OrderingBefore) {
328
- return (-1)
329
- return
330
- }
331
- }
332
- {
333
- if(_1.OrderingSame) {
334
- return 0
335
- return
336
- }
337
- }
338
- {
339
- if(_1.OrderingAfter) {
340
- return 1
341
- return
342
- }
343
- }
344
- }
345
- }
346
-
347
- export function Ordering_reverse(self_) {
348
- {
349
- const _1 = self_;
350
- {
351
- if(_1.OrderingBefore) {
352
- return ff_core_Ordering.OrderingAfter()
353
- return
354
- }
355
- }
356
- {
357
- if(_1.OrderingSame) {
358
- return ff_core_Ordering.OrderingSame()
359
- return
360
- }
361
- }
362
- {
363
- if(_1.OrderingAfter) {
364
- return ff_core_Ordering.OrderingBefore()
365
- return
366
- }
367
- }
368
- }
369
- }
370
-
371
- export async function Ordering_toInt$(self_, $task) {
372
- {
373
- const _1 = self_;
374
- {
375
- if(_1.OrderingBefore) {
376
- return (-1)
377
- return
378
- }
379
- }
380
- {
381
- if(_1.OrderingSame) {
382
- return 0
383
- return
384
- }
385
- }
386
- {
387
- if(_1.OrderingAfter) {
388
- return 1
389
- return
390
- }
391
- }
392
- }
393
- }
394
-
395
- export async function Ordering_reverse$(self_, $task) {
396
- {
397
- const _1 = self_;
398
- {
399
- if(_1.OrderingBefore) {
400
- return ff_core_Ordering.OrderingAfter()
401
- return
402
- }
403
- }
404
- {
405
- if(_1.OrderingSame) {
406
- return ff_core_Ordering.OrderingSame()
407
- return
408
- }
409
- }
410
- {
411
- if(_1.OrderingAfter) {
412
- return ff_core_Ordering.OrderingBefore()
413
- return
414
- }
415
- }
416
- }
417
- }
418
-
419
- export const ff_core_Ordering_Order$ff_core_Nothing_Nothing = {
420
- compare_(x_, y_) {
421
- return ff_core_Ordering.OrderingSame()
422
- },
423
- async compare_$(x_, y_, $task) {
424
- return ff_core_Ordering.OrderingSame()
425
- }
426
- };
427
-
428
- export const ff_core_Ordering_Order$ff_core_Bool_Bool = {
429
- compare_(x_, y_) {
430
- {
431
- const x_a = x_;
432
- const y_a = y_;
433
- {
434
- if(!x_a) {
435
- if(y_a) {
436
- return ff_core_Ordering.OrderingBefore()
437
- return
438
- }
439
- }
440
- }
441
- {
442
- if(x_a) {
443
- if(!y_a) {
444
- return ff_core_Ordering.OrderingAfter()
445
- return
446
- }
447
- }
448
- }
449
- {
450
- return ff_core_Ordering.OrderingSame()
451
- return
452
- }
453
- }
454
- },
455
- async compare_$(x_, y_, $task) {
456
- {
457
- const x_a = x_;
458
- const y_a = y_;
459
- {
460
- if(!x_a) {
461
- if(y_a) {
462
- return ff_core_Ordering.OrderingBefore()
463
- return
464
- }
465
- }
466
- }
467
- {
468
- if(x_a) {
469
- if(!y_a) {
470
- return ff_core_Ordering.OrderingAfter()
471
- return
472
- }
473
- }
474
- }
475
- {
476
- return ff_core_Ordering.OrderingSame()
477
- return
478
- }
479
- }
480
- }
481
- };
482
-
483
- export const ff_core_Ordering_Order$ff_core_Char_Char = {
484
- compare_(x_, y_) {
485
- return ff_core_Ordering.fromInt_((x_ - y_))
486
- },
487
- async compare_$(x_, y_, $task) {
488
- return ff_core_Ordering.fromInt_((x_ - y_))
489
- }
490
- };
491
-
492
- export const ff_core_Ordering_Order$ff_core_Int_Int = {
493
- compare_(x_, y_) {
494
- return ff_core_Ordering.fromInt_((x_ - y_))
495
- },
496
- async compare_$(x_, y_, $task) {
497
- return ff_core_Ordering.fromInt_((x_ - y_))
498
- }
499
- };
500
-
501
- export const ff_core_Ordering_Order$ff_core_Float_Float = {
502
- compare_(x_, y_) {
503
- return ff_core_Ordering.fromFloat_((x_ - y_))
504
- },
505
- async compare_$(x_, y_, $task) {
506
- return ff_core_Ordering.fromFloat_((x_ - y_))
507
- }
508
- };
509
-
510
- export const ff_core_Ordering_Order$ff_core_String_String = {
511
- compare_(x_, y_) {
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 Ordering
92
+ const OrderingBefore$ = {OrderingBefore: true};
93
+ export function OrderingBefore() {
94
+ return OrderingBefore$;
95
+ }
96
+ const OrderingSame$ = {OrderingSame: true};
97
+ export function OrderingSame() {
98
+ return OrderingSame$;
99
+ }
100
+ const OrderingAfter$ = {OrderingAfter: true};
101
+ export function OrderingAfter() {
102
+ return OrderingAfter$;
103
+ }
104
+
105
+
106
+
107
+ export function before_(x_, y_, ff_core_Ordering_Order$T) {
108
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingBefore())
109
+ }
110
+
111
+ export function notBefore_(x_, y_, ff_core_Ordering_Order$T) {
112
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingBefore())
113
+ }
114
+
115
+ export function after_(x_, y_, ff_core_Ordering_Order$T) {
116
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingAfter())
117
+ }
118
+
119
+ export function notAfter_(x_, y_, ff_core_Ordering_Order$T) {
120
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingAfter())
121
+ }
122
+
123
+ export function reverse_(compare_) {
124
+ return ((x_, y_) => {
125
+ {
126
+ const _1 = compare_(x_, y_);
127
+ {
128
+ if(_1.OrderingBefore) {
129
+ return ff_core_Ordering.OrderingAfter()
130
+ return
131
+ }
132
+ }
133
+ {
134
+ if(_1.OrderingSame) {
135
+ return ff_core_Ordering.OrderingSame()
136
+ return
137
+ }
138
+ }
139
+ {
140
+ if(_1.OrderingAfter) {
141
+ return ff_core_Ordering.OrderingBefore()
142
+ return
143
+ }
144
+ }
145
+ }
146
+ })
147
+ }
148
+
149
+ export function pair_(compareFirst_, compareSecond_) {
150
+ return ((x_, y_) => {
151
+ {
152
+ const _1 = compareFirst_(x_.first_, y_.first_);
153
+ {
154
+ if(_1.OrderingSame) {
155
+ return compareSecond_(x_.second_, y_.second_)
156
+ return
157
+ }
158
+ }
159
+ {
160
+ const ordering_ = _1;
161
+ return ordering_
162
+ return
163
+ }
164
+ }
165
+ })
166
+ }
167
+
168
+ export function fromInt_(order_) {
169
+ if((order_ < 0)) {
170
+ return ff_core_Ordering.OrderingBefore()
171
+ } else if((order_ === 0)) {
172
+ return ff_core_Ordering.OrderingSame()
173
+ } else {
174
+ return ff_core_Ordering.OrderingAfter()
175
+ }
176
+ }
177
+
178
+ export function fromFloat_(order_) {
179
+ if((order_ < 0.0)) {
180
+ return ff_core_Ordering.OrderingBefore()
181
+ } else if((order_ === 0.0)) {
182
+ return ff_core_Ordering.OrderingSame()
183
+ } else {
184
+ return ff_core_Ordering.OrderingAfter()
185
+ }
186
+ }
187
+
188
+ export function fromLessThan_(lessThan_) {
189
+ return ((_1, _2) => {
190
+ {
191
+ const x_ = _1;
192
+ const y_ = _2;
193
+ const _guard1 = lessThan_(x_, y_);
194
+ if(_guard1) {
195
+ return ff_core_Ordering.OrderingBefore()
196
+ return
197
+ }
198
+ }
199
+ {
200
+ const x_ = _1;
201
+ const y_ = _2;
202
+ const _guard1 = lessThan_(y_, x_);
203
+ if(_guard1) {
204
+ return ff_core_Ordering.OrderingAfter()
205
+ return
206
+ }
207
+ }
208
+ {
209
+ return ff_core_Ordering.OrderingSame()
210
+ return
211
+ }
212
+ })
213
+ }
214
+
215
+ export async function before_$(x_, y_, ff_core_Ordering_Order$T, $task) {
216
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingBefore())
217
+ }
218
+
219
+ export async function notBefore_$(x_, y_, ff_core_Ordering_Order$T, $task) {
220
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingBefore())
221
+ }
222
+
223
+ export async function after_$(x_, y_, ff_core_Ordering_Order$T, $task) {
224
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) === ff_core_Ordering.OrderingAfter())
225
+ }
226
+
227
+ export async function notAfter_$(x_, y_, ff_core_Ordering_Order$T, $task) {
228
+ return (ff_core_Ordering_Order$T.compare_(x_, y_) !== ff_core_Ordering.OrderingAfter())
229
+ }
230
+
231
+ export async function reverse_$(compare_, $task) {
232
+ return (async (x_, y_, $task) => {
233
+ {
234
+ const _1 = (await compare_(x_, y_, $task));
235
+ {
236
+ if(_1.OrderingBefore) {
237
+ return ff_core_Ordering.OrderingAfter()
238
+ return
239
+ }
240
+ }
241
+ {
242
+ if(_1.OrderingSame) {
243
+ return ff_core_Ordering.OrderingSame()
244
+ return
245
+ }
246
+ }
247
+ {
248
+ if(_1.OrderingAfter) {
249
+ return ff_core_Ordering.OrderingBefore()
250
+ return
251
+ }
252
+ }
253
+ }
254
+ })
255
+ }
256
+
257
+ export async function pair_$(compareFirst_, compareSecond_, $task) {
258
+ return (async (x_, y_, $task) => {
259
+ {
260
+ const _1 = (await compareFirst_(x_.first_, y_.first_, $task));
261
+ {
262
+ if(_1.OrderingSame) {
263
+ return (await compareSecond_(x_.second_, y_.second_, $task))
264
+ return
265
+ }
266
+ }
267
+ {
268
+ const ordering_ = _1;
269
+ return ordering_
270
+ return
271
+ }
272
+ }
273
+ })
274
+ }
275
+
276
+ export async function fromInt_$(order_, $task) {
277
+ if((order_ < 0)) {
278
+ return ff_core_Ordering.OrderingBefore()
279
+ } else if((order_ === 0)) {
280
+ return ff_core_Ordering.OrderingSame()
281
+ } else {
282
+ return ff_core_Ordering.OrderingAfter()
283
+ }
284
+ }
285
+
286
+ export async function fromFloat_$(order_, $task) {
287
+ if((order_ < 0.0)) {
288
+ return ff_core_Ordering.OrderingBefore()
289
+ } else if((order_ === 0.0)) {
290
+ return ff_core_Ordering.OrderingSame()
291
+ } else {
292
+ return ff_core_Ordering.OrderingAfter()
293
+ }
294
+ }
295
+
296
+ export async function fromLessThan_$(lessThan_, $task) {
297
+ return (async (_1, _2, $task) => {
298
+ {
299
+ const x_ = _1;
300
+ const y_ = _2;
301
+ const _guard1 = (await lessThan_(x_, y_, $task));
302
+ if(_guard1) {
303
+ return ff_core_Ordering.OrderingBefore()
304
+ return
305
+ }
306
+ }
307
+ {
308
+ const x_ = _1;
309
+ const y_ = _2;
310
+ const _guard1 = (await lessThan_(y_, x_, $task));
311
+ if(_guard1) {
312
+ return ff_core_Ordering.OrderingAfter()
313
+ return
314
+ }
315
+ }
316
+ {
317
+ return ff_core_Ordering.OrderingSame()
318
+ return
319
+ }
320
+ })
321
+ }
322
+
323
+ export function Ordering_toInt(self_) {
324
+ {
325
+ const _1 = self_;
326
+ {
327
+ if(_1.OrderingBefore) {
328
+ return (-1)
329
+ return
330
+ }
331
+ }
332
+ {
333
+ if(_1.OrderingSame) {
334
+ return 0
335
+ return
336
+ }
337
+ }
338
+ {
339
+ if(_1.OrderingAfter) {
340
+ return 1
341
+ return
342
+ }
343
+ }
344
+ }
345
+ }
346
+
347
+ export function Ordering_reverse(self_) {
348
+ {
349
+ const _1 = self_;
350
+ {
351
+ if(_1.OrderingBefore) {
352
+ return ff_core_Ordering.OrderingAfter()
353
+ return
354
+ }
355
+ }
356
+ {
357
+ if(_1.OrderingSame) {
358
+ return ff_core_Ordering.OrderingSame()
359
+ return
360
+ }
361
+ }
362
+ {
363
+ if(_1.OrderingAfter) {
364
+ return ff_core_Ordering.OrderingBefore()
365
+ return
366
+ }
367
+ }
368
+ }
369
+ }
370
+
371
+ export async function Ordering_toInt$(self_, $task) {
372
+ {
373
+ const _1 = self_;
374
+ {
375
+ if(_1.OrderingBefore) {
376
+ return (-1)
377
+ return
378
+ }
379
+ }
380
+ {
381
+ if(_1.OrderingSame) {
382
+ return 0
383
+ return
384
+ }
385
+ }
386
+ {
387
+ if(_1.OrderingAfter) {
388
+ return 1
389
+ return
390
+ }
391
+ }
392
+ }
393
+ }
394
+
395
+ export async function Ordering_reverse$(self_, $task) {
396
+ {
397
+ const _1 = self_;
398
+ {
399
+ if(_1.OrderingBefore) {
400
+ return ff_core_Ordering.OrderingAfter()
401
+ return
402
+ }
403
+ }
404
+ {
405
+ if(_1.OrderingSame) {
406
+ return ff_core_Ordering.OrderingSame()
407
+ return
408
+ }
409
+ }
410
+ {
411
+ if(_1.OrderingAfter) {
412
+ return ff_core_Ordering.OrderingBefore()
413
+ return
414
+ }
415
+ }
416
+ }
417
+ }
418
+
419
+ export const ff_core_Ordering_Order$ff_core_Nothing_Nothing = {
420
+ compare_(x_, y_) {
421
+ return ff_core_Ordering.OrderingSame()
422
+ },
423
+ async compare_$(x_, y_, $task) {
424
+ return ff_core_Ordering.OrderingSame()
425
+ }
426
+ };
427
+
428
+ export const ff_core_Ordering_Order$ff_core_Bool_Bool = {
429
+ compare_(x_, y_) {
430
+ {
431
+ const x_a = x_;
432
+ const y_a = y_;
433
+ {
434
+ if(!x_a) {
435
+ if(y_a) {
436
+ return ff_core_Ordering.OrderingBefore()
437
+ return
438
+ }
439
+ }
440
+ }
441
+ {
442
+ if(x_a) {
443
+ if(!y_a) {
444
+ return ff_core_Ordering.OrderingAfter()
445
+ return
446
+ }
447
+ }
448
+ }
449
+ {
450
+ return ff_core_Ordering.OrderingSame()
451
+ return
452
+ }
453
+ }
454
+ },
455
+ async compare_$(x_, y_, $task) {
456
+ {
457
+ const x_a = x_;
458
+ const y_a = y_;
459
+ {
460
+ if(!x_a) {
461
+ if(y_a) {
462
+ return ff_core_Ordering.OrderingBefore()
463
+ return
464
+ }
465
+ }
466
+ }
467
+ {
468
+ if(x_a) {
469
+ if(!y_a) {
470
+ return ff_core_Ordering.OrderingAfter()
471
+ return
472
+ }
473
+ }
474
+ }
475
+ {
476
+ return ff_core_Ordering.OrderingSame()
477
+ return
478
+ }
479
+ }
480
+ }
481
+ };
482
+
483
+ export const ff_core_Ordering_Order$ff_core_Char_Char = {
484
+ compare_(x_, y_) {
485
+ return ff_core_Ordering.fromInt_((x_ - y_))
486
+ },
487
+ async compare_$(x_, y_, $task) {
488
+ return ff_core_Ordering.fromInt_((x_ - y_))
489
+ }
490
+ };
491
+
492
+ export const ff_core_Ordering_Order$ff_core_Int_Int = {
493
+ compare_(x_, y_) {
494
+ return ff_core_Ordering.fromInt_((x_ - y_))
495
+ },
496
+ async compare_$(x_, y_, $task) {
497
+ return ff_core_Ordering.fromInt_((x_ - y_))
498
+ }
499
+ };
500
+
501
+ export const ff_core_Ordering_Order$ff_core_Float_Float = {
502
+ compare_(x_, y_) {
503
+ return ff_core_Ordering.fromFloat_((x_ - y_))
504
+ },
505
+ async compare_$(x_, y_, $task) {
506
+ return ff_core_Ordering.fromFloat_((x_ - y_))
507
+ }
508
+ };
509
+
510
+ export const ff_core_Ordering_Order$ff_core_String_String = {
511
+ compare_(x_, y_) {
512
512
 
513
513
  if(x_ < y_) {
514
514
  return ff_core_Ordering.OrderingBefore()
@@ -517,222 +517,222 @@ compare_(x_, y_) {
517
517
  } else {
518
518
  return ff_core_Ordering.OrderingSame()
519
519
  }
520
-
521
- },
522
- async compare_$(x_, y_, $task) {
523
- throw new Error('Function compare is missing on this target in async context.');
524
- }
525
- };
526
-
527
- export function ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$A, ff_core_Ordering_Order$B) { return {
528
- compare_(x_, y_) {
529
- {
530
- const _1 = ff_core_Ordering_Order$A.compare_(x_.first_, y_.first_);
531
- {
532
- if(_1.OrderingSame) {
533
- return ff_core_Ordering_Order$B.compare_(x_.second_, y_.second_)
534
- return
535
- }
536
- }
537
- {
538
- const o_ = _1;
539
- return o_
540
- return
541
- }
542
- }
543
- },
544
- async compare_$(x_, y_, $task) {
545
- {
546
- const _1 = ff_core_Ordering_Order$A.compare_(x_.first_, y_.first_);
547
- {
548
- if(_1.OrderingSame) {
549
- return ff_core_Ordering_Order$B.compare_(x_.second_, y_.second_)
550
- return
551
- }
552
- }
553
- {
554
- const o_ = _1;
555
- return o_
556
- return
557
- }
558
- }
559
- }
560
- }}
561
-
562
- export function ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T) { return {
563
- compare_(x_, y_) {
564
- {
565
- const x_a = x_;
566
- const y_a = y_;
567
- {
568
- if(x_a.Empty) {
569
- if(y_a.Empty) {
570
- return ff_core_Ordering.OrderingSame()
571
- return
572
- }
573
- }
574
- }
575
- {
576
- if(x_a.Empty) {
577
- return ff_core_Ordering.OrderingBefore()
578
- return
579
- }
580
- }
581
- {
582
- if(y_a.Empty) {
583
- return ff_core_Ordering.OrderingAfter()
584
- return
585
- }
586
- }
587
- {
588
- if(x_a.Link) {
589
- const a_ = x_a.head_;
590
- const as_ = x_a.tail_;
591
- if(y_a.Link) {
592
- const b_ = y_a.head_;
593
- const bs_ = y_a.tail_;
594
- {
595
- const _1 = ff_core_Ordering_Order$T.compare_(a_, b_);
596
- {
597
- if(_1.OrderingSame) {
598
- return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T).compare_(as_, bs_)
599
- return
600
- }
601
- }
602
- {
603
- const o_ = _1;
604
- return o_
605
- return
606
- }
607
- }
608
- return
609
- }
610
- }
611
- }
612
- }
613
- },
614
- async compare_$(x_, y_, $task) {
615
- {
616
- const x_a = x_;
617
- const y_a = y_;
618
- {
619
- if(x_a.Empty) {
620
- if(y_a.Empty) {
621
- return ff_core_Ordering.OrderingSame()
622
- return
623
- }
624
- }
625
- }
626
- {
627
- if(x_a.Empty) {
628
- return ff_core_Ordering.OrderingBefore()
629
- return
630
- }
631
- }
632
- {
633
- if(y_a.Empty) {
634
- return ff_core_Ordering.OrderingAfter()
635
- return
636
- }
637
- }
638
- {
639
- if(x_a.Link) {
640
- const a_ = x_a.head_;
641
- const as_ = x_a.tail_;
642
- if(y_a.Link) {
643
- const b_ = y_a.head_;
644
- const bs_ = y_a.tail_;
645
- {
646
- const _1 = ff_core_Ordering_Order$T.compare_(a_, b_);
647
- {
648
- if(_1.OrderingSame) {
649
- return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T).compare_(as_, bs_)
650
- return
651
- }
652
- }
653
- {
654
- const o_ = _1;
655
- return o_
656
- return
657
- }
658
- }
659
- return
660
- }
661
- }
662
- }
663
- }
664
- }
665
- }}
666
-
667
- export const ff_core_Equal_Equal$ff_core_Ordering_Ordering = {
668
- equals_(x_, y_) {
669
- {
670
- const x_a = x_;
671
- const y_a = y_;
672
- {
673
- if(x_a.OrderingBefore) {
674
- if(y_a.OrderingBefore) {
675
- return true
676
- return
677
- }
678
- }
679
- }
680
- {
681
- if(x_a.OrderingSame) {
682
- if(y_a.OrderingSame) {
683
- return true
684
- return
685
- }
686
- }
687
- }
688
- {
689
- if(x_a.OrderingAfter) {
690
- if(y_a.OrderingAfter) {
691
- return true
692
- return
693
- }
694
- }
695
- }
696
- {
697
- return false
698
- return
699
- }
700
- }
701
- },
702
- async equals_$(x_, y_, $task) {
703
- {
704
- const x_a = x_;
705
- const y_a = y_;
706
- {
707
- if(x_a.OrderingBefore) {
708
- if(y_a.OrderingBefore) {
709
- return true
710
- return
711
- }
712
- }
713
- }
714
- {
715
- if(x_a.OrderingSame) {
716
- if(y_a.OrderingSame) {
717
- return true
718
- return
719
- }
720
- }
721
- }
722
- {
723
- if(x_a.OrderingAfter) {
724
- if(y_a.OrderingAfter) {
725
- return true
726
- return
727
- }
728
- }
729
- }
730
- {
731
- return false
732
- return
733
- }
734
- }
735
- }
736
- };
737
-
738
-
520
+
521
+ },
522
+ async compare_$(x_, y_, $task) {
523
+ throw new Error('Function compare is missing on this target in async context.');
524
+ }
525
+ };
526
+
527
+ export function ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering_Order$A, ff_core_Ordering_Order$B) { return {
528
+ compare_(x_, y_) {
529
+ {
530
+ const _1 = ff_core_Ordering_Order$A.compare_(x_.first_, y_.first_);
531
+ {
532
+ if(_1.OrderingSame) {
533
+ return ff_core_Ordering_Order$B.compare_(x_.second_, y_.second_)
534
+ return
535
+ }
536
+ }
537
+ {
538
+ const o_ = _1;
539
+ return o_
540
+ return
541
+ }
542
+ }
543
+ },
544
+ async compare_$(x_, y_, $task) {
545
+ {
546
+ const _1 = ff_core_Ordering_Order$A.compare_(x_.first_, y_.first_);
547
+ {
548
+ if(_1.OrderingSame) {
549
+ return ff_core_Ordering_Order$B.compare_(x_.second_, y_.second_)
550
+ return
551
+ }
552
+ }
553
+ {
554
+ const o_ = _1;
555
+ return o_
556
+ return
557
+ }
558
+ }
559
+ }
560
+ }}
561
+
562
+ export function ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T) { return {
563
+ compare_(x_, y_) {
564
+ {
565
+ const x_a = x_;
566
+ const y_a = y_;
567
+ {
568
+ if(x_a.Empty) {
569
+ if(y_a.Empty) {
570
+ return ff_core_Ordering.OrderingSame()
571
+ return
572
+ }
573
+ }
574
+ }
575
+ {
576
+ if(x_a.Empty) {
577
+ return ff_core_Ordering.OrderingBefore()
578
+ return
579
+ }
580
+ }
581
+ {
582
+ if(y_a.Empty) {
583
+ return ff_core_Ordering.OrderingAfter()
584
+ return
585
+ }
586
+ }
587
+ {
588
+ if(x_a.Link) {
589
+ const a_ = x_a.head_;
590
+ const as_ = x_a.tail_;
591
+ if(y_a.Link) {
592
+ const b_ = y_a.head_;
593
+ const bs_ = y_a.tail_;
594
+ {
595
+ const _1 = ff_core_Ordering_Order$T.compare_(a_, b_);
596
+ {
597
+ if(_1.OrderingSame) {
598
+ return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T).compare_(as_, bs_)
599
+ return
600
+ }
601
+ }
602
+ {
603
+ const o_ = _1;
604
+ return o_
605
+ return
606
+ }
607
+ }
608
+ return
609
+ }
610
+ }
611
+ }
612
+ }
613
+ },
614
+ async compare_$(x_, y_, $task) {
615
+ {
616
+ const x_a = x_;
617
+ const y_a = y_;
618
+ {
619
+ if(x_a.Empty) {
620
+ if(y_a.Empty) {
621
+ return ff_core_Ordering.OrderingSame()
622
+ return
623
+ }
624
+ }
625
+ }
626
+ {
627
+ if(x_a.Empty) {
628
+ return ff_core_Ordering.OrderingBefore()
629
+ return
630
+ }
631
+ }
632
+ {
633
+ if(y_a.Empty) {
634
+ return ff_core_Ordering.OrderingAfter()
635
+ return
636
+ }
637
+ }
638
+ {
639
+ if(x_a.Link) {
640
+ const a_ = x_a.head_;
641
+ const as_ = x_a.tail_;
642
+ if(y_a.Link) {
643
+ const b_ = y_a.head_;
644
+ const bs_ = y_a.tail_;
645
+ {
646
+ const _1 = ff_core_Ordering_Order$T.compare_(a_, b_);
647
+ {
648
+ if(_1.OrderingSame) {
649
+ return ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering_Order$T).compare_(as_, bs_)
650
+ return
651
+ }
652
+ }
653
+ {
654
+ const o_ = _1;
655
+ return o_
656
+ return
657
+ }
658
+ }
659
+ return
660
+ }
661
+ }
662
+ }
663
+ }
664
+ }
665
+ }}
666
+
667
+ export const ff_core_Equal_Equal$ff_core_Ordering_Ordering = {
668
+ equals_(x_, y_) {
669
+ {
670
+ const x_a = x_;
671
+ const y_a = y_;
672
+ {
673
+ if(x_a.OrderingBefore) {
674
+ if(y_a.OrderingBefore) {
675
+ return true
676
+ return
677
+ }
678
+ }
679
+ }
680
+ {
681
+ if(x_a.OrderingSame) {
682
+ if(y_a.OrderingSame) {
683
+ return true
684
+ return
685
+ }
686
+ }
687
+ }
688
+ {
689
+ if(x_a.OrderingAfter) {
690
+ if(y_a.OrderingAfter) {
691
+ return true
692
+ return
693
+ }
694
+ }
695
+ }
696
+ {
697
+ return false
698
+ return
699
+ }
700
+ }
701
+ },
702
+ async equals_$(x_, y_, $task) {
703
+ {
704
+ const x_a = x_;
705
+ const y_a = y_;
706
+ {
707
+ if(x_a.OrderingBefore) {
708
+ if(y_a.OrderingBefore) {
709
+ return true
710
+ return
711
+ }
712
+ }
713
+ }
714
+ {
715
+ if(x_a.OrderingSame) {
716
+ if(y_a.OrderingSame) {
717
+ return true
718
+ return
719
+ }
720
+ }
721
+ }
722
+ {
723
+ if(x_a.OrderingAfter) {
724
+ if(y_a.OrderingAfter) {
725
+ return true
726
+ return
727
+ }
728
+ }
729
+ }
730
+ {
731
+ return false
732
+ return
733
+ }
734
+ }
735
+ }
736
+ };
737
+
738
+