ResourceT의 문제 해결

Question

특히이 클라이언트를 example에 적용하고 있습니다. 코드와 오류가 발생한 후 문제가 있다고 생각하는 전화를 드리겠습니다.

> {-# LANGUAGE OverloadedStrings #-} 
> import Network.HTTP.Conduit 
> (http, parseUrl, newManager,def, withManager, RequestBody (RequestBodyLBS) 
> , requestBody, method, Response (..) 
>) 
> import Data.Aeson (Value (Object, String)) 
> import Data.Aeson.Parser (json) 
> import Data.Conduit 
> import Data.Conduit.Attoparsec (sinkParser) 
> import Control.Monad.IO.Class (liftIO) 
> import Control.Monad.Trans.Class (lift) 
> import Data.Aeson (encode, (.=), object) 


> main :: IO() 
> main = withManager $ \manager -> do 
> value <- makeValue 
> -- We need to know the size of the request body, so we convert to a 
> -- ByteString 
> let valueBS = encode value 
> req' <- parseUrl "http://10.64.16.6:3000/" 
> let req = req' { method = "POST", requestBody = RequestBodyLBS valueBS } 
> Response status version headers body <- http req manager 
> resValue <- body $$ sinkParser json 
> handleResponse resValue 

> -- Application-specific function to make the request value 
> makeValue :: ResourceT IO Value 
> makeValue = return $ object 
> [ ("foo" .= ("bar" :: String)) 
> ] 

> -- Application-specific function to handle the response from the server 
> handleResponse :: Value -> ResourceT IO() 
> handleResponse foo = do 
> _ <- lift (print foo) 
> return() 

No instance for (Control.Monad.Trans.Class.MonadTrans ResourceT) 
    arising from a use of `lift' 
Possible fix: 
    add an instance declaration for 
    (Control.Monad.Trans.Class.MonadTrans ResourceT) 
In a stmt of a 'do' block: _ <- lift (print foo) 
In the expression: 
    do { _ <- lift (print foo); 
     return() } 
In an equation for `handleResponse': 
    handleResponse foo 
     = do { _ <- lift (print foo); 
      return() } 

가 여기에 문제의 오류가 Control.Monad.Trans.Class.MonadTrans ResourceT

에 대한 인스턴스가 없다고 말합니다 그러나 나는 인해 documentation에 있다고 생각합니다. 어디서 잘못 됐나요? 언급 한 바와 같이

아래 여기 ResourceT 자기 반성의 결과이다 Control.Monad.Trans.Resource

으로 계속 뭔가 janke있다. resourcet의

*Main Control.Monad.Trans.Resource> :i ResourceT 
newtype ResourceT m a 
    = Control.Monad.Trans.Resource.ResourceT (GHC.IORef.IORef 
               Control.Monad.Trans.Resource.ReleaseMap 
              -> m a) 
    -- Defined in `Control.Monad.Trans.Resource' 
instance Monad m => Monad (ResourceT m) 
    -- Defined in `Control.Monad.Trans.Resource' 
instance Functor m => Functor (ResourceT m) 
    -- Defined in `Control.Monad.Trans.Resource' 
instance MonadBaseControl b m => MonadBaseControl b (ResourceT m) 
    -- Defined in `Control.Monad.Trans.Resource' 
instance MonadThrow m => MonadThrow (ResourceT m) 
    -- Defined in `Control.Monad.Trans.Resource' 

버전은

[mlitchard@Boris Boris]$ ghc-pkg list resourcet 
WARNING: there are broken packages. Run 'ghc-pkg check' for more details. 
/usr/lib/ghc-7.4.1/package.conf.d 
/home/mlitchard/.ghc/x86_64-linux-7.4.1/package.conf.d 
    resourcet-0.3.2.1 

진행 방법에 어떤 아이디어가? MonadTrans ResourceT의 인스턴스는 어디에 있습니까?

Answer 1

편집 :이 대답은 문제를 해결하지 못하지만 가져 오기를 수행해도 여전히 인스턴스가 해결되지 않습니다. 이것은 GHC 나 다른 시스템의 버그 인 것 같습니다.

Data.Conduit 모듈은 편의를 위해 ResourceT 만 다시 내보내기합니다. 리소스 모나드 변환기는 별도의 패키지 resourcet에 정의되어 있습니다. conduit 그런 이유로 클래스 인스턴스를 다시 내보내기하지 않습니다 (분명히?). 연결된 클래스 인스턴스에 액세스하려면 Control.Monad.Trans.Resource을 수동으로 가져와야합니다. 물론 다음 구문을 사용하여 수행 할 수 있습니다.

import Control.Monad.Trans.Resource() -- Only import instances 

Answer 2

내가 베팅 한 사람이라면 여러 버전의 라이브러리가 설치되어 있다고 말할 수 있습니다. 예를 들어, 버전 0.2와 0.3의 변압기가 있고 resourcet이 버전 0.2에 대해 작성되었다고 가정 해보십시오. import Control.Monad.Trans.Class (lift) 코드를 작성할 때 lift의 버전 0.3을 가져오고 있지만 관련 인스턴스가 없습니다.

가장 쉬운 방법은 코드를 캐 버리하는 것입니다. Cabal은 관련 라이브러리의 올바른 버전을 보유하고 있는지 확인합니다.