-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Maurício wrote:
|> ignore m = m >> return ()
|
|
| But isn't exactly that the behavior of (>>)?
~ignore :: Monad m => m a -> m ()
~(>>) :: Monad m => m a -> m b -> m b
It may also be worth noting that ignore can be generalized to Functor:
? It is easy for 'when' to ignore the result
of the first computation, and this would not
break existing code, and also save a lot of
>> return ()s.
As Neil Mitchell pointed out[1], ignoring results implicitly may
indicate an error. Perhaps it's cleaner to define
ignore m = m >> return ()
Maurício wrote:
? It is easy for 'when' to ignore the result
of the first computation, and this would not
break existing code, and also save a lot of
>> return ()s.
As Neil Mitchell pointed out[1], ignoring results implicitly may
indicate an error. Perhaps it's cleaner to define
ignore m
