由于 IO 一种参数而出现错误

Question

我正在实现如下功能： 用户将通过 HTTP 请求请求目录内容。目录路径将在请求中传递。作为响应，我将发送一个 JSON，其中包含该目录路径的文件列表。处理 IO 错误处理。 我已经实现了大部分。但我收到一个错误。错误是：

Couldn't match expected type ‘Either IOException [FilePath]’
            with actual type ‘IO (Either IOException [FilePath])’
• In the first argument of ‘getJsonRepForFiles’, namely ‘files’

sn-p代码如下：

getInfoOfDirR::Handler Value
getInfoOfDirR = do
             -- files will have type IO (Either IOException [FilePath])
                     files <- fmap (getListOfFiles.(Data.Text.unpack).fromJust) $ lookupGetParam "dirpath"
                     getJsonRepForFiles files

获取文件列表的函数：

-- This eliminates the hidden files from the results
getListOfFiles::FilePath -> IO (Either IOException [FilePath])
getListOfFiles fpath = try (fmap (filter $ not.isHiddenFile) $  FS.getDirectoryContents fpath)::IO (Either IOException [FilePath])

获取目录中文件的 JSON 表示的函数：

getJsonRepForFiles::Monad m => (Either IOException [FilePath]) -> m Value
getJsonRepForFiles (Left e) = returnJson $ "An error occurred" ++ show e
getJsonRepForFiles (Right files) = returnJson files

注意getInfoOfDirR 的类型是Handler Value 我在 Haskell 的 Yesod 框架中实现了这一点。 我是 Haskell 的新手。我有点理解为什么会出现错误。 但我无法修复它。 请帮忙。 提前致谢。

Answer 1

我认为问题在于getListOfFiles 返回一个IO 类型的值，并且通过将它与fmap 一起使用，您正在创建一个Handler (IO _)，并且do 块中的绑定仅解开@ 987654326@级别。

您可以尝试joining fmap 结果的两个级别，例如：

files <- join $ fmap (liftIO. ...

或者将getListOfFiles 调用移到fmap 应用程序之外，例如：

files <- liftIO . getListOfFiles =<< (fmap ...)