blob: 960792b9470bfeade11e97cf042e7415f1316655 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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 int_to_string(int) {
return int.toString()
}
export function int_to_base_string(int, base) {
return int.toString(base)
}
|