1

リクエストパーサーからの例外を処理しようとしています:

   go bs =                                                                 
       case try $ parseRequest reader bs secure of                             
         Left  ex             -> exceptionHandler writer ex                 
         Right (request, bs') -> do                                         
            sendResponse writer =<< app request                             
            go bs'

しかし、使用時に問題がありますtry:

Couldn't match expected type `IO (Either e0 (Request, ByteString))'
            with actual type `Either t0 t1'
In the pattern: Left ex
In a case alternative: Left ex -> exceptionHandler writer ex
In the expression:
  case try $ parseRequest reader bs secure of {
    Left ex -> exceptionHandler writer ex
    Right (request, bs')
      -> do { sendResponse writer =<< app request;
              go bs' } }

IO (Either e0 (Request, ByteString))tryは、そのタイプが であるため、取得することを除いて、まさに私が取得するものですtry :: Exception e => IO a -> IO (Either e a)が、代わりに を取得しEither e aます。

私は何が欠けていますか？

4

2 に答える 2

7

tryを生成しIO (Either e a)ます。tryによって生成された値をパターンに対して照合しているため、エラーメッセージが表示されます。パターンLeft exのタイプEither a bは ではありませんIO a。

コードを修正するにEitherは、IO(>>=または<-内部を使用してdo) を取得し、それに対してパターン マッチを行う必要があります。

于 2013-05-24T18:17:43.063 に答える
5

GHC 7.6以降では、次を使用できます

try (parseRequest reader bs secure) >>= \case
    Left ex -> ...
    Right (request, bs') -> ...

有効にすると{-# LANGUAGE LambdaCase #-}

于 2013-05-24T18:25:34.997 に答える