On Tue, 22 Jan 2013, John Wiegley wrote:
Use 'onlyIf' with AndM and AndMT to guard later statements, which are only
evaluated if every preceding 'onlyIf' evaluates to True. For example:
foo :: AndM Int
foo = do onlyIf (True == True)
return 100
onlyIf (True ==
Henning Thielemann lemm...@henning-thielemann.de writes:
Does the And monad fulfill the monad laws? In a proper monad an interim
(return x) (without a '-') is a no-op.
You are very right. I will make the necessary changes.
--
John Wiegley
FP Complete Haskell tools,