22 Apr
2012
22 Apr
'12
7:19 a.m.
On Sat, Apr 21, 2012 at 08:28:27PM -0500, Strake wrote:
On 21/04/2012, Andreas Abel <andreas.abel@ifi.lmu.de> 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