
31 Oct
2012
31 Oct
'12
1:26 p.m.
On Wed, Oct 31, 2012 at 06:14:52PM +0100, Daniel Trstenjak wrote:
(<&&>) :: Monad m => m Bool -> m Bool -> m Bool (<&&>) m1 m2 = do r1 <- m1 if r1 then m2 else return False
(<||>) :: Monad m => m Bool -> m Bool -> m Bool (<||>) m1 m2 = do r1 <- m1 if r1 then return True else m2
That the operators behave like the boolean ones we should have the same fixity declarations: infixr 3 (<&&>) infixr 2 (<||>) Greetings, Daniel