5 Sep
2003
5 Sep
'03
12:02 p.m.
-- ** The @handle@ functions - handle, -- :: (Exception -> IO a) -> IO a -> IO a - handleJust,-- :: (Exception -> Maybe b) -> (b -> IO a) -> IO a -> IO a + handle, -- :: MonadIO m => (Exception -> m a) -> m a -> m a + handleJust,-- :: (Exception -> Maybe b) -> (b -> m a) -> m a -> m a
Is the MonadIO constraint on m intentionally missing from handleJust? --KW 8-) -- Keith Wansbrough <kw217@cl.cam.ac.uk> http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory.