aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/abstract/functor.lux
blob: 92c0a61c975672062c023f417b99bbf6bd56b0fa (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
(.using
 [library
  [lux
   ["$" documentation {"+" documentation:}]
   [data
    [text {"+" \n}
     ["%" format {"+" format}]]]]]
 [\\library
  ["[0]" /]]
 ["[0]" / "_"
  ["[1][0]" contravariant]])

(documentation: /.sum
  "Co-product (sum) composition for functors.")

(documentation: /.product
  "Product composition for functors.")

(documentation: /.composite
  "Functor composition.")

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default (/.Functor !))
             ($.default (/.Or left right))
             ($.default (/.And left right))
             ($.default (/.Then outer inner))
             ..sum
             ..product
             ..composite]
            [/contravariant.documentation]))