diff options
Diffstat (limited to 'stdlib/source/documentation/lux/abstract/comonad.lux')
-rw-r--r-- | stdlib/source/documentation/lux/abstract/comonad.lux | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/stdlib/source/documentation/lux/abstract/comonad.lux b/stdlib/source/documentation/lux/abstract/comonad.lux index d37ba5d68..e634ad2b2 100644 --- a/stdlib/source/documentation/lux/abstract/comonad.lux +++ b/stdlib/source/documentation/lux/abstract/comonad.lux @@ -1,7 +1,7 @@ (.using [library [lux - ["$" documentation (.only documentation:)] + ["$" documentation (.only documentation)] [data [text (.only \n) ["%" \\format (.only format)]]]]] @@ -10,21 +10,18 @@ ["[0]" / ["[1][0]" cofree]]) -(documentation: (/.CoMonad !) - (format "Co-monads are the opposite/complement to monads." - \n "Co-monadic structures are often infinite in size and built upon lazily-evaluated functions.")) - -(documentation: /.be - "A co-monadic parallel to the 'do' macro." - [(let [square (function (_ n) (* n n))] - (be comonad - [inputs (iterate ++ +2)] - (square (out inputs))))]) - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..CoMonad - ..be] + [(documentation (/.CoMonad !) + (format "Co-monads are the opposite/complement to monads." + \n "Co-monadic structures are often infinite in size and built upon lazily-evaluated functions.")) + + (documentation /.be + "A co-monadic parallel to the 'do' macro." + [(let [square (function (_ n) (* n n))] + (be comonad + [inputs (iterate ++ +2)] + (square (out inputs))))])] [/cofree.documentation])) |