如何定义一个简单的 RIO LogFunc 而不用括号执行

如何解决如何定义一个简单的 RIO LogFunc 而不用括号执行

我正在尝试在 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 类型的值 before 将其传递给 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 日志记录界面似乎不鼓励这样做。为什么？我错过了什么？

感谢您的任何见解！

解决方法

LogFunc 的创建（除了丢弃所有消息的琐碎的）将需要为初始设置执行效果。效果如打开日志文件，或分配一些其他资源。这，除了记录每条特定消息的影响之外。

这就是为什么创建 LogFunc 的函数要么具有类似括号的形状，如 withLogFunc 那样，要么在 monad 中返回 log 函数，如 newLogFunc 那样。

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

,

我认为 newLogFunc 正是您想要的。