diff options
author | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
commit | 7976268575e7c6910dfba2d2733e8cc1883678e7 (patch) | |
tree | 0ce156081612235c0df5e2ad9167be3fc5d75c6c /stdlib/source/documentation/lux/data/collection/tree.lux | |
parent | 39325bb36c6f6459c861ef12f9e99b9e66b52594 (diff) |
Re-named the "documentation" macro to "definition".
Diffstat (limited to 'stdlib/source/documentation/lux/data/collection/tree.lux')
-rw-r--r-- | stdlib/source/documentation/lux/data/collection/tree.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux index fca76d251..4e063f788 100644 --- a/stdlib/source/documentation/lux/data/collection/tree.lux +++ b/stdlib/source/documentation/lux/data/collection/tree.lux @@ -18,22 +18,22 @@ "" [($.default \\parser.cannot_move_further) - ($.documentation (\\parser.Parser it) + ($.definition (\\parser.Parser it) "A parser of arbitrary trees.") - ($.documentation \\parser.result' + ($.definition \\parser.result' "Applies the parser against a tree zipper." [(result' parser zipper)]) - ($.documentation \\parser.result + ($.definition \\parser.result "Applies the parser against a tree." [(result parser tree)]) - ($.documentation \\parser.value + ($.definition \\parser.value "Yields the value inside the current tree node.") (,, (with_template [<name> <doc>] - [($.documentation <name> + [($.definition <name> <doc>)] [\\parser.down "Move down."] @@ -61,22 +61,22 @@ ($.default /.functor) ($.default /.mix) - ($.documentation (/.Tree it) + ($.definition (/.Tree it) "A generic tree data-structure.") - ($.documentation /.flat + ($.definition /.flat "All the leaf values of the tree, in order." [(flat tree)]) - ($.documentation /.leaf + ($.definition /.leaf "" [(leaf value)]) - ($.documentation /.branch + ($.definition /.branch "" [(branch value children)]) - ($.documentation /.tree + ($.definition /.tree "Tree literals." [(is (Tree Nat) (tree 12 |