使用 monad 读取 INI 文件

Question

我正在尝试使用 monad 读取带有 haskell 的 INI 文件。

这是我的代码：

import Control.Monad
import Data.Ini

main = do
    config <- readIniFile "configs/config.ini"
    port <- (config >>= lookupValue "NETWORK" "port")
    port >>= putStrLn

在我有限的理解中，config 和 port 的类型是 Either。如何将Either 值与IO 操作一起使用

Answer 1

由于涉及多个 monad，您可以使用 monad 转换器。虽然您希望 Either monad 转换器被称为 EitherT，但由于各种原因，它被称为 ExceptT。

{-# LANGUAGE OverloadedStrings #-}
module Main where

import Control.Monad.IO.Class (liftIO)
import Control.Monad.Trans.Except
import Data.Ini

main = runExceptT $ do
  config <- ExceptT $ readIniFile "./config.ini"
  port <- ExceptT $ return $ lookupValue "NETWORK" "port" config
  liftIO $ putStrLn $ show port

通过各种提升，上面代码示例中的config是Ini值，port是Text值。

当所有操作都成功时，程序会打印port 值，但如果其中一个操作失败，则什么都不会发生。

Answer 2

涉及两个不同的 monad。 readIniFile 返回一个 IO (Either String Ini) 值，这意味着 config 的类型为 Either String Ini。使用 this do 表达式，您无法从 config >>= lookupValue "NETWORK" "port" 返回的 Either String Text 值中提取 Text 值。相反，如果查找失败，请使用either 返回默认值，或者如果查找成功则提取端口。

getPort :: Ini -> Either String Text
getPort cfg = let result = lookupValue "NETWORK" "port" cfg
              in case result of
                    Left "Couldn't find key: port" -> Right "0"
                    otherwise -> result

 main = do
  config <- readIniFile "configs/config.ini"
  -- You could probably do better than just raise an error
  let port = either error id (config >>= getPort)
  putStrLn (unpack port)