haskell - 使用带有仆人的自定义阅读器 Monad 进行身份验证

Question

受基本身份验证保护的 API

type SubApi = API1 :<|> API2 :<|> API3
type API = BasicAuth "foo-realm" AuthData :> SubApi

支持 AuthData -> Handler a 类型的处理程序.

我有一组处理程序:

handler1 :: Request1 -> AuthMonad Response
handler2 :: Request2 -> AuthMonad Response

它在 AuthMonad 中运行，这是一个 ReaderT，其上下文部分由 AuthData 构建。
使用 enter和 AuthMonad :~> Handler , 我可以得到 Server API支持 AuthData -> AuthMonad 类型的处理程序，但我真正想做的是使用 AuthData参数作为 runReaderT 的环境。

我对 enter 的类型魔法还不够了解。了解如何做到这一点。有任何想法吗？

Answer 1

才意识到我把这个挂了。

大多数情况下，只是过度思考这个问题——答案很明显。
在上述情况下，我创建了一个可以创建自然变换的函数:

enterAuth :: AuthData -> AuthMonad :~> Handler

然后我在构建 ServerT 时使用它:

protectedServer :: AuthData -> ServerT ProtectedAPI Handler
protectedServer ad = enter (enterAuth ad) protectedServer'

在哪里

genAuthServerContext :: Context (AuthHandler Request AuthData ': '[])