[Haskell-cafe] name for monad-like structure?

Bryan O'Sullivan bos at serpentine.com
Tue Apr 28 19:11:39 EDT 2009

On Tue, Apr 28, 2009 at 3:54 PM, Michael Vanier <mvanier42 at gmail.com> wrote:

> I've stumbled upon a structure that is like a weaker version of a monad,
> one that supports return and >> but not >>=.  Has anyone seen this before,
> and if so, does it have a standard name?

 That's similar to Applicative, which supports fmap (via Functor), return
(named pure) and ap (named <*>), and hence >> (named *>).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090428/7b6bd901/attachment.htm

More information about the Haskell-Cafe mailing list