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

Michael Vanier mvanier42 at gmail.com
Tue Apr 28 19:33:05 EDT 2009


Tony Morris wrote:
> Michael Vanier 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?
>>
>> Mike
>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>     
> Are you sure it supports
> (>>) :: m a -> m b -> m b
>
> and not
> mplus :: m a -> m a -> m a ?
>
>   
Yeah, you're right.  It's basically a monad where the type a is fixed to 
be (), so you just have

(>>) :: m () -> m () -> m ()

Mike


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090428/7c3c05fc/attachment.htm


More information about the Haskell-Cafe mailing list