
7 Feb
2020
7 Feb
'20
5:27 a.m.
On Feb 7, 2020, at 1:19 AM, PICCA Frederic-Emmanuel
wrote: I did not know about runCatch. I should try these kind of runXXX on hoogle.
FWIW, I did not find it on Hoogle. Rather I looked at the documentation of MonadCatch, noting the only instance that wrapped a generic Monad that didn't already have MonadCatch was 'CatchT m a'. That led naturally to 'Catch = CatchT identity' and 'runCatch'. Finding it through ad-hoc searches would have been much harder... -- Viktor.