diff options
| author | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
| commit | 9f6505491e8a5c8a159ce094fe0af6f4fef0c5cf (patch) | |
| tree | d497c163e477406a388460eedea80fdd6ee9748a /stdlib/source/documentation/lux/abstract/predicate.lux | |
| parent | 3053fd79bc6ae42415298ee056a268dc2c9b690c (diff) | |
Re-named "format/lux/data/binary.Writer" to "Format".
Diffstat (limited to 'stdlib/source/documentation/lux/abstract/predicate.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/abstract/predicate.lux | 56 |
1 files changed, 24 insertions, 32 deletions
diff --git a/stdlib/source/documentation/lux/abstract/predicate.lux b/stdlib/source/documentation/lux/abstract/predicate.lux index 8c7ad5daa..e8507ce02 100644 --- a/stdlib/source/documentation/lux/abstract/predicate.lux +++ b/stdlib/source/documentation/lux/abstract/predicate.lux @@ -1,50 +1,42 @@ (.require [library [lux - ["$" documentation (.only documentation:)] + ["$" documentation] [data [text (.only \n) ["%" \\format (.only format)]]]]] [\\library ["[0]" /]]) -(documentation: (/.Predicate it) - "A question that can be asked of a value, yield either false (#0) or true (#1).") +(.def .public documentation + (.List $.Module) + ($.module /._ + "" + [($.default /.union) + ($.default /.intersection) + ($.default /.functor) -(documentation: /.none - "A predicate that always fails.") + ($.documentation (/.Predicate it) + "A question that can be asked of a value, yield either false (#0) or true (#1).") -(documentation: /.or - "A predicate that meets either predecessor.") + ($.documentation /.none + "A predicate that always fails.") -(documentation: /.all - "A predicate that always succeeds.") + ($.documentation /.or + "A predicate that meets either predecessor.") -(documentation: /.and - "A predicate that meets both predecessors.") + ($.documentation /.all + "A predicate that always succeeds.") -(documentation: /.complement - "The opposite of a predicate.") + ($.documentation /.and + "A predicate that meets both predecessors.") -(documentation: /.difference - "A predicate that meeds 'base', but not 'sub'.") + ($.documentation /.complement + "The opposite of a predicate.") -(documentation: /.rec - "Ties the knot for a recursive predicate.") + ($.documentation /.difference + "A predicate that meeds 'base', but not 'sub'.") -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [..Predicate - ..none - ..or - ..all - ..and - ..complement - ..difference - ..rec - ($.default /.union) - ($.default /.intersection) - ($.default /.functor)] + ($.documentation /.rec + "Ties the knot for a recursive predicate.")] [])) |