aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2018-10-29 20:23:43 -0400
committerEduardo Julian2018-10-29 20:23:43 -0400
commit3b6098efb623ed2413e118e0620f84d79031e1ef (patch)
treea83bd638642ce2f7e340d2a07a42769129fc4ce2
parent5a1ea36c5ae4ccc990c77ff9a984468473384c0c (diff)
Added a module for video display resolutions.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/world/output/video/resolution.lux30
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]
+ )