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
|
import cache
import gleam/int
import gleam/list
import gleam/option.{Some}
import gleam/string_builder
import image
type XmlImages {
XmlImages(xml: String, width: Int, height: Int)
}
fn image(base64, image: image.ImageInformation, width) {
string_builder.new()
|> string_builder.append("<image height=\"")
|> string_builder.append(int.to_string(image.height))
|> string_builder.append("\" width=\"")
|> string_builder.append(int.to_string(image.width))
|> string_builder.append("\" x=\"")
|> string_builder.append(int.to_string(width))
|> string_builder.append("\" y=\"0\" xlink:href=\"data:image/")
|> string_builder.append(image.extension)
|> string_builder.append(";base64,")
|> string_builder.append(base64)
|> string_builder.append("\"/>")
|> string_builder.to_string()
}
fn images(image_cache, theme, digits, width, height, svgs) {
case digits {
[] -> XmlImages(string_builder.to_string(svgs), width, height)
[digit, ..rest] ->
case cache.get_image(image_cache, theme, digit) {
Some(cached) ->
images(
image_cache,
theme,
rest,
width + cached.info.width,
int.max(height, cached.info.height),
string_builder.append(
svgs,
image(cached.base64, cached.info, width),
),
)
_ -> images(image_cache, theme, rest, width, height, svgs)
}
}
}
pub fn xml(image_cache, theme, number, padding) {
let xml =
images(
image_cache,
theme,
{
let assert Ok(digits) = int.digits(number, 10)
let digits_padding = padding - list.length(digits)
case digits_padding {
n if n > 0 -> list.concat([list.repeat(0, digits_padding), digits])
_ -> digits
}
},
0,
0,
string_builder.new(),
)
string_builder.new()
|> string_builder.append(
"<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?><svg height=\"",
)
|> string_builder.append(int.to_string(xml.height))
|> string_builder.append(
"\" style=\"image-rendering: pixelated;\" version=\"1.1\" width=\"",
)
|> string_builder.append(int.to_string(xml.width))
|> string_builder.append(
"\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><title>Mayu</title><g>",
)
|> string_builder.append(xml.xml)
|> string_builder.append("</g></svg>")
|> string_builder.to_string()
}
|