ここでStateTモナドを正しく使うには？

Question

私は、私が従うコースのためにハスケルで非常に小さな試合をしなければなりません。だから私は演奏機能を作りましたが、今はタイプシグネチャを変更するのに問題があります。

play :: [[String]] -> StateT GameState IO Score 
play input = 
do 
    liftIO $ clearScreen 
    (answered, correct) <- get 
    if True 
    then 
     do 
      liftIO $ putStrLn "Well done! Your answer was correct!" 
      liftIO $ putStrLn ("So far, you answered " ++ (show answered) ++ " questions") 
      put (answered + 1, correct + 1) 
      liftIO $ 
       do 
        temp <- getLine 
        putStrLn temp 
    else 
     do 
      liftIO $ putStrLn "I'm sorry, you're wrong..." 
      put (answered + 1, correct) 
    play input 

trueの場合、これはテスト用です。今、この関数は動作しますが、別の型シグネチャで動作させる必要があります。機能プレイの型シグネチャは次のようになります。

play :: IO (Either ParseError [[String]]) -> StateT GameState IO Score 

しかし、私はその後、私のStateTモナドを使用する方法について絶対にないアイデアを持っていませんか？これどうやってするの？ IO (Either ParseError [[String]])モナドは、missingH-packageのparseFromFile関数の結果です。

Answer 1

発信者がそれを処理する必要があります。ところで

main :: IO() 
main = do 
    parsed <- parseFromFileStuff 
    case parsed of 
    Left parseerror -> handleErrorStuff 
    Right input -> evalStateT (play input) initialState 

、あなたは実際にスコアを返すことはありませんので、playの戻り値の型はVoid、ないScoreでなければなりません。また、playの最後の行を削除し、戻り値の型を()に変更し、play inputをforever (play input)に置き換えて再帰を強化する必要があります。ああ、あなたは決して入力を使用しません。