Proposal: Add isLeft/isRight to Data.Either

Bas van Dijk v.dijk.bas at gmail.com
Fri Dec 7 09:29:53 CET 2012


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



More information about the Libraries mailing list