Haskell 추론 제약은 Cabal 패키지에서 작동하지만, 패키지에서 가져 오는 경우에는 적용되지 않습니다.

Question

많은 실제 예제로 Cabal 패키지를 작성했습니다. 나는 예 디렉토리에서 이러한 예 중 하나를 복사하여 실행하려고 할 때, 나는 아래의 오류 얻을 : 도당 패키지 유형 서명 작업 때문에

$ cabal sandbox init 
$ cabal add-source deckbuild/ 
$ cabal install deckbuild/ 
$ cabal repl 
GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
λ> :l GreedyInference.hs 
[1 of 1] Compiling Main    (GreedyInference.hs, interpreted) 

GreedyInference.hs:93:27: 
     Could not deduce (mtl-2.1.3.1:Control.Monad.State.Class.MonadState 
          Game (StateT Game m)) 
     arising from a use of ‘runGame’ 
     from the context (MonadState Game m, MonadIO m) 
     bound by the type signature for 
        runGreedy :: (MonadState Game m, MonadIO m) => 
           (Double, Double) -> m Game 
     at GreedyInference.hs:92:14-94 
     In the first argument of ‘execStateT’, namely ‘runGame’ 
     In the expression: execStateT runGame 
     In the expression: execStateT runGame $ greedyGame ps 

GreedyInference.hs:107:29: 
     No instance for (MonadState Game IO) 
     arising from a use of ‘runGreedy’ 
     In the second argument of ‘($)’, namely 
     ‘runGreedy (param0, param1)’ 
     In the expression: unsafePerformIO $ runGreedy (param0, param1) 
     In an equation for ‘g’: 
      g = unsafePerformIO $ runGreedy (param0, param1) 
Failed, modules loaded: none. 

을, 나는 난 느낌이 가져 오기가 누락되었거나 패키지 외부의 코드를 사용할 때 형식 서명을 약간 조정해야합니다. 어떤 아이디어? 나는 올바른 방향으로 밀어 넣기를 찾고있을 뿐이며 구체적인 것을 파악할 수 있어야합니다. https://github.com/cronburg/deckbuild/blob/master/Examples/GreedyInference.hs

편집 :

작업 (패키지 내부에서 cabal repl로드시) 모듈을 여기에서 찾을 수 있습니다

가 나는 Control.Monad.State에 Class 대 Lazy 함께 할 수있는 뭔가가 생각합니다. 추론은 어떤 이유로 Class을 원하지만 hackage는 Lazy이 기본값이라고 말합니다. 어느 것을 사용해야합니까? 그 이유는 무엇입니까?

Answer 1

난 그냥 포함 Game/Monad.hs에서 파일을 결국 :

module Game.Monad (execStateT, MonadState, MonadIO) where 
import Control.Monad.State 

그런 다음 GreedyInference.hs에 import Game.Monad 내 import Control.State.Monad을 교체했다. 그런 다음 파일은 오류없이 컴파일됩니다.

그래서 나는 코멘트에 @Rufflewind는 바른 길에 생각 - 내 패키지에 수입 mtl 유형이 독립 GreedyInference.hs에 의해 수입 mtl 유형과 일치되지 않았다. 나는 아직도 버전이 일치하고 모든 관련 수입이 import Control.Monad.State이기 때문에 왜 그런지 잘 모르겠습니다.