Монады в контексте монадного трансформатора - PullRequest
Новая
       64

Монады в контексте монадного трансформатора

4 голосов
/ 16 ноября 2010

У меня проблемы с захватом монад и трансформаторов монад. у меня есть следующий надуманный пример (не компилируется): 

import Control.Monad
import Control.Monad.Error
import Control.Monad.Reader

data State = State Int Int Int
type Foo = ReaderT State IO

readEither :: String -> Either String Int
readEither s = let p = reads s
           in case p of
               [] -> throwError "Could not parse"
               [(a, _)] -> return a

readEitherT :: IO (Either String Int)
readEitherT = let p s = reads s
          in runErrorT $ do
    l <- liftIO (getLine)
    readEither l

foo :: Foo Int
foo = do
  d <- liftIO $ readEitherT
  case d of
       Right dd -> return dd
       Left em -> do
     liftIO $ putStrLn em
     return (-1)

bar :: Foo String
bar = do
  liftIO $ getLine

defaultS = State 0 0 0

Если я копирую функциональность readEither в readEitherT, это работает, но я есть ноющее чувство, что я могу использовать силу существующих читать любую функцию, но я не могу понять, как. Если я попытаюсь поднять readEither в функции readEitherT, она поднимает его до ErrorT String IO (Either String Int), как и должно. Но я должен как-то получить до ErrorT String IO Int.

Если я иду в неверном направлении с этим, каков правильный путь обрабатывать ошибки, которые требуют ввода-вывода (или других монад) и должны вызываться из монадический контекст (см. функцию foo в примере)

Edit: Видимо не было понятно, что я пытался сделать. Может быть, следующая функция описывает, что и почему мне было интересно 

maybePulseQuit :: Handle -> IO (Either String ())
maybePulseQuit h = runErrorT $ do
  f <- liftIO $ (communicate h "finished" :: IO (Either String Bool))
  (ErrorT . pure) f >>= \b → liftIO $ when b $ liftIO pulseQuit

Это работает, но все еще безобразно из-за привязок. Это намного понятнее, чем в предыдущей версии, в которой была проверена ситуация. Это рекомендуемый способ сделать это?

1 Ответ

2 голосов
/ 16 ноября 2010

Не понятно, зачем вам ErrorT.Вы можете реализовать readEitherT как 

readEitherT :: IO (Either String Int)
readEitherT = fmap readEither getLine

Если вам действительно по какой-то причине нужно ErrorT, то вы можете создать служебную функцию eitherToErrorT: 

eitherToErrorT = ErrorT . pure

readEitherT = runErrorT $ do
  l <- liftIO $ getLine
  eitherToErrorT $ readEither l

[ДОБАВИТЬ] Может быть, вы просто хотите добавить ErrorT в свой стек монад ... 

data State = State Int Int Int
type Foo = ErrorT String (ReaderT State IO)

runFoo :: Foo a -> State -> IO (Either String a)
runFoo foo s = runReaderT (runErrorT foo) s

doIt :: Int -> Foo Int
doIt i = if i < 0
            then throwError "i < 0"
            else return (i * 2)

Пример: 

*Main> runFoo (doIt 1 >>= doIt) (State 0 0 0)
Right 4
*Main> runFoo (doIt (-1) >>= doIt) (State 0 0 0)
Left "i < 0"
...