<|> 的替代 IO 错误

Question

我正在使用运算符<|>：

import qualified Data.ByteString.Lazy as B
import Network.HTTP.Conduit (simpleHttp)
import Data.Aeson
import Data.Maybe

data FooBar = FooBar {
    name :: !Text,
    surname :: !Text
    } deriving (Show,Generic)

instance FromJSON FooBar
instance ToJSON FooBar

getFeed :: String -> String -> IO (FooBar)
getFeed foo bar =  decode <$> (B.readFile foo <|> simpleHttp bar)

但是当我尝试编译它时，我得到：

No instance for (Alternative IO) arising from a use of ‘<|>’
    In the second argument of ‘(<$>)’, namely
      ‘(B.readFile foo <|> simpleHttp bar)’
    In the expression:
      decode <$> (B.readFile foo <|> simpleHttp bar)
    In an equation for ‘getFeed’:
        getFeed env id
          = decode <$> (B.readFile foo <|> simpleHttp bar)

这个错误对我来说有点模糊。知道如何解决吗？ （顺便说一句，从这个回复中得到一些见解：Confused by the meaning of the 'Alternative' type class and its relationship to other type classes）

Answer 1

除了您的实际问题之外，这就是为什么 IO 不能成为替代方案的原因。

首先，你会为empty 做什么？它需要有 forall a. IO a 类型 - 一个返回任何类型值的 IO 操作！

第二，你如何定义失败（用于<|>）？对于Maybe 等类型，空很明显（Nothing），也可以将失败定义为Nothing。因此，如果第一个参数是 Nothing，则返回第二个。但是 IO 呢？ monad 上失败的（令人困惑的）概念很神奇，并且没有在类型级别表示，换句话说，没有明确的失败值。

如果您将所有 IO 操作包装在 Maybe（或 Either）中，例如 readFile' :: FilePath -> IO (Maybe String)，它可以工作。然后通过解除<|> 你可以组合动作。您必须捕获失败（异常）并将它们转换为包装器中的Nothing。

（为方便起见，可以为所有Alternative f, Monad m => m f 创建一个Alternative 实例，但这需要类型组合？我不确定）

Answer 2

这是一个基于博客帖子Playing Catch: Handling IO Exceptions with ErrorT 的示例。

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Lib where

import qualified Data.ByteString.Lazy as B
import Network.HTTP.Conduit (simpleHttp)
import Control.Monad.Base
import Control.Applicative
import Control.Monad.Error
import System.IO.Error

newtype MyApp a = MyApp {
  getApp :: ErrorT String IO a
  } deriving (Functor, Applicative, Alternative, Monad, MonadIO, MonadError String, MonadBase IO)

myReadFile path = do
  r <- liftIO $ tryIOError $ B.readFile path 
  case r of
    Left e  -> throwError (strMsg "readFile error")
    Right x -> return x

mySimpleHttp bar = do
  r <- liftIO $ tryIOError $ simpleHttp bar
  case r of
    Left e -> throwError (strMsg "simpleHttp error")
    Right x -> return x

getFeed foo bar =  myReadFile foo <|> mySimpleHttp bar

runApp = runErrorT . getApp

doit = do result <- runApp $ getFeed "some/file.txt" "http://example.com/"
          case result of
            Left e  -> putStrLn $ "error: " ++ e
            Right r -> do putStrLn $ "got a result"; print r

我在这个例子中非常明确 - 文章提到了可以减少样板代码量的方法。

我的阴谋集团build-depends: 设置：

build-depends: base >= 4.7 && < 5, bytestring, mtl, http-conduit, transformers-base

Answer 3

错误只是说IO 不是Alternative 的实例，因此没有为它定义<|>，正如您从documentation 中看到的那样。您的意思是“尝试B.readFile foo，如果失败，请改用simpleHttp bar”？如果是这样，你可以这样做

catch (B.readFile foo) (\(_ :: SomeException) -> simpleHttp bar)

(catch 来自Control.Exception，您应该使用Data.ByteString.Strict 而不是Lazy 以确保在catch 的范围内引发异常；您还需要ScopedTypeVariables 扩展来编写上面而不是\e -> let _ = e :: SomeException in simpleHttp bar)。