haskell - 如何在不执行括号的情况下定义简单的 RIO LogFunc

Question

我正在尝试在 RIO 应用程序中设置日志记录；但是，我似乎不了解日志记录界面。

RIO 文档鼓励定义记录器并按如下方式运行应用程序:

withLogFunc logOptions $ \lf -> do
  let env = Env -- application specific environment
        { appLogFunc = lf
        , appOtherStuff = ...
        }
  runRIO env $ do
    logInfo "Starting app"
    myApp ...

也就是说，withLogFunc 将实际应用程序的执行括起来 - 为什么？

我想将我的 RIO monad 提升到 Servant 中，所以这种括号方法妨碍了。我想做的是定义一个与 RIO 一起使用的环境，比如:

data Env = Env
  { config :: ...
  , logger :: !LogFunc
  }

使环境成为 HasLogFunc 类型类的实例:

instance HasLogFunc Env where
  logFuncL = lens logger (\x y -> x { logger = y })

然后创建一个 Env 类型的值，在将它传递给 runRIO 之前，而不是将整个应用程序执行作为函数参数传递到 withLogFunc。 也就是说，我想要一些类似的东西

let env = Env {
   config = ...
   logger = mkLogFunc ...
}
in runRIO env $ do 
   logInfo "Starting app"
   ...

但是，我不明白如何单独创建一个 LogFunc 作为环境的一部分。通过这种方式，我可以将 runRIO 提升到 Servant 服务器 (server::S.ServerT UserApi (RIO Env))，然后执行后者。看来 RIO 日志接口(interface)不鼓励这样做。为什么？我错过了什么？

感谢您的任何见解!

Answer 1

创建 LogFunc (除了丢弃所有消息的微不足道的消息)将需要为初始设置执行效果。打开日志文件或分配其他资源等效果。这一点，除了记录每个特定消息的影响之外。

这就是为什么 LogFunc 创建的函数要么具有类似括号的形状，例如 withLogFunc做，或者在 monad 中返回日志函数，比如 newLogFunc

我认为解决方案只是将 withLogFunc 向外拉，这样它也可以将创建 Servant 服务器的代码中的点包装起来。这样，您就可以在需要时随时使用 LogFunc，并且可以构建环境并“提升”runRIO。