On Sat, Apr 21, 2012 at 08:28:27PM -0500, Strake wrote:
> On 21/04/2012, Andreas Abel <[email protected]> wrote:
> > to avoid silly "return ()" statements like in
> >
> >    when cond $ do
> >      monadicComputationWhoseResultIWantToDiscard
> >      return ()
> 
> (when cond ∘ void) monadicComputationWhoseResultIWantToDiscard
> or
> when cond $ () <$ monadicComputationWhoseResultIWantToDiscard

How is that simpler than

  when cond monadicComputationWhoseResultIWantToDiscard

which it would be with the suggested new type?

   Julian

_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to