blob: 3de919eb5371e4846893e9b4e26c6e552b11c9d5 (
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
|
(.module:
[library
[lux
["$" documentation (#+ documentation:)]
[data
[text (#+ \n)
["%" format (#+ format)]]]]]
[\\library
["." /]]
["." / #_
["#." 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 /.Fix)
($.default /.Or)
($.default /.And)
($.default /.Then)
..sum
..product
..composite]
[/contravariant.documentation]))
|