類型類扣除錯誤

Question

我有這樣的功能：

sTest :: (MonadState s m, MonadError e m) => m() 
sTest = do 
    s <- get 
    throwError "abc" 
    put s 

編譯時，我得到一個類型類扣除錯誤：如果我改變throwError拋出Int代替

• Could not deduce (MonadError [Char] m) 
    arising from a use of ‘throwError’ 
    from the context: (MonadState s m, MonadError e m) 
    bound by the type signature for: 
       sTest :: (MonadState s m, MonadError e m) => m() 
    at ... 
• In a stmt of a 'do' block: throwError "abc" 
    In the expression: 
    do { s <- get; 
     throwError "abc"; 
     put s } 
    In an equation for ‘sTest’: 
     sTest 
     = do { s <- get; 
       throwError "abc"; 
       put s } 

（並添加約束條件），則編譯成功：

sTest :: (Num e, MonadState s m, MonadError e m) => m() 
sTest = do 
    s <- get 
    throwError 123 
    put s 

任何人都可以解釋我嗎？

更新＃1

我創建了錯誤一種新的類型：

data EvalError = VarNotFound 
    | PlusParamsMustBeIntVal 
    | FirstAppParamMustBeFunVal 
    | OtherError String 
    deriving (Show) 

instance Error EvalError where 
    strMsg = OtherError 

sTest :: (Error e, MonadState s m, MonadError e m) => m() 
sTest = do 
    s <- get 
    throwError $ OtherError "abc" 
    put s 

但是編譯依然沒有成功：

• Could not deduce (MonadError EvalError m) 
    arising from a use of ‘throwError’ 
    from the context: (Error e, MonadState s m, MonadError e m) 
    bound by the type signature for: 
       sTest :: (Error e, MonadState s m, MonadError e m) => m() 
    at ... 
• In a stmt of a 'do' block: throwError $ OtherError "abc" 
    In the expression: 
    do { s <- get; 
     throwError $ OtherError "abc"; 
     put s } 
    In an equation for ‘sTest’: 
     sTest 
     = do { s <- get; 
       throwError $ OtherError "abc"; 
       put s } 

Answer 1

throwError :: MonadError e m => e -> m a 

這裏throwError "abc"品牌e等於String，所以你需要MonadError String m。

sTest :: (MonadState s m, MonadError String m) => m()