gpt4 book ai didi

haskell - MonadException 实例没有被推导出来

转载 作者:行者123 更新时间:2023-12-03 14:25:56 24 4
gpt4 key购买 nike

也许我在这里做了一些愚蠢的事情,但我得到了:

No instance for (MonadException Ti)
arising from a use of `getInputLine'

在代码示例中:
module Foo where
import System.Console.Haskeline
import System.Console.Haskeline.MonadException
import Control.Monad.State
import Control.Monad.IO.Class

type Ti = StateT Int IO

action :: String -> Ti ()
action s = do
n <- get
lift $ putStrLn $ show n ++ ": " ++ s

repl :: InputT Ti ()
repl = do
minput <- getInputLine "?"
case minput of
Nothing -> return ()
Just input -> lift (action input) >> repl

现在, System.Console.Haskeline.MonadException定义
MonadException IO
(MonadIO (StateT s m), MonadException m) => MonadException (StateT s m)

Control.Monad.IO.Class :
MonadIO IO
MonadIO m => MonadIO (StateT s m)

所以,它不应该推导出 Ti 的实例吗?自动地?

最佳答案

没有惰性状态转换器的实例,只有严格的实例。使用 import Control.Monad.State.Strict .

关于haskell - MonadException 实例没有被推导出来,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16944016/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com