在Haskell中读取一个ini文件

Question

我正在尝试在Haskell中读取一个简单的.ini文件，以用作我的应用程序的配置。我不是Haskell的专家，所以我可能会遗漏一些简单的东西。

到目前为止，我的简化代码如下所示

{-# LANGUAGE OverloadedStrings          #-}

import Data.Ini

main :: IO ()
main = do
  config <- readIniFile "config.ini"
  p <- lookupValue "NETWORK" "port" config

  ...

编译器给了我这个错误

无法将期望类型'Ini'与lookupValue的第三个参数中的实际类型'Either String Ini'匹配，即'config'。

我查看了用于Data.Ini的docs，但我找不到任何如何使用Api的示例。

任何帮助将非常感激。

Answer 1

阅读文档，readIniFile返回IO (Either String Ini)，但lookupValue的第三个参数必须是Ini（它返回一个Either String Text）。您需要使用case语句来检索ini：

result <- readIniFile "config.ini"
p <- case result of
         Left str -> Left str
         Right ini -> lookupValue "NETWORK" "port" ini

读取源代码时，左判别式似乎用于报告错误消息。

如果你想变得更加漂亮，可以使用Either作为monad：https://hackage.haskell.org/package/base-4.10.1.0/docs/Data-Either.html#t:Either

result <- readIniFile "config.ini"
p <- (result >>= (lookupValue "Network" "port"))

Answer 2

问题是readIniFile返回IO (Either String Ini)。而lookupValue期望Ini价值。所以你必须从Either内部打开ini值并提供正确的错误处理。

我很确定有更多的monadic和富有表现力的方法来解决问题，但这里有一个解决方案。

{-# LANGUAGE OverloadedStrings #-}

import Data.Ini

main :: IO ()
main = do
    config <- readIniFile "config.ini"
    case config of
        Right ini -> do
            let p = lookupValue "NETWORK" "port" ini
            putStrLn $ case p of
                        Left s -> s
                        Right t -> show t
        Left s -> putStrLn s