blob: 2dbe1c8bcdfabdc9d5221dfcff8f5eec753f83c0 (
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
|
(.module:
[lux #*
[abstract
[equivalence (#+ Equivalence)]
[hash (#+ Hash)]]
[data
["." product]]
[math
[number
["." nat]]]])
(type: #export Resolution
{#width Nat
#height Nat})
(def: #export hash
(Hash Resolution)
(product.hash nat.hash nat.hash))
(def: #export equivalence
(Equivalence Resolution)
(\ ..hash &equivalence))
## https://en.wikipedia.org/wiki/Display_resolution#Common_display_resolutions
(template [<name> <width> <height>]
[(def: #export <name>
Resolution
{#width <width>
#height <height>})]
[svga 800 600]
[wsvga 1024 600]
[xga 1024 768]
[xga+ 1152 864]
[wxga/16:9 1280 720]
[wxga/5:3 1280 768]
[wxga/16:10 1280 800]
[sxga 1280 1024]
[wxga+ 1440 900]
[hd+ 1600 900]
[wsxga+ 1680 1050]
[fhd 1920 1080]
[wuxga 1920 1200]
[wqhd 2560 1440]
[uhd-4k 3840 2160]
)
|