diff options
| author | Eduardo Julian | 2022-08-10 19:38:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-10 19:38:43 -0400 |
| commit | 68d78235694c633c956bb9e8a007cad7d65370bc (patch) | |
| tree | f84fcb298d29d3c85d149fd2f3c94f31b59305d4 /stdlib/source/documentation/lux/world/output/video/resolution.lux | |
| parent | 6ec8f5d2f6cbf8db45f91e5c4b48c6ec17659f72 (diff) | |
Extracted property-based testing machinery into its own module.
Diffstat (limited to 'stdlib/source/documentation/lux/world/output/video/resolution.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/world/output/video/resolution.lux | 69 |
1 files changed, 35 insertions, 34 deletions
diff --git a/stdlib/source/documentation/lux/world/output/video/resolution.lux b/stdlib/source/documentation/lux/world/output/video/resolution.lux index 3ad820414..3595c1624 100644 --- a/stdlib/source/documentation/lux/world/output/video/resolution.lux +++ b/stdlib/source/documentation/lux/world/output/video/resolution.lux @@ -11,40 +11,41 @@ [\\library ["[0]" /]]) -(`` (.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition /.hash) - ($.definition /.equivalence) +(`` (def .public documentation + (List $.Documentation) + (list ($.module /._ + "") - ($.definition /.Resolution - "A screen resolution.") + ($.definition /.hash) + ($.definition /.equivalence) - (,, (with_template [<name>] - [($.definition <name> - (let [name (|> (template.text [<name>]) - (text.replaced "_" " ") - text.upper_cased)] - (format name " resolution: " - (%.nat (the /.#width <name>)) - "x" (%.nat (the /.#height <name>)) - ".")))] + ($.definition /.Resolution + "A screen resolution.") - [/.svga] - [/.wsvga] - [/.xga] - [/.xga+] - [/.wxga_16:9] - [/.wxga_5:3] - [/.wxga_16:10] - [/.sxga] - [/.wxga+] - [/.hd+] - [/.wsxga+] - [/.fhd] - [/.wuxga] - [/.wqhd] - [/.uhd_4k] - ))] - []))) + (,, (with_template [<name>] + [($.definition <name> + (let [name (|> (template.text [<name>]) + (text.replaced "_" " ") + text.upper_cased)] + (format name " resolution: " + (%.nat (the /.#width <name>)) + "x" (%.nat (the /.#height <name>)) + ".")))] + + [/.svga] + [/.wsvga] + [/.xga] + [/.xga+] + [/.wxga_16:9] + [/.wxga_5:3] + [/.wxga_16:10] + [/.sxga] + [/.wxga+] + [/.hd+] + [/.wsxga+] + [/.fhd] + [/.wuxga] + [/.wqhd] + [/.uhd_4k] + )) + ))) |