generalization of maybeToList

Jeff Shaw shawjef3 at msu.edu
Tue Feb 14 16:47:46 CET 2012


I'm all for generalizations! I have a second, very similar function I 
think should be added, but I don't have a good name for it.

maybe mzero id :: MonadPlus m => Maybe (m a) -> m a

Perhaps there is once again an equivalent for Alternative.

On 2/14/2012 10:24 AM, Edward Kmett wrote:
> If you are going to add one then the generalization of your generalization to Alternative might be better.
>
> maybeA = maybe empty pure
>
> On Feb 14, 2012, at 9:55 AM, Jeff Shaw<shawjef3 at msu.edu>  wrote:
>
>> I find myself using this function quite a lot. I believe it should be included in Data.Maybe.
>>
>> import Control.Monad
>>
>> maybeTo :: (MonadPlus m) =>  Maybe a ->  m a
>> maybeTo =
>>     maybe mzero return
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://www.haskell.org/mailman/listinfo/libraries




More information about the Libraries mailing list