aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/abstract/predicate.lux
blob: e8507ce02f93b5922a3f8d20f515db0b6ada3113 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
(.require
 [library
  [lux
   ["$" documentation]
   [data
    [text (.only \n)
     ["%" \\format (.only format)]]]]]
 [\\library
  ["[0]" /]])

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.union)
             ($.default /.intersection)
             ($.default /.functor)

             ($.documentation (/.Predicate it)
               "A question that can be asked of a value, yield either false (#0) or true (#1).")

             ($.documentation /.none
               "A predicate that always fails.")

             ($.documentation /.or
               "A predicate that meets either predecessor.")

             ($.documentation /.all
               "A predicate that always succeeds.")

             ($.documentation /.and
               "A predicate that meets both predecessors.")

             ($.documentation /.complement
               "The opposite of a predicate.")

             ($.documentation /.difference
               "A predicate that meeds 'base', but not 'sub'.")

             ($.documentation /.rec
               "Ties the knot for a recursive predicate.")]
            []))