From e64b6d0114c26a455e19a416b5f02a4d19dd711f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 26 Jul 2021 01:45:57 -0400 Subject: Re-named Promise to Async. --- stdlib/source/library/lux/abstract/monad.lux | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'stdlib/source/library/lux/abstract/monad.lux') diff --git a/stdlib/source/library/lux/abstract/monad.lux b/stdlib/source/library/lux/abstract/monad.lux index ef7138593..567234801 100644 --- a/stdlib/source/library/lux/abstract/monad.lux +++ b/stdlib/source/library/lux/abstract/monad.lux @@ -44,6 +44,9 @@ #.Nil)) (interface: #export (Monad m) + {#.doc (doc "A monad is a monoid in the category of endofunctors." + "What's the problem?")} + (: (Functor m) &functor) (: (All [a] @@ -108,6 +111,7 @@ (#.Left "Wrong syntax for 'do'"))) (def: #export (bind monad f) + {#.doc (doc "Apply a function with monadic effects to a monadic value and yield a new monadic value.")} (All [! a b] (-> (Monad !) (-> a (! b)) (-> (! a) (! b)))) -- cgit v1.2.3