
12 May
2009
12 May
'09
4:59 p.m.
Hi, I can't really describe it in the subject. So let me try to do it here. I have two functions
f :: a -> b g :: (a -> b) -> c -> d
and I use them as
gf :: c -> d gf = g f
Now I want to handle exceptions in f and redefine f as in f'
f' :: a -> IO (Either e b)
So my question is how to define gf' now to use f' instead of f?
gf' :: c -> IO (Either e d)
Thanks in advance. Xiao-Yong -- c/* __o/* <\ * (__ */\ <