Proposal: Add isLeft/isRight to Data.Either

Erik Hesselink hesselink at gmail.com
Fri Dec 7 10:25:46 CET 2012


On Fri, Dec 7, 2012 at 9:29 AM, Bas van Dijk <v.dijk.bas at gmail.com> wrote:
> On 6 December 2012 23:05, Evan Laforge <qdunkan at gmail.com> wrote:
>>>>   - I often use the 'when'-like combinator 'whenJust' in monadic code:
>>>>
>>>>      whenJust :: Monad m => Maybe a -> (a -> m ()) -> m ()
>>>>      whenJust (Just x) a = a x
>>>>      whenJust _        _ = return ()
>>>
>>>
>>> +1. whenJust is defined also in Agda.Utils.Monad, should also added to
>>> Control.Monad.
>>
>> Off topic, but I have whenJust in my local library too, and I use it
>> all the time.
>
> In a project at work:
>
> $ grep -r whenJust --include=\*.hs . | wc -l
> 27

There is no need to define whenJust, since it is just a specialization
of forM_ from Data.Foldable.

Erik



More information about the Libraries mailing list