如何解决Servant中的自定义组合器
我有一个以下问题：我想在Servant中使用一种新型的组合器（将其命名为Provide）：它的行为与QueryParam类似，但不是在中搜索给定的参数查询字符串并将其传递给处理函数，它将提供值本身。例如，假设我们有类似的东西
data Param = First | Second Int
type API = "url" :> Provide Param 'First :> Post '[JSON] SomeResp
server :: Server API
server = handler
handler :: Param -> Handler SomeResp
handler param = ...
，以便始终将handler作为First参数传递param。我知道它可以通过其他方式（例如处理程序的处理等）来完成，但是可以在API本身的类型级别上实现吗？
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
