blob: a45aa89acd37d2313a07b32648553ed1c71123e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
function to_list(array) {
let list = [];
for (let item of array.reverse()) {
list = [item, list];
}
return list;
}
export function identity(x) {
return x;
}
export function parse_int(value) {
if (/^[-+]?(\d+)$/.test(value)) {
return { type: "Ok", 0: Number(value) };
} else {
return { type: "Error", 0: null };
}
}
export function to_string(int) {
return int.toString();
}
export function int_to_base_string(int, base) {
return int.toString(base);
}
export function string_replace(string, target, substitute) {
return string.replaceAll(target, substitute);
}
export function string_reverse(string) {
return [...string].reverse().join("");
}
export function string_length(string) {
if (Intl && Intl.Segmenter) {
let i = 0;
for (let _ of new Intl.Segmenter("en-gb").segment(string)) {
i++;
}
return i;
} else {
return string.match(/./gu).length;
}
}
export function lowercase(string) {
return string.toLowerCase();
}
export function uppercase(string) {
return string.toUpperCase();
}
export function less_than(a, b) {
return a < b;
}
export function add(a, b) {
return a + b;
}
export function equal(a, b) {
return a === b;
}
export function split(xs, pattern) {
return to_list(xs.split(pattern));
}
export function join(xs) {
return xs.flat().join("");
}
export function byte_size(data) {
if (typeof Blob === "function") {
return new Blob([data]).size;
} else if (typeof Buffer === "function") {
return Buffer.byteLength(data);
} else {
return data.length;
}
}
|
