diff options
| author | Eduardo Julian | 2021-07-26 01:45:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-26 01:45:57 -0400 |
| commit | e64b6d0114c26a455e19a416b5f02a4d19dd711f (patch) | |
| tree | 020e426a40aefebf6b052e799b33c40fe4d8a80c /stdlib/source/library/lux/abstract/monad.lux | |
| parent | 62b3abfcc014ca1c19d62aacdd497f6a250b372c (diff) | |
Re-named Promise to Async.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/abstract/monad.lux | 4 |
1 files changed, 4 insertions, 0 deletions
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)))) |