aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/control/function/predicate.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/control/function/predicate.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/control/function/predicate.lux b/stdlib/source/documentation/lux/control/function/predicate.lux
index e8507ce02..efc4bea44 100644
--- a/stdlib/source/documentation/lux/control/function/predicate.lux
+++ b/stdlib/source/documentation/lux/control/function/predicate.lux
@@ -16,27 +16,27 @@
($.default /.intersection)
($.default /.functor)
- ($.documentation (/.Predicate it)
+ ($.definition (/.Predicate it)
"A question that can be asked of a value, yield either false (#0) or true (#1).")
- ($.documentation /.none
+ ($.definition /.none
"A predicate that always fails.")
- ($.documentation /.or
+ ($.definition /.or
"A predicate that meets either predecessor.")
- ($.documentation /.all
+ ($.definition /.all
"A predicate that always succeeds.")
- ($.documentation /.and
+ ($.definition /.and
"A predicate that meets both predecessors.")
- ($.documentation /.complement
+ ($.definition /.complement
"The opposite of a predicate.")
- ($.documentation /.difference
+ ($.definition /.difference
"A predicate that meeds 'base', but not 'sub'.")
- ($.documentation /.rec
+ ($.definition /.rec
"Ties the knot for a recursive predicate.")]
[]))