Execute IO simples no Haskeline, dentro da mônada InputT, sem precisar recorrer a inseguros

Question

Jan 20, 2015, 08:22 PM

Execute IO simples no Haskeline, dentro da mônada InputT, sem precisar recorrer a inseguros

Dada a prova do código de conceito abaixo, eu gostaria de poder, de alguma forma, executar meufoo função com a capacidade de gerar a stringPaul! e a possibilidade de obter seu valor de retorno dentro doInputT transformador de mônada sem usarunsafePerformIO para remover o invólucro IO apósrunExceptT.

import Control.Monad.Except

import System.IO.Unsafe (unsafePerformIO)
import System.Console.Haskeline


type ErrorWithIO = ExceptT String IO


foo :: String -> ErrorWithIO String
foo "paul" = do liftIO $ putStrLn "Paul!"
                return "OK!"
foo _ = throwError "ERROR!"


runRepl :: IO ()
runRepl = runInputT defaultSettings $ loop


loop :: InputT IO ()
loop = do
    line <- getInputLine "> "
    case line of
        Nothing -> return ()
        Just input -> do return $ putStrLn "asd"
                         case unsafePerformIO $ runExceptT $ foo input of
                             Left err -> outputStrLn err >> loop
                             Right res -> do
                                 x <- outputStrLn . show $ res
                                 loop




main :: IO ()
main = runRepl >> putStrLn "Goodbye!"

Estou perdendo algo óbvio aqui?