Haskell - 比较与字符的IO字符

Question

我是Haskell的初学者，我被困在IO问题，我无法解决。

我正在做一个Snake游戏，我唯一需要做的事情就是让用户输入，让蛇移动。因此，这里是我的功能

--Get char 
input :: IO Char 
input = 
    hSetEcho stdin False 
    >> hSetBuffering stdin NoBuffering 
    >> getChar 

myFunction :: IO Char -> Int -> Int 
myfunction myChar oldValue 
    | (myChar == 'q') = 1 
    | (myChar == 'w') = 2 
    | (myChar == 'e') = 3 
    | (myChar == 'r') = 4 
    | otherwise = oldValue 

-- At the beginning of the game, function is called like this 
let dir = myFunction input 1 --To give the snake an initial direction 

-- The game works with a function Turn that takes an Int as parameter 
-- which is the previous direction. let's call it oldDir 
let newDir = myFunction input oldDir 
-- Then I call Turn again with newDir as parameter 

的问题来自于（myChar ==字符）的一部分，是“无法符合预期的类型‘IO字符’与实际类型‘字符’”

如何比较IO Char和Char？

简答：我不行。你能帮我解答更长的问题吗？ 这个问题可能被问了很多次，但我仍然坚持这个问题。

预先感谢您的回答！

亲切，

Answer 1

必须抬起比较到IO单子。例如：

myFunction :: Char -> Int -> IO Int 
myFunction 'q' _ = return 1 
myFunction 'w' _ = return 2 
myFunction 'e' _ = return 3 
myFunction 'r' _ = return 4 
myFunction _ x = return x 

-- Actual return type depends on what the function actually does 
someOtherFunction :: Int -> IO ? 
someOtherFunction oldDir = do 
    dir <- input 
    newDir <- myFunction dir oldDir 
    ... 

另一个（可能更好）的选择是保持myFunction一个纯粹的功能，并使用fmap如果你需要将其应用到IO Char。

-- Note the change in the argument order 
myFunction :: Int -> Char -> Int 
myFunction _ 'q' = 1 
... 
myFunction x _ = x 

someOtherFunction oldDir :: Int -> IO ? 
    newDir <- fmap (myFunction oldDir) input 
    ...