diff options
author | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
commit | 6a052144968df9b441df53f6aa08cbb515ff2654 (patch) | |
tree | 7276eb5450baf14cfdc69071fd082168741b8291 /stdlib/source/documentation/lux/data/text | |
parent | 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (diff) |
Folded "default" documentation into regular definition documentation.
Diffstat (limited to 'stdlib/source/documentation/lux/data/text')
6 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/documentation/lux/data/text/buffer.lux b/stdlib/source/documentation/lux/data/text/buffer.lux index 38bd18830..6c8fc5c5f 100644 --- a/stdlib/source/documentation/lux/data/text/buffer.lux +++ b/stdlib/source/documentation/lux/data/text/buffer.lux @@ -12,10 +12,10 @@ (.List $.Module) ($.module /._ "" - [($.default /.empty) - ($.default /.then) - ($.default /.size) - ($.default /.text) + [($.definition /.empty) + ($.definition /.then) + ($.definition /.size) + ($.definition /.text) ($.definition /.Buffer "Immutable text buffer for efficient text concatenation.")] diff --git a/stdlib/source/documentation/lux/data/text/encoding.lux b/stdlib/source/documentation/lux/data/text/encoding.lux index 40366df2c..2acadb26e 100644 --- a/stdlib/source/documentation/lux/data/text/encoding.lux +++ b/stdlib/source/documentation/lux/data/text/encoding.lux @@ -14,7 +14,7 @@ (.List $.Module) ($.module /._ "" - [($.default /.name) + [($.definition /.name) ($.definition /.Encoding "Encoding formats for text.") diff --git a/stdlib/source/documentation/lux/data/text/escape.lux b/stdlib/source/documentation/lux/data/text/escape.lux index 25081c655..91c23806d 100644 --- a/stdlib/source/documentation/lux/data/text/escape.lux +++ b/stdlib/source/documentation/lux/data/text/escape.lux @@ -12,10 +12,10 @@ (.List $.Module) ($.module /._ "" - [($.default /.escapable?) - ($.default /.dangling_escape) - ($.default /.invalid_escape) - ($.default /.invalid_unicode_escape) + [($.definition /.escapable?) + ($.definition /.dangling_escape) + ($.definition /.invalid_escape) + ($.definition /.invalid_unicode_escape) ($.definition /.escaped "Yields a escaped version of the text." diff --git a/stdlib/source/documentation/lux/data/text/regex.lux b/stdlib/source/documentation/lux/data/text/regex.lux index b939df37d..cd8511743 100644 --- a/stdlib/source/documentation/lux/data/text/regex.lux +++ b/stdlib/source/documentation/lux/data/text/regex.lux @@ -12,7 +12,7 @@ (.List $.Module) ($.module /._ "" - [($.default /.incorrect_quantification) + [($.definition /.incorrect_quantification) ($.definition /.regex "Create lexers using regular-expression syntax." diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux index 72f45cdaa..3c5ea5c8f 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/block.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux @@ -15,12 +15,12 @@ (.List $.Module) ($.module /._ "" - [($.default /.monoid) - ($.default /.start) - ($.default /.end) - ($.default /.size) - ($.default /.equivalence) - ($.default /.hash) + [($.definition /.monoid) + ($.definition /.start) + ($.definition /.end) + ($.definition /.size) + ($.definition /.equivalence) + ($.definition /.hash) ($.definition /.Block "A block of valid unicode characters.") diff --git a/stdlib/source/documentation/lux/data/text/unicode/set.lux b/stdlib/source/documentation/lux/data/text/unicode/set.lux index 57040bb69..268affa1b 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/set.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux @@ -12,21 +12,21 @@ (.List $.Module) ($.module /._ "" - [($.default /.Set) - ($.default /.composite) - ($.default /.character) - ($.default /.non_character) - ($.default /.full) - ($.default /.start) - ($.default /.end) - ($.default /.equivalence) + [($.definition /.Set) + ($.definition /.composite) + ($.definition /.character) + ($.definition /.non_character) + ($.definition /.full) + ($.definition /.start) + ($.definition /.end) + ($.definition /.equivalence) - ($.default /.ascii) - ($.default /.alphabetic) - ($.default /.alpha_numeric) - ($.default /.numeric) - ($.default /.upper_case) - ($.default /.lower_case) + ($.definition /.ascii) + ($.definition /.alphabetic) + ($.definition /.alpha_numeric) + ($.definition /.numeric) + ($.definition /.upper_case) + ($.definition /.lower_case) ($.definition /.set "" |