如何将 Reader monad 添加到 Scotty 的 monad 中？

我正在尝试使用 Scotty 构建一个非常简单的 API。我想扩展 Scotty monad，以便我的路由处理程序操作能够访问不变的环境。我相信做到这一点的方法是添加一个Readermonad 到堆栈。现在我只想传递一些Text周围的数据。

我将 Scotty monad 扩展如下：

type BrandyScottyM = ScottyT TL.Text (ReaderT T.Text IO)
type BrandyActionM = ActionT TL.Text (ReaderT T.Text IO)

https://github.com/stu-smith/Brandy/blob/0838a63537d7e396ac82d58d460c6529349303d3/src/Core.hs https://github.com/stu-smith/Brandy/blob/0838a63537d7e396ac82d58d460c6529349303d3/src/Core.hs

所以我的第一个问题是，这是正确的方法吗？

我已经成功更改了路由处理程序的类型，但我无法弄清楚如何使用此堆栈启动 Scotty。我已尝试以下操作：

runScotty :: Port -> Text -> BrandyScottyM () -> IO ()
runScotty port file = T.scottyT port ((\f -> runReader f file)) id

https://github.com/stu-smith/Brandy/blob/0838a63537d7e396ac82d58d460c6529349303d3/src/Main.hs https://github.com/stu-smith/Brandy/blob/0838a63537d7e396ac82d58d460c6529349303d3/src/Main.hs

但我收到错误：

  Couldn't match type `IO' with `Data.Functor.Identity.Identity'
    Expected type: Reader Text (IO a)
      Actual type: ReaderT Text IO a
    In the first argument of `runReader', namely `f'
    In the expression: runReader f file
    In the second argument of `T.scottyT', namely
      `((\ f -> runReader f file))'
/home/stu/git/Brandy/src/Main.hs: line 36, column 65:
  Couldn't match type `ReaderT Text IO Network.Wai.Internal.Response'
                  with `IO Network.Wai.Internal.Response'
    Expected type: ReaderT Text IO Network.Wai.Internal.Response
                   -> IO Network.Wai.Internal.Response
      Actual type: ReaderT Text IO Network.Wai.Internal.Response
                   -> ReaderT Text IO Network.Wai.Internal.Response
    In the third argument of `T.scottyT', namely `id'
    In the expression: T.scottyT port ((\ f -> runReader f file)) id
    In an equation for `runScotty':
        runScotty port file = T.scottyT port ((\ f -> runReader f file)) id

所以我的第二个问题是，如何使用不同的 monad 堆栈启动 Scotty？这是我第一次尝试使用 monad 转换器，我似乎彻底迷失了。

你的方法看起来没问题。类型错误是因为你应该使用runReaderT而不是runReader (runReader仅当您使用时Reader，即ReaderT仅用假人Identity它下面的单子）。