diff options
Diffstat (limited to '')
7 files changed, 110 insertions, 110 deletions
diff --git a/stdlib/source/documentation/lux/data/text.lux b/stdlib/source/documentation/lux/data/text.lux index e783b5ee7..f5271ed99 100644 --- a/stdlib/source/documentation/lux/data/text.lux +++ b/stdlib/source/documentation/lux/data/text.lux @@ -20,51 +20,51 @@ (.List $.Module) ($.module \\format._ "" - [($.default \\format.functor) - - ($.default \\format.bit) - ($.default \\format.nat) - ($.default \\format.int) - ($.default \\format.rev) - ($.default \\format.frac) - ($.default \\format.text) + [($.definition \\format.functor) + + ($.definition \\format.bit) + ($.definition \\format.nat) + ($.definition \\format.int) + ($.definition \\format.rev) + ($.definition \\format.frac) + ($.definition \\format.text) - ($.default \\format.ratio) - ($.default \\format.symbol) - ($.default \\format.location) - ($.default \\format.code) - ($.default \\format.type) + ($.definition \\format.ratio) + ($.definition \\format.symbol) + ($.definition \\format.location) + ($.definition \\format.code) + ($.definition \\format.type) - ($.default \\format.instant) - ($.default \\format.duration) - ($.default \\format.date) - ($.default \\format.time) - ($.default \\format.day) - ($.default \\format.month) + ($.definition \\format.instant) + ($.definition \\format.duration) + ($.definition \\format.date) + ($.definition \\format.time) + ($.definition \\format.day) + ($.definition \\format.month) - ($.default \\format.xml) - ($.default \\format.json) - - ($.default \\format.nat_2) - ($.default \\format.nat_8) - ($.default \\format.nat_10) - ($.default \\format.nat_16) - ($.default \\format.int_2) - ($.default \\format.int_8) - ($.default \\format.int_10) - ($.default \\format.int_16) - ($.default \\format.rev_2) - ($.default \\format.rev_8) - ($.default \\format.rev_10) - ($.default \\format.rev_16) - ($.default \\format.frac_2) - ($.default \\format.frac_8) - ($.default \\format.frac_10) - ($.default \\format.frac_16) + ($.definition \\format.xml) + ($.definition \\format.json) + + ($.definition \\format.nat_2) + ($.definition \\format.nat_8) + ($.definition \\format.nat_10) + ($.definition \\format.nat_16) + ($.definition \\format.int_2) + ($.definition \\format.int_8) + ($.definition \\format.int_10) + ($.definition \\format.int_16) + ($.definition \\format.rev_2) + ($.definition \\format.rev_8) + ($.definition \\format.rev_10) + ($.definition \\format.rev_16) + ($.definition \\format.frac_2) + ($.definition \\format.frac_8) + ($.definition \\format.frac_10) + ($.definition \\format.frac_16) - ($.default \\format.mod) - ($.default \\format.list) - ($.default \\format.maybe) + ($.definition \\format.mod) + ($.definition \\format.list) + ($.definition \\format.maybe) ($.definition (\\format.Format it) "A way to produce readable text from values.") @@ -78,14 +78,14 @@ (.List $.Module) ($.module \\parser._ "" - [($.default \\parser.unconsumed_input) - ($.default \\parser.expected_to_fail) - ($.default \\parser.cannot_parse) - ($.default \\parser.cannot_slice) - ($.default \\parser.cannot_match) - ($.default \\parser.character_should_be) - ($.default \\parser.character_should_not_be) - ($.default \\parser.character_does_not_satisfy_predicate) + [($.definition \\parser.unconsumed_input) + ($.definition \\parser.expected_to_fail) + ($.definition \\parser.cannot_parse) + ($.definition \\parser.cannot_slice) + ($.definition \\parser.cannot_match) + ($.definition \\parser.character_should_be) + ($.definition \\parser.character_should_not_be) + ($.definition \\parser.character_does_not_satisfy_predicate) ($.definition \\parser.Offset "An offset into a block of text.") @@ -235,38 +235,38 @@ (.List $.Module) ($.module /._ "" - [($.default /.of_char) - - ($.default /.\0) - ($.default /.null) - ($.default /.\a) - ($.default /.alarm) - ($.default /.\b) - ($.default /.back_space) - ($.default /.\t) - ($.default /.tab) - ($.default /.\n) - ($.default /.new_line) - ($.default /.\v) - ($.default /.vertical_tab) - ($.default /.\f) - ($.default /.form_feed) - ($.default /.\r) - ($.default /.carriage_return) - ($.default /.\'') - ($.default /.double_quote) + [($.definition /.of_char) + + ($.definition /.\0) + ($.definition /.null) + ($.definition /.\a) + ($.definition /.alarm) + ($.definition /.\b) + ($.definition /.back_space) + ($.definition /.\t) + ($.definition /.tab) + ($.definition /.\n) + ($.definition /.new_line) + ($.definition /.\v) + ($.definition /.vertical_tab) + ($.definition /.\f) + ($.definition /.form_feed) + ($.definition /.\r) + ($.definition /.carriage_return) + ($.definition /.\'') + ($.definition /.double_quote) - ($.default /.size) - ($.default /.format) - ($.default /.equivalence) - ($.default /.order) - ($.default /.monoid) - ($.default /.hash) - ($.default /.together) - ($.default /.empty?) - ($.default /.space) - ($.default /.lower_cased) - ($.default /.upper_cased) + ($.definition /.size) + ($.definition /.format) + ($.definition /.equivalence) + ($.definition /.order) + ($.definition /.monoid) + ($.definition /.hash) + ($.definition /.together) + ($.definition /.empty?) + ($.definition /.space) + ($.definition /.lower_cased) + ($.definition /.upper_cased) ($.definition /.Char "A character code number.") 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 "" |