functionalscript 0.3.6 → 0.3.8
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/com/cpp/module.f.js +0 -1
- package/com/cs/module.f.js +5 -6
- package/com/rust/module.f.d.ts +3 -3
- package/com/rust/module.f.js +24 -29
- package/com/test/build.f.js +2 -2
- package/com/types/module.f.d.ts +1 -1
- package/com/types/module.f.js +1 -2
- package/com/types/testlib.f.js +0 -1
- package/commonjs/build/module.f.d.ts +2 -2
- package/commonjs/build/module.f.js +3 -6
- package/commonjs/build/test.f.js +0 -4
- package/commonjs/module/function/module.f.d.ts +1 -1
- package/commonjs/module/function/module.f.js +1 -1
- package/commonjs/module/module.f.d.ts +1 -1
- package/commonjs/module/module.f.js +2 -3
- package/commonjs/path/module.f.d.ts +5 -5
- package/commonjs/path/module.f.js +6 -8
- package/commonjs/path/test.f.js +1 -2
- package/crypto/prime_field/module.f.d.ts +2 -2
- package/crypto/prime_field/module.f.js +3 -4
- package/crypto/secp/module.f.d.ts +2 -2
- package/crypto/secp/module.f.js +4 -5
- package/crypto/sha2/module.f.d.ts +75 -12
- package/crypto/sha2/module.f.js +246 -139
- package/crypto/sha2/test.f.d.ts +22 -3
- package/crypto/sha2/test.f.js +120 -67
- package/dev/test/module.f.d.ts +1 -1
- package/dev/test/module.f.js +4 -5
- package/dev/test.f.js +0 -4
- package/djs/module.f.d.ts +1 -1
- package/djs/module.f.js +0 -1
- package/djs/parser/module.f.d.ts +1 -1
- package/djs/parser/module.f.js +0 -2
- package/djs/serializer/module.f.d.ts +2 -2
- package/djs/serializer/module.f.js +0 -2
- package/djs/tokenizer/module.f.js +0 -1
- package/fsc/test.f.js +0 -1
- package/html/module.f.d.ts +1 -1
- package/html/module.f.js +15 -11
- package/html/test.f.js +7 -7
- package/js/tokenizer/module.f.d.ts +2 -2
- package/js/tokenizer/module.f.js +1 -2
- package/json/parser/module.f.d.ts +2 -2
- package/json/parser/module.f.js +0 -3
- package/json/serializer/module.f.js +0 -2
- package/json/tokenizer/module.f.js +0 -1
- package/nanvm-lib/tests/test.f.d.ts +28 -0
- package/nanvm-lib/tests/test.f.js +45 -0
- package/package.json +1 -1
- package/text/ascii/module.f.d.ts +1 -1
- package/text/ascii/module.f.js +2 -3
- package/text/ascii/test.f.js +2 -4
- package/text/module.f.d.ts +18 -3
- package/text/module.f.js +22 -6
- package/text/sgr/module.f.js +1 -1
- package/text/test.f.d.ts +4 -1
- package/text/test.f.js +24 -16
- package/text/utf16/module.f.d.ts +5 -6
- package/text/utf16/module.f.js +9 -10
- package/text/utf16/test.f.js +29 -30
- package/text/utf8/module.f.d.ts +8 -5
- package/text/utf8/module.f.js +3 -5
- package/text/utf8/test.f.js +34 -35
- package/types/array/module.f.d.ts +12 -9
- package/types/array/module.f.js +10 -11
- package/types/array/test.f.d.ts +1 -0
- package/types/array/test.f.js +18 -17
- package/types/bigfloat/module.f.d.ts +1 -1
- package/types/bigfloat/module.f.js +7 -8
- package/types/bigfloat/test.f.js +1 -2
- package/types/bigint/module.f.d.ts +20 -11
- package/types/bigint/module.f.js +19 -20
- package/types/bigint/test.f.d.ts +1 -0
- package/types/bigint/test.f.js +7 -2
- package/types/bit_vec/module.f.d.ts +103 -83
- package/types/bit_vec/module.f.js +68 -110
- package/types/bit_vec/test.f.d.ts +20 -8
- package/types/bit_vec/test.f.js +110 -117
- package/types/btree/find/test.f.js +3 -4
- package/types/btree/module.f.d.ts +3 -3
- package/types/btree/module.f.js +2 -5
- package/types/btree/remove/test.f.js +2 -3
- package/types/btree/set/test.f.js +3 -6
- package/types/btree/test.f.js +0 -1
- package/types/btree/types/module.f.d.ts +3 -3
- package/types/byte_set/module.f.d.ts +2 -2
- package/types/byte_set/module.f.js +0 -2
- package/types/function/compare/module.f.d.ts +1 -1
- package/types/function/compare/module.f.js +0 -1
- package/types/function/compare/test.f.js +1 -2
- package/types/function/module.f.d.ts +1 -1
- package/types/function/module.f.js +1 -1
- package/types/function/operator/module.f.d.ts +2 -3
- package/types/function/operator/module.f.js +5 -5
- package/types/function/test.f.js +1 -2
- package/types/list/module.f.d.ts +1 -1
- package/types/list/module.f.js +9 -9
- package/types/list/test.f.js +2 -4
- package/types/map/module.f.d.ts +6 -6
- package/types/map/module.f.js +6 -15
- package/types/map/test.f.js +1 -2
- package/types/monoid/module.f.d.ts +73 -0
- package/types/monoid/module.f.js +42 -0
- package/types/monoid/test.f.d.ts +5 -0
- package/types/monoid/test.f.js +27 -0
- package/types/nibble_set/module.f.d.ts +2 -3
- package/types/nibble_set/test.f.js +1 -2
- package/types/number/test.f.js +1 -2
- package/types/object/module.f.d.ts +5 -5
- package/types/object/module.f.js +2 -4
- package/types/range_map/module.f.d.ts +4 -4
- package/types/range_map/module.f.js +3 -9
- package/types/result/module.f.d.ts +2 -3
- package/types/sorted_list/module.f.d.ts +6 -6
- package/types/sorted_list/module.f.js +2 -6
- package/types/sorted_list/test.f.js +4 -9
- package/types/sorted_set/module.f.d.ts +1 -1
- package/types/sorted_set/module.f.js +2 -5
- package/types/sorted_set/test.f.js +4 -9
- package/types/string/module.f.d.ts +3 -3
- package/types/string/module.f.js +1 -2
- package/types/string/test.f.js +2 -4
- package/types/string_set/module.f.d.ts +1 -1
- package/types/string_set/module.f.js +5 -11
package/types/bit_vec/test.f.js
CHANGED
|
@@ -1,4 +1,73 @@
|
|
|
1
|
-
import { empty, vec, length,
|
|
1
|
+
import { empty, vec, length, uint, lsb, msb } from "./module.f.js";
|
|
2
|
+
const frontTest = (e) => (r0) => (r1) => () => {
|
|
3
|
+
const vector = vec(8n)(0xf5n); // 0x1F5n
|
|
4
|
+
if (vector !== 0x1f5n) {
|
|
5
|
+
throw vector;
|
|
6
|
+
}
|
|
7
|
+
const result = e.front(4n)(vector);
|
|
8
|
+
if (result !== r0) {
|
|
9
|
+
throw result;
|
|
10
|
+
}
|
|
11
|
+
const result2 = e.front(16n)(vector);
|
|
12
|
+
if (result2 !== r1) {
|
|
13
|
+
throw result2;
|
|
14
|
+
}
|
|
15
|
+
};
|
|
16
|
+
const popFront = (e) => ([r00, r01]) => ([r10, r11]) => () => {
|
|
17
|
+
const vector = vec(8n)(0xf5n); // 0x1F5n
|
|
18
|
+
const [result, rest] = e.popFront(4n)(vector);
|
|
19
|
+
if (result !== r00) {
|
|
20
|
+
throw result;
|
|
21
|
+
}
|
|
22
|
+
if (rest !== r01) {
|
|
23
|
+
throw rest;
|
|
24
|
+
}
|
|
25
|
+
const [result2, rest2] = e.popFront(16n)(vector);
|
|
26
|
+
if (result2 !== r10) {
|
|
27
|
+
throw result2;
|
|
28
|
+
}
|
|
29
|
+
if (rest2 !== r11) {
|
|
30
|
+
throw rest2;
|
|
31
|
+
}
|
|
32
|
+
};
|
|
33
|
+
const removeFront = (e) => (r0) => (r1) => () => {
|
|
34
|
+
const v = vec(16n)(0x3456n); // 0x13456n
|
|
35
|
+
if (v !== 0x13456n) {
|
|
36
|
+
throw v;
|
|
37
|
+
}
|
|
38
|
+
const r = e.removeFront(4n)(v);
|
|
39
|
+
if (r !== r0) {
|
|
40
|
+
throw r;
|
|
41
|
+
}
|
|
42
|
+
const r2 = e.removeFront(24n)(v);
|
|
43
|
+
if (r2 !== r1) {
|
|
44
|
+
throw r2;
|
|
45
|
+
}
|
|
46
|
+
};
|
|
47
|
+
const concat = (e) => (r) => () => {
|
|
48
|
+
const u8 = vec(8n);
|
|
49
|
+
const a = u8(0x45n); // 0x145n
|
|
50
|
+
if (a !== 0x145n) {
|
|
51
|
+
throw a;
|
|
52
|
+
}
|
|
53
|
+
const b = u8(0x89n); // 0x189n
|
|
54
|
+
if (b !== 0x189n) {
|
|
55
|
+
throw b;
|
|
56
|
+
}
|
|
57
|
+
const ab = e.concat(a)(b); // 0x18945n
|
|
58
|
+
if (ab !== r) {
|
|
59
|
+
throw ab;
|
|
60
|
+
}
|
|
61
|
+
};
|
|
62
|
+
const assertEq = (a, b) => {
|
|
63
|
+
if (a !== b) {
|
|
64
|
+
throw [a, b];
|
|
65
|
+
}
|
|
66
|
+
};
|
|
67
|
+
const assertEq2 = ([a0, a1], [b0, b1]) => {
|
|
68
|
+
assertEq(a0, b0);
|
|
69
|
+
assertEq(a1, b1);
|
|
70
|
+
};
|
|
2
71
|
export default {
|
|
3
72
|
examples: {
|
|
4
73
|
vec: () => {
|
|
@@ -22,130 +91,54 @@ export default {
|
|
|
22
91
|
throw result;
|
|
23
92
|
}
|
|
24
93
|
},
|
|
25
|
-
|
|
94
|
+
front: () => {
|
|
26
95
|
const vector = vec(8n)(0xf5n); // 0x1F5n
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
if (result !== 5n) {
|
|
32
|
-
throw result;
|
|
33
|
-
}
|
|
34
|
-
const result2 = uintLsb(16n)(vector); // result2 is 0xF5n
|
|
35
|
-
if (result2 !== 0xf5n) {
|
|
36
|
-
throw result2;
|
|
37
|
-
}
|
|
96
|
+
assertEq(lsb.front(4n)(vector), 5n);
|
|
97
|
+
assertEq(lsb.front(16n)(vector), 0xf5n);
|
|
98
|
+
assertEq(msb.front(4n)(vector), 0xfn);
|
|
99
|
+
assertEq(msb.front(16n)(vector), 0xf500n);
|
|
38
100
|
},
|
|
39
|
-
|
|
40
|
-
const
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
if (result !== 0xfn) {
|
|
46
|
-
throw result;
|
|
47
|
-
}
|
|
48
|
-
const result2 = uintMsb(16n)(vector); // result2 is 0xF500n
|
|
49
|
-
if (result2 !== 0xf500n) {
|
|
50
|
-
throw result2;
|
|
51
|
-
}
|
|
52
|
-
},
|
|
53
|
-
popUintLsb: () => {
|
|
54
|
-
const vector = vec(8n)(0xf5n); // 0x1F5n
|
|
55
|
-
const [result, rest] = popUintLsb(4n)(vector); // result is 5n, rest is 0x1Fn
|
|
56
|
-
if (result !== 5n) {
|
|
57
|
-
throw result;
|
|
58
|
-
}
|
|
59
|
-
if (rest !== 0x1fn) {
|
|
60
|
-
throw rest;
|
|
61
|
-
}
|
|
62
|
-
const [result2, rest2] = popUintLsb(16n)(vector); // result2 is 0xF5n, rest2 is 1n
|
|
63
|
-
if (result2 !== 0xf5n) {
|
|
64
|
-
throw result2;
|
|
65
|
-
}
|
|
66
|
-
if (rest2 !== 1n) {
|
|
67
|
-
throw rest2;
|
|
68
|
-
}
|
|
101
|
+
removeFront: () => {
|
|
102
|
+
const v = vec(16n)(0x3456n); // 0x13456n
|
|
103
|
+
assertEq(lsb.removeFront(4n)(v), 0x1345n);
|
|
104
|
+
assertEq(lsb.removeFront(24n)(v), 0x1n);
|
|
105
|
+
assertEq(msb.removeFront(4n)(v), 0x1456n);
|
|
106
|
+
assertEq(msb.removeFront(24n)(v), 0x1n);
|
|
69
107
|
},
|
|
70
|
-
|
|
108
|
+
popFront: () => {
|
|
71
109
|
const vector = vec(8n)(0xf5n); // 0x1F5n
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
if (rest !== 0x15n) {
|
|
77
|
-
throw rest;
|
|
78
|
-
}
|
|
79
|
-
const [result2, rest2] = popUintMsb(16n)(vector); // [0xF500n, 1n]
|
|
80
|
-
if (result2 !== 0xf500n) {
|
|
81
|
-
throw result2;
|
|
82
|
-
}
|
|
83
|
-
if (rest2 !== 1n) {
|
|
84
|
-
throw rest2;
|
|
85
|
-
}
|
|
86
|
-
},
|
|
87
|
-
concatLsb: () => {
|
|
88
|
-
const u8 = vec(8n);
|
|
89
|
-
const a = u8(0x45n); // 0x145n
|
|
90
|
-
if (a !== 0x145n) {
|
|
91
|
-
throw a;
|
|
92
|
-
}
|
|
93
|
-
const b = u8(0x89n); // 0x189n
|
|
94
|
-
if (b !== 0x189n) {
|
|
95
|
-
throw b;
|
|
96
|
-
}
|
|
97
|
-
const ab = concatLsb(a)(b); // 0x18945n
|
|
98
|
-
if (ab !== 0x18945n) {
|
|
99
|
-
throw ab;
|
|
100
|
-
}
|
|
110
|
+
assertEq2(lsb.popFront(4n)(vector), [5n, 0x1fn]);
|
|
111
|
+
assertEq2(lsb.popFront(16n)(vector), [0xf5n, 1n]);
|
|
112
|
+
assertEq2(msb.popFront(4n)(vector), [0xfn, 0x15n]);
|
|
113
|
+
assertEq2(msb.popFront(16n)(vector), [0xf500n, 1n]);
|
|
101
114
|
},
|
|
102
|
-
|
|
115
|
+
concat: () => {
|
|
103
116
|
const u8 = vec(8n);
|
|
104
117
|
const a = u8(0x45n); // 0x145n
|
|
105
|
-
if (a !== 0x145n) {
|
|
106
|
-
throw a;
|
|
107
|
-
}
|
|
108
118
|
const b = u8(0x89n); // 0x189n
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
}
|
|
112
|
-
const ab = concatMsb(a)(b); // 0x14589n
|
|
113
|
-
if (ab !== 0x14589n) {
|
|
114
|
-
throw ab;
|
|
115
|
-
}
|
|
116
|
-
},
|
|
117
|
-
removeLsb: () => {
|
|
118
|
-
const v = vec(16n)(0x3456n); // 0x13456n
|
|
119
|
-
if (v !== 0x13456n) {
|
|
120
|
-
throw v;
|
|
121
|
-
}
|
|
122
|
-
const r = removeLsb(4n)(v); // 0x1345n
|
|
123
|
-
if (r !== 0x1345n) {
|
|
124
|
-
throw r;
|
|
125
|
-
}
|
|
126
|
-
const r2 = removeLsb(24n)(v); // 0x1n
|
|
127
|
-
if (r2 !== 0x1n) {
|
|
128
|
-
throw r2;
|
|
129
|
-
}
|
|
130
|
-
},
|
|
131
|
-
removeMsb: () => {
|
|
132
|
-
const v = vec(16n)(0x3456n); // 0x13456n
|
|
133
|
-
if (v !== 0x13456n) {
|
|
134
|
-
throw v;
|
|
135
|
-
}
|
|
136
|
-
const r = removeMsb(4n)(v); // 0x1456n
|
|
137
|
-
if (r !== 0x1456n) {
|
|
138
|
-
throw r;
|
|
139
|
-
}
|
|
140
|
-
const r2 = removeMsb(24n)(v); // 0x1n
|
|
141
|
-
if (r2 !== 0x1n) {
|
|
142
|
-
throw r2;
|
|
143
|
-
}
|
|
119
|
+
assertEq(lsb.concat(a)(b), 0x18945n);
|
|
120
|
+
assertEq(msb.concat(a)(b), 0x14589n);
|
|
144
121
|
}
|
|
145
122
|
},
|
|
123
|
+
front: {
|
|
124
|
+
lsbf: frontTest(lsb)(5n)(0xf5n),
|
|
125
|
+
msbf: frontTest(msb)(0xfn)(0xf500n),
|
|
126
|
+
},
|
|
127
|
+
popFront: {
|
|
128
|
+
lsbm: popFront(lsb)([5n, 0x1fn])([0xf5n, 1n]),
|
|
129
|
+
msbm: popFront(msb)([0xfn, 0x15n])([0xf500n, 1n]),
|
|
130
|
+
},
|
|
131
|
+
removeFront: {
|
|
132
|
+
lsbm: removeFront(lsb)(0x1345n)(0x1n),
|
|
133
|
+
msbm: removeFront(msb)(0x1456n)(0x1n),
|
|
134
|
+
},
|
|
135
|
+
concat: {
|
|
136
|
+
lsbm: concat(lsb)(0x18945n),
|
|
137
|
+
msbm: concat(msb)(0x14589n),
|
|
138
|
+
},
|
|
146
139
|
uintLsb: () => {
|
|
147
140
|
const vector = 117n;
|
|
148
|
-
const extract3Bits =
|
|
141
|
+
const extract3Bits = lsb.front(3n);
|
|
149
142
|
const result = extract3Bits(vector); // result is 0b101n (5n)
|
|
150
143
|
if (result !== 5n) {
|
|
151
144
|
throw result;
|
|
@@ -153,7 +146,7 @@ export default {
|
|
|
153
146
|
},
|
|
154
147
|
uintSmall: () => {
|
|
155
148
|
const vector = 3n;
|
|
156
|
-
const extract3Bits =
|
|
149
|
+
const extract3Bits = lsb.front(3n)(vector);
|
|
157
150
|
if (extract3Bits !== 1n) {
|
|
158
151
|
throw extract3Bits;
|
|
159
152
|
}
|
|
@@ -179,7 +172,7 @@ export default {
|
|
|
179
172
|
if (length(v) !== 8n) {
|
|
180
173
|
throw 'len';
|
|
181
174
|
}
|
|
182
|
-
const u =
|
|
175
|
+
const u = lsb.front(8n)(v);
|
|
183
176
|
if (u !== 0xfen) {
|
|
184
177
|
throw v;
|
|
185
178
|
}
|
|
@@ -188,7 +181,7 @@ export default {
|
|
|
188
181
|
const vec8 = vec(8n);
|
|
189
182
|
const a = vec8(0x345n);
|
|
190
183
|
const b = vec8(0x789n);
|
|
191
|
-
const ab =
|
|
184
|
+
const ab = lsb.concat(a)(b);
|
|
192
185
|
if (ab !== 0x18945n) {
|
|
193
186
|
throw ab;
|
|
194
187
|
}
|
|
@@ -202,7 +195,7 @@ export default {
|
|
|
202
195
|
if (v !== 0x32345n) {
|
|
203
196
|
throw v.toString(16);
|
|
204
197
|
}
|
|
205
|
-
const r =
|
|
198
|
+
const r = lsb.removeFront(9n)(v);
|
|
206
199
|
if (r !== 0x191n) {
|
|
207
200
|
throw r.toString(16);
|
|
208
201
|
}
|
|
@@ -1,9 +1,7 @@
|
|
|
1
1
|
import * as _ from "./module.f.js";
|
|
2
2
|
import * as list from "../../list/module.f.js";
|
|
3
3
|
import * as json from "../../../json/module.f.js";
|
|
4
|
-
import
|
|
5
|
-
const { sort } = o;
|
|
6
|
-
import * as btree from "../types/module.f.js";
|
|
4
|
+
import { sort } from "../../object/module.f.js";
|
|
7
5
|
import * as string from "../../string/module.f.js";
|
|
8
6
|
const { cmp } = string;
|
|
9
7
|
import * as s from "../set/module.f.js";
|
|
@@ -13,8 +11,9 @@ const str = r => jsonStr(list.toArray(list.map((x) => x[0])(r)));
|
|
|
13
11
|
const find = i => m => str(_.find(cmp(i))(m));
|
|
14
12
|
const test = () => {
|
|
15
13
|
let _map = ['1'];
|
|
16
|
-
for (let i = 2; i <= 10; i++)
|
|
14
|
+
for (let i = 2; i <= 10; i++) {
|
|
17
15
|
_map = set(_map)((i * i).toString());
|
|
16
|
+
}
|
|
18
17
|
{
|
|
19
18
|
const s = jsonStr(_map);
|
|
20
19
|
if (s !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') {
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import
|
|
2
|
-
import * as _ from './types/module.f.ts';
|
|
1
|
+
import { type List } from '../list/module.f.ts';
|
|
2
|
+
import type * as _ from './types/module.f.ts';
|
|
3
3
|
export declare const empty: null;
|
|
4
|
-
export declare const values: <T>(tree: _.Tree<T>) =>
|
|
4
|
+
export declare const values: <T>(tree: _.Tree<T>) => List<T>;
|
package/types/btree/module.f.js
CHANGED
|
@@ -1,8 +1,5 @@
|
|
|
1
|
-
import
|
|
2
|
-
|
|
3
|
-
import * as n from "../nullable/module.f.js";
|
|
4
|
-
const { map } = n;
|
|
5
|
-
import * as _ from "./types/module.f.js";
|
|
1
|
+
import { flat } from "../list/module.f.js";
|
|
2
|
+
import { map } from "../nullable/module.f.js";
|
|
6
3
|
const nodeValues = node => () => {
|
|
7
4
|
switch (node.length) {
|
|
8
5
|
case 1:
|
|
@@ -1,13 +1,12 @@
|
|
|
1
1
|
import * as _ from "./module.f.js";
|
|
2
|
-
import * as BTree from "../types/module.f.js";
|
|
3
2
|
import * as s from "../set/module.f.js";
|
|
4
3
|
import * as str from "../../string/module.f.js";
|
|
5
4
|
const { cmp } = str;
|
|
6
5
|
import * as json from "../../../json/module.f.js";
|
|
7
6
|
import * as o from "../../object/module.f.js";
|
|
8
7
|
const { sort } = o;
|
|
9
|
-
const set = node => value => s.set(cmp(value))(() => value)(node);
|
|
10
|
-
const remove = node => value => _.nodeRemove(cmp(value))(node);
|
|
8
|
+
const set = (node) => (value) => s.set(cmp(value))(() => value)(node);
|
|
9
|
+
const remove = (node) => (value) => _.nodeRemove(cmp(value))(node);
|
|
11
10
|
const jsonStr = json.stringify(sort);
|
|
12
11
|
const test = () => {
|
|
13
12
|
let _map = ['1'];
|
|
@@ -1,11 +1,8 @@
|
|
|
1
1
|
import * as _ from "./module.f.js";
|
|
2
|
-
import
|
|
3
|
-
import * as s from "../../string/module.f.js";
|
|
4
|
-
const { cmp } = s;
|
|
2
|
+
import { cmp } from "../../string/module.f.js";
|
|
5
3
|
import * as json from "../../../json/module.f.js";
|
|
6
|
-
import
|
|
7
|
-
const
|
|
8
|
-
const set = node => value => _.set(cmp(value))(() => value)(node);
|
|
4
|
+
import { sort } from "../../object/module.f.js";
|
|
5
|
+
const set = (node) => (value) => _.set(cmp(value))(() => value)(node);
|
|
9
6
|
const jsonStr = json.stringify(sort);
|
|
10
7
|
const test = [
|
|
11
8
|
() => {
|
package/types/btree/test.f.js
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
|
-
type Array1<T> = readonly [T];
|
|
2
|
-
type Array2<T> = readonly [T, T];
|
|
1
|
+
export type Array1<T> = readonly [T];
|
|
2
|
+
export type Array2<T> = readonly [T, T];
|
|
3
|
+
export type Array3<T> = readonly [T, T, T];
|
|
3
4
|
export type Leaf1<T> = Array1<T>;
|
|
4
5
|
export type Leaf2<T> = Array2<T>;
|
|
5
6
|
export type Branch3<T> = readonly [TNode<T>, T, TNode<T>];
|
|
@@ -8,4 +9,3 @@ export type TNode<T> = Leaf1<T> | Leaf2<T> | Branch3<T> | Branch5<T>;
|
|
|
8
9
|
export type Tree<T> = TNode<T> | null;
|
|
9
10
|
export type Branch1<T> = readonly [TNode<T>];
|
|
10
11
|
export type Branch7<T> = readonly [...Branch5<T>, T, TNode<T>];
|
|
11
|
-
export {};
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import * as RangeMap from '../range_map/module.f.ts';
|
|
2
|
-
import * as SortedSet from '../sorted_set/module.f.ts';
|
|
1
|
+
import type * as RangeMap from '../range_map/module.f.ts';
|
|
2
|
+
import type * as SortedSet from '../sorted_set/module.f.ts';
|
|
3
3
|
export type ByteSet = bigint;
|
|
4
4
|
type Byte = number;
|
|
5
5
|
export declare const has: (n: Byte) => (s: ByteSet) => boolean;
|
|
@@ -1,6 +1,4 @@
|
|
|
1
1
|
import { compose } from "../function/module.f.js";
|
|
2
|
-
import * as RangeMap from "../range_map/module.f.js";
|
|
3
|
-
import * as SortedSet from "../sorted_set/module.f.js";
|
|
4
2
|
import * as list from "../list/module.f.js";
|
|
5
3
|
const { reverse, countdown, flat, map } = list;
|
|
6
4
|
export const has = n => s => ((s >> BigInt(n)) & 1n) === 1n;
|
|
@@ -13,7 +13,7 @@ export const flip = f => b => a => f(a)(b);
|
|
|
13
13
|
/**
|
|
14
14
|
* Creates an `Fn` instance from a function, enabling chaining of transformations.
|
|
15
15
|
*/
|
|
16
|
-
export const fn = result => ({
|
|
16
|
+
export const fn = (result) => ({
|
|
17
17
|
result,
|
|
18
18
|
then: g => fn(compose(result)(g))
|
|
19
19
|
});
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
type Binary<A, B, R> = (a: A) => (b: B) => R;
|
|
1
|
+
export type Binary<A, B, R> = (a: A) => (b: B) => R;
|
|
2
2
|
export type Fold<I, O> = Binary<I, O, O>;
|
|
3
3
|
export declare const join: (separator: string) => Reduce<string>;
|
|
4
4
|
export declare const concat: Reduce<string>;
|
|
@@ -11,10 +11,9 @@ export type StateScan<I, S, O> = (prior: S) => (input: I) => readonly [O, S];
|
|
|
11
11
|
export declare const stateScanToScan: <I, S, O>(op: StateScan<I, S, O>) => (prior: S) => Scan<I, O>;
|
|
12
12
|
export declare const foldToScan: <I, O>(fold: Fold<I, O>) => (prior: O) => Scan<I, O>;
|
|
13
13
|
export type Reduce<T> = Fold<T, T>;
|
|
14
|
-
export declare const reduceToScan: <T>(
|
|
14
|
+
export declare const reduceToScan: <T>(op: Reduce<T>) => Scan<T, T>;
|
|
15
15
|
export declare const addition: Reduce<number>;
|
|
16
16
|
export declare const min: Reduce<number>;
|
|
17
17
|
export declare const max: Reduce<number>;
|
|
18
18
|
export declare const increment: (b: number) => number;
|
|
19
19
|
export declare const counter: () => (b: number) => number;
|
|
20
|
-
export {};
|
|
@@ -1,16 +1,16 @@
|
|
|
1
|
-
export const join = separator => value => prior => `${prior}${separator}${value}`;
|
|
1
|
+
export const join = (separator) => value => prior => `${prior}${separator}${value}`;
|
|
2
2
|
export const concat = i => acc => `${acc}${i}`;
|
|
3
3
|
export const logicalNot = v => !v;
|
|
4
|
-
export const strictEqual = a => b => a === b;
|
|
5
|
-
export const stateScanToScan = op => prior => i => {
|
|
4
|
+
export const strictEqual = (a) => (b) => a === b;
|
|
5
|
+
export const stateScanToScan = (op) => (prior) => i => {
|
|
6
6
|
const [o, s] = op(prior)(i);
|
|
7
7
|
return [o, stateScanToScan(op)(s)];
|
|
8
8
|
};
|
|
9
|
-
export const foldToScan = fold => prior => i => {
|
|
9
|
+
export const foldToScan = (fold) => (prior) => i => {
|
|
10
10
|
const result = fold(i)(prior);
|
|
11
11
|
return [result, foldToScan(fold)(result)];
|
|
12
12
|
};
|
|
13
|
-
export const reduceToScan = op => init => [init, foldToScan(op)(init)];
|
|
13
|
+
export const reduceToScan = (op) => init => [init, foldToScan(op)(init)];
|
|
14
14
|
export const addition = a => b => a + b;
|
|
15
15
|
export const min = a => b => a < b ? a : b;
|
|
16
16
|
export const max = a => b => a > b ? a : b;
|
package/types/function/test.f.js
CHANGED
package/types/list/module.f.d.ts
CHANGED
|
@@ -13,7 +13,7 @@ type Concat<T> = {
|
|
|
13
13
|
readonly tail: List<T>;
|
|
14
14
|
};
|
|
15
15
|
export declare const concat: <T>(head: List<T>) => (tail: List<T>) => List<T>;
|
|
16
|
-
export declare const next: <T>(
|
|
16
|
+
export declare const next: <T>(head: List<T>) => Result<T>;
|
|
17
17
|
export declare const iterable: <T>(list: List<T>) => Iterable<T>;
|
|
18
18
|
export declare const toArray: <T>(list: List<T>) => readonly T[];
|
|
19
19
|
export declare const flat: <T>(list: List<List<T>>) => Thunk<T>;
|
package/types/list/module.f.js
CHANGED
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
import { identity, fn, compose } from "../function/module.f.js";
|
|
2
2
|
import { addition, logicalNot, strictEqual, stateScanToScan, foldToScan, reduceToScan, } from "../function/operator/module.f.js";
|
|
3
|
-
const fromArray = array => {
|
|
4
|
-
const at = i => i < array.length ? { first: array[i], tail: () => at(i + 1) } : null;
|
|
3
|
+
const fromArray = (array) => {
|
|
4
|
+
const at = (i) => i < array.length ? { first: array[i], tail: () => at(i + 1) } : null;
|
|
5
5
|
return at(0);
|
|
6
6
|
};
|
|
7
|
-
export const concat = head => tail => tail === null ? head : ({ head, tail });
|
|
8
|
-
const trampoline = list => {
|
|
7
|
+
export const concat = (head) => (tail) => tail === null ? head : ({ head, tail });
|
|
8
|
+
const trampoline = (list) => {
|
|
9
9
|
while (typeof list === 'function') {
|
|
10
10
|
list = list();
|
|
11
11
|
}
|
|
12
12
|
return list;
|
|
13
13
|
};
|
|
14
|
-
export const next = head => {
|
|
14
|
+
export const next = (head) => {
|
|
15
15
|
let tail = null;
|
|
16
16
|
while (true) {
|
|
17
17
|
head = trampoline(head);
|
|
@@ -31,7 +31,7 @@ export const next = head => {
|
|
|
31
31
|
[head, tail] = [tail, null];
|
|
32
32
|
}
|
|
33
33
|
};
|
|
34
|
-
export const iterable = list => ({
|
|
34
|
+
export const iterable = (list) => ({
|
|
35
35
|
*[Symbol.iterator]() {
|
|
36
36
|
let i = list;
|
|
37
37
|
while (true) {
|
|
@@ -45,11 +45,11 @@ export const iterable = list => ({
|
|
|
45
45
|
}
|
|
46
46
|
});
|
|
47
47
|
const { from } = Array;
|
|
48
|
-
export const toArray = list => {
|
|
48
|
+
export const toArray = (list) => {
|
|
49
49
|
const u = trampoline(list);
|
|
50
50
|
return u instanceof Array ? u : from(iterable(u));
|
|
51
51
|
};
|
|
52
|
-
const apply = f => input => () => {
|
|
52
|
+
const apply = (f) => (input) => () => {
|
|
53
53
|
const n = next(input);
|
|
54
54
|
if (n === null) {
|
|
55
55
|
return null;
|
|
@@ -58,7 +58,7 @@ const apply = f => input => () => {
|
|
|
58
58
|
};
|
|
59
59
|
const flatStep = ({ first, tail }) => concat(first)(flat(tail));
|
|
60
60
|
export const flat = apply(flatStep);
|
|
61
|
-
const mapStep = f => ({ first, tail }) => ({ first: f(first), tail: map(f)(tail) });
|
|
61
|
+
const mapStep = (f) => ({ first, tail }) => ({ first: f(first), tail: map(f)(tail) });
|
|
62
62
|
export const map = f => apply(mapStep(f));
|
|
63
63
|
export const flatMap = f => compose(map(f))(flat);
|
|
64
64
|
const filterStep = f => ({ first, tail }) => {
|
package/types/list/test.f.js
CHANGED
|
@@ -1,9 +1,7 @@
|
|
|
1
1
|
import * as _ from "./module.f.js";
|
|
2
2
|
import * as json from "../../json/module.f.js";
|
|
3
|
-
import
|
|
4
|
-
|
|
5
|
-
import * as operator from "../function/operator/module.f.js";
|
|
6
|
-
const { addition, strictEqual, reduceToScan } = operator;
|
|
3
|
+
import { sort } from "../object/module.f.js";
|
|
4
|
+
import { addition, strictEqual, reduceToScan } from "../function/operator/module.f.js";
|
|
7
5
|
const stringify = sequence => json.stringify(sort)(_.toArray(sequence));
|
|
8
6
|
const stringifyTest = () => {
|
|
9
7
|
const s = stringify([1, 2, 3]);
|
package/types/map/module.f.d.ts
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
|
-
import * as BtreeTypes from '../btree/types/module.f.ts';
|
|
2
|
-
import * as Compare from '../function/compare/module.f.ts';
|
|
3
|
-
import
|
|
4
|
-
import * as Operator from '../function/operator/module.f.ts';
|
|
1
|
+
import type * as BtreeTypes from '../btree/types/module.f.ts';
|
|
2
|
+
import type * as Compare from '../function/compare/module.f.ts';
|
|
3
|
+
import { type List } from '../list/module.f.ts';
|
|
4
|
+
import type * as Operator from '../function/operator/module.f.ts';
|
|
5
5
|
export type Sign = Compare.Sign;
|
|
6
6
|
export type Entry<T> = readonly [string, T];
|
|
7
7
|
export type Map<T> = BtreeTypes.Tree<Entry<T>>;
|
|
8
8
|
export declare const at: (name: string) => <T>(map: Map<T>) => T | null;
|
|
9
9
|
export declare const setReduce: <T>(reduce: Operator.Reduce<T>) => (name: string) => (value: T) => (map: Map<T>) => Map<T>;
|
|
10
10
|
export declare const setReplace: (name: string) => <T>(value: T) => (map: Map<T>) => Map<T>;
|
|
11
|
-
export declare const entries: <T>(map: Map<T>) =>
|
|
12
|
-
export declare const fromEntries: <T>(entries:
|
|
11
|
+
export declare const entries: <T>(map: Map<T>) => List<Entry<T>>;
|
|
12
|
+
export declare const fromEntries: <T>(entries: List<Entry<T>>) => Map<T>;
|
|
13
13
|
export declare const remove: (name: string) => <T>(map: Map<T>) => Map<T>;
|
|
14
14
|
export declare const empty: null;
|
package/types/map/module.f.js
CHANGED
|
@@ -1,18 +1,9 @@
|
|
|
1
|
-
import
|
|
2
|
-
import
|
|
3
|
-
|
|
4
|
-
import
|
|
5
|
-
|
|
6
|
-
import
|
|
7
|
-
const { remove: btreeRemove } = btr;
|
|
8
|
-
import * as bt from "../btree/module.f.js";
|
|
9
|
-
const { values } = bt;
|
|
10
|
-
import * as Compare from "../function/compare/module.f.js";
|
|
11
|
-
import * as s from "../string/module.f.js";
|
|
12
|
-
const { cmp } = s;
|
|
13
|
-
import * as list from "../list/module.f.js";
|
|
14
|
-
const { fold } = list;
|
|
15
|
-
import * as Operator from "../function/operator/module.f.js";
|
|
1
|
+
import { value, find } from "../btree/find/module.f.js";
|
|
2
|
+
import { set } from "../btree/set/module.f.js";
|
|
3
|
+
import { remove as btreeRemove } from "../btree/remove/module.f.js";
|
|
4
|
+
import { values } from "../btree/module.f.js";
|
|
5
|
+
import { cmp } from "../string/module.f.js";
|
|
6
|
+
import { fold } from "../list/module.f.js";
|
|
16
7
|
const keyCmp = a => ([b]) => cmp(a)(b);
|
|
17
8
|
export const at = (name) => (map) => {
|
|
18
9
|
if (map === null) {
|
package/types/map/test.f.js
CHANGED