如何在不执行括号的情况下定义简单的 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 日志接口不鼓励这样做。为什么？我错过了什么？

感谢您的任何见解！

Answer 1

我觉得newLogFunc就是你想要的。

Answer 2

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

这就是为什么 LogFunc 创建的函数要么像 withLogFunc does, or else return the log function inside a monad, like newLogFunc 那样具有类似括号的形状。

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

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

How to define a simple RIO LogFunc without bracketing execution

haskell

logging

servant

rio