diff options
author | Eduardo Julian | 2018-10-29 20:23:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-10-29 20:23:43 -0400 |
commit | 3b6098efb623ed2413e118e0620f84d79031e1ef (patch) | |
tree | a83bd638642ce2f7e340d2a07a42769129fc4ce2 /stdlib/source | |
parent | 5a1ea36c5ae4ccc990c77ff9a984468473384c0c (diff) |
Added a module for video display resolutions.
Diffstat (limited to 'stdlib/source')
-rw-r--r-- | stdlib/source/lux/world/output/video/resolution.lux | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/stdlib/source/lux/world/output/video/resolution.lux b/stdlib/source/lux/world/output/video/resolution.lux new file mode 100644 index 000000000..77089d37f --- /dev/null +++ b/stdlib/source/lux/world/output/video/resolution.lux @@ -0,0 +1,30 @@ +(.module: + [lux #*]) + +(type: #export Resolution + {#width Nat + #height Nat}) + +## https://en.wikipedia.org/wiki/Display_resolution#Common_display_resolutions +(do-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] + ) |