表現可能で構成可能なエラータイプ

Question

私が取り組んでいるライブラリでうまく構成する必要がある関数のセットのエラーを報告する最良の方法に苦労しています。 fooは一方向のみ（Maybeのために良いフィット）で失敗することができますが、barとbazは、2つの異なる方法で各（良いフィットを失敗する可能性があります

foo, bar, baz :: a -> Maybe a 

：

具体的には、私は次のようになり機能を持っていますEither BarErrorsおよびEither BazErrors）。

一つの解決策は、作成することです：

data AllTheErrors = TheFooError 
        | BarOutOfBeer 
        | BarBurnedDown 
        | ... 

と表現を犠牲にして、これらの機能の構成シーケンスによって発生する可能性があるエラーの範囲を表現している、すべての機能がEither AllTheErrorsを返す作りますそれぞれ個の可能なエラーの範囲機能。

両方の方法がありますか？多分モナドの構成以外の何かと？またはタイプの家族（波の手）...？

Answer 1

ライブラリControl.Monad.Exceptionライブラリでは、強力な型付き例外を非IOコードで使用できます。これにより、関数はエラーをスローすることができ、異なるエラーを投げる関数を簡単に作成することができます。たとえば：

{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FunctionalDependencies #-} 
{-# LANGUAGE FlexibleInstances #-} 
import Prelude hiding (catch) 
import Control.Monad.Exception 


data FooException = FooException deriving (Show, Typeable) 
instance Exception FooException 

data BarErrors = BarErrors deriving (Show, Typeable) 
instance Exception BarErrors 

data BazErrors = BazErrors deriving (Show, Typeable) 
instance Exception BazErrors 

-- sample functions  
foo :: (Throws FooException l) => a -> EM l a 
foo a = return a 


bar :: (Throws BarErrors l) => a -> EM l a 
bar _ = throw BarErrors 

baz :: (Throws BazErrors l) => a -> EM l a 
baz a = return a 


-- using all at once: 

allAtOnce :: (Throws FooException l, Throws BarErrors l, Throws BazErrors l) => 
      a -> EM l String 
allAtOnce x = do 
    _ <- foo x 
    _ <- bar x 
    _ <- baz x 
    return "success!" 

-- now running the code, catching the exceptions: 

run :: a -> String 
run x = runEM $ allAtOnce x `catch` (\(_ :: FooException) -> return "foo failed") 
     `catch` (\BarErrors -> return "bar failed") 
     `catch` (\BazErrors -> return "baz failed") 


-- run 3 results in "bar failed" 

も、このライブラリを使用しての詳細については、論文Explicitly Typed Exceptions for HaskellとAn Extensible Dynamically-Typed Hierarchy of Exceptionsを参照してください。