チェーンExceptTと異なるLeft in doブロック

Question

私は数種類の例外を投げる計算をしています。 1つ1つを評価せずにdoブロック内でそれらを連鎖させ、結果をEither ex resultとしてパターン一致させるにはどうすればよいですか？

type IntComp ex = ExceptT ex IO Int 

local :: IntComp IOException 
local = ExceptT $ map length <$> tryIO (readFile "file") 

web :: IntComp WebException 
web = ExceptT $ map length <$> tryAny (getWebsite "file") 

comp :: (Exception ex) => IntComp ? -> IntComp ? -> IntComp ? 
comp local web = ExceptT $ do 
res1 <- local 
res2 <- web 
return (res1 + res2) 

それらはすべてExceptionのインスタンスを持っているので、私は同様の方法でcomp関数を記述するためにいくつかの方法がなければならないと思うだろうか？あなたは2つの例外タイプEOneとETwoを持っている場合は

Answer 1

は、あなたはこのようにそれを行うことができます：彼らは例外の種類を投げるので

twoExceptions :: ExceptT (Either EOne ETwo) m a 
twoExceptions = do 
    fmapL Left computationThatFailsWithEOne -- :: ExceptT EOne m b 
    fmapL Right computationThatFailsWithETwo -- :: ExceptT ETwo m c 
    ... 

Answer 2

comp :: (Exception ex1, Exception ex2) => IntComp ex1 -> IntComp ex2 -> IntComp SomeException 
comp local web = do 
    res1 <- withExceptT toException local 
    res2 <- withExceptT toException web 
    return (res1 + res2)