13 Nov
2006
13 Nov
'06
11:02 p.m.
On 11/13/06, Donald Bruce Stewart <dons@cse.unsw.edu.au> wrote:
(>=>) :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c) (<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
Does anyone have an opinion about these guys? :)
I want them. See my timeout patch for a case where I wanted one of these and didn't have it (the catch filter expression). -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem