7

以下の概念実証コードを考えると、文字列を出力する機能と、モナドトランスフォーマー内でその戻り値を取得する可能性をfoo備えた機能を何らかの形で実行できるようにしたいと考えています。Paul!InputTunsafePerformIOrunExceptT

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!"

ここで明らかな何かが欠けていますか？

4

1 に答える 1

11

InputT IOは であるため、このタイプでMonadIO使用できます。liftIO

liftIO :: IO a -> InputT IO a

そう、

do ...
   x <- liftIO $ runExceptT $ foo input
   case x of
     Left err  -> ...
     Right res -> ...

または、代わりに使用Control.Monad.Trans.liftします。

于 2015-01-20T19:33:49.410 に答える