aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/abstract/functor.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation/lux/abstract/functor.lux')
-rw-r--r--stdlib/source/documentation/lux/abstract/functor.lux38
1 files changed, 21 insertions, 17 deletions
diff --git a/stdlib/source/documentation/lux/abstract/functor.lux b/stdlib/source/documentation/lux/abstract/functor.lux
index e0a981e87..6ac43c7cf 100644
--- a/stdlib/source/documentation/lux/abstract/functor.lux
+++ b/stdlib/source/documentation/lux/abstract/functor.lux
@@ -1,30 +1,34 @@
(.require
[library
- [lux
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
- ["%" \\format (.only format)]]]]]
+ ["%" \\format (.only format)]]
+ [collection
+ ["[0]" list]]]]]
[\\library
["[0]" /]]
["[0]" /
["[1][0]" contravariant]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition (/.Functor !))
- ($.definition (/.Or left right))
- ($.definition (/.And left right))
- ($.definition (/.Then outer inner))
+(def .public documentation
+ (List $.Documentation)
+ (list.partial ($.module /._
+ "")
- ($.definition /.sum
- "Co-product (sum) composition for functors.")
+ ($.definition (/.Functor !))
+ ($.definition (/.Or left right))
+ ($.definition (/.And left right))
+ ($.definition (/.Then outer inner))
- ($.definition /.product
- "Product composition for functors.")
+ ($.definition /.sum
+ "Co-product (sum) composition for functors.")
- ($.definition /.composite
- "Functor composition.")]
- [/contravariant.documentation]))
+ ($.definition /.product
+ "Product composition for functors.")
+
+ ($.definition /.composite
+ "Functor composition.")
+
+ /contravariant.documentation))