не может соответствовать типу 'ByteString o0 m0 Значение' Vs 'ByteString Data.Void.Void IO Value'

Question

Я пытаюсь использовать haskell-json-service. Когда я запускаю код, он выдает ошибку здесь:

app req sendResponse = handle (sendResponse . invalidJson) $ do 
    value <- sourceRequestBody req $$ sinkParser json 
    newValue <- liftIO $ modValue value 
    sendResponse $ responseLBS 
     status200 
     [("Content-Type", "application/json")] 
     $ encode newValue 

Ошибка,

Couldn't match type ‘conduit-1.2.4:Data.Conduit.Internal.Conduit.ConduitM 
          ByteString o0 m0 Value’ 
        with ‘conduit-1.2.4.1:Data.Conduit.Internal.Conduit.ConduitM 
          ByteString Data.Void.Void IO Value’ 
NB: ‘conduit-1.2.4:Data.Conduit.Internal.Conduit.ConduitM’ 
      is defined in ‘Data.Conduit.Internal.Conduit’ 
       in package ‘conduit-1.2.4’ 
     ‘conduit-1.2.4.1:Data.Conduit.Internal.Conduit.ConduitM’ 
      is defined in ‘Data.Conduit.Internal.Conduit’ 
       in package ‘conduit-1.2.4.1’ 
Expected type: conduit-1.2.4.1:Data.Conduit.Internal.Conduit.Sink 
        ByteString IO Value 
     Actual type: conduit-1.2.4:Data.Conduit.Internal.Conduit.ConduitM 
        ByteString o0 m0 Value 
In the second argument of ‘($$)’, namely ‘sinkParser json’ 
    In a stmt of a 'do' block: 
     value <- sourceRequestBody req $$ sinkParser json 

Что double dollar делать? А что это за тип - ByteString o0 m0 Value?

Answer 1

Это, как представляется, проблема:

conduit-1.2.4:... 
conduit-1.2.4.1:... 

Ваш код использует ByteString типа из двух различных версий conduit библиотеки. С точки зрения GHC эти два типа не связаны: например, вы не можете передать первый тип библиотечной функции, которая ожидает вторую.

Причиной этого может быть использование библиотеки X, которая была скомпилирована против «старого» conduit и библиотеки Y, которая вместо этого была скомпилирована против более новой версии. Если ваша программа импортирует X и Y, у вас появятся проблемы при прохождении байтов от X до Y или наоборот. Я понятия не имею, что такое X или Y.

Возможно, вы можете перекомпилировать X или Y, чтобы они использовали ту же версию conduit.