在 snap 中使用 reader monad（或者在 snap 中使用 monad 转换器）

Question

有人可以展示如何在 reader monad 中使用 snap monad 吗？ Monad 转换器让我很困惑。 （或者，我很乐意接受关于 monad 转换器的教程建议，以及如何看到光明并最终理解它们。）

编辑：哎呀；忘记具体说明我实际上想要做什么，而不是寻求特定事情的帮助。战略，而不是战术。我特别想在所有处理程序之间共享数据库连接/池，而不必在指定路由时显式传递该数据库连接/池。读者单子似乎是实现这一目标的方法。

Answer 1

Snap 具有 ApplicationState 类型，允许您打包所需的任何应用程序范围资源（数据库连接、模板引擎等）。

它位于生成的文件 Application.hs 中，默认情况下，HeistState 和 TimerState 包含在 ApplicationState 中。您只需将数据库连接放在那里，就可以在 Snap 应用程序中的任何位置使用它。

Answer 2

如果您不害怕使用 GHC 特定的扩展，这里有一个简单的 monad 转换器方法：

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

import Control.Monad.Reader

data ReaderData = ...

newtype MyMonad a = MyMonad (ReaderT ReaderData Snap a)
  deriving (Monad, MonadReader ReaderData)

runMyMonad :: MyMonad a -> ReaderData -> Snap a
runMyMonad (MyMonad m) r = runReaderT m r

liftSnap :: Snap a -> MyMonad a
liftSnap act = MyMonad (lift act)

您现在可以使用 ask 和 local 来访问读取器数据。要在 Snap monad 中运行操作，您需要将其“提升”到新的 monad 中。

... r <- liftSnap $ ... snap action ...

不过，您可能更喜欢较短的名称。所以，也许只是snap。

Answer 3

假设 snap monad 来自 http ://hackage.haskell.org/packages/archive/snap-core/0.4.0/doc/html/Snap-Types.html... Snap 是一个 monad （不是 monad 转换器），所以你无法在任意 monad 内运行它。如果您需要的话，您可以使用 ReaderT 转换器将 Reader 功能嵌入到 Snap 中。

runSnap 的类型

runSnap :: Snap a -> (ByteString -> IO ()) -> (Int -> IO ()) -> Request -> Iteratee ByteString IO (Request, Response)

告诉我们它在 Iteratee ByteString IO monad 中运行。 Reader monad 不允许您执行 IO 或迭代输入流，因此您无法在 Reader monad 中运行 Snap 计算。

如果您解释您想要实现的目标，有人可能会提出实现它的方法。