diff options
author | Eduardo Julian | 2022-07-27 21:46:33 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-27 21:46:33 -0400 |
commit | ebfe1bbbe543299f8691e4862fbc899637ff8cfd (patch) | |
tree | 21c8142deb052fd17ef85809429b2fa41048f45d /stdlib/source/documentation/lux/abstract/order.lux | |
parent | 5da753fb0a4e220ea29fb3f45c92a69358901c20 (diff) |
New flat format for documentation fragments.
Diffstat (limited to 'stdlib/source/documentation/lux/abstract/order.lux')
-rw-r--r-- | stdlib/source/documentation/lux/abstract/order.lux | 47 |
1 files changed, 24 insertions, 23 deletions
diff --git a/stdlib/source/documentation/lux/abstract/order.lux b/stdlib/source/documentation/lux/abstract/order.lux index 9f0e646e3..f41ed5243 100644 --- a/stdlib/source/documentation/lux/abstract/order.lux +++ b/stdlib/source/documentation/lux/abstract/order.lux @@ -1,6 +1,6 @@ (.require [library - [lux + [lux (.except) ["$" documentation] [data [text (.only \n) @@ -8,33 +8,34 @@ [\\library ["[0]" /]]) -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition /.functor) +(def .public documentation + (List $.Documentation) + (list ($.module /._ + "") - ($.definition (/.Order it) - "A signature for types that possess some sense of ordering among their elements.") + ($.definition /.functor) - ($.definition (/.Comparison it) - "An arbitrary comparison between two values, with the knowledge of how to order them.") + ($.definition (/.Order it) + "A signature for types that possess some sense of ordering among their elements.") - ($.definition /.<= - "Less than or equal.") + ($.definition (/.Comparison it) + "An arbitrary comparison between two values, with the knowledge of how to order them.") - ($.definition /.> - "Greater than.") + ($.definition /.<= + "Less than or equal.") - ($.definition /.>= - "Greater than or equal.") + ($.definition /.> + "Greater than.") - ($.definition (/.Choice it) - "A choice comparison between two values, with the knowledge of how to order them.") + ($.definition /.>= + "Greater than or equal.") - ($.definition /.min - "Minimum.") + ($.definition (/.Choice it) + "A choice comparison between two values, with the knowledge of how to order them.") - ($.definition /.max - "Maximum.")] - [])) + ($.definition /.min + "Minimum.") + + ($.definition /.max + "Maximum.") + )) |