stdlib/source/documentation/lux/abstract/comonad/cofree.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

(.module:
  [library
   [lux
    ["$" documentation (#+ documentation:)]]]
  [\\library
   ["." /]])

(documentation: /.CoFree
  "The CoFree CoMonad.")

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..CoFree
             ($.default /.functor)
             ($.default /.comonad)]
            []))