Yesod 重定向方法 GET PUT DELETE 哪一个？

Question

我有以下路线定义：

mkYesod "App" [parseRoutes|
/ ImagesR GET POST
/image/#ImageId ImageR DELETE
/static StaticR Static getStatic
/echo-body EchoBodyR PUT
|]

并且在其中一个处理程序中，有 redirect ImagesR。那么重定向后会调用哪个GET,POST或DELETE呢？

Answer 1

根据 HTTP，可以使用相同的方法或简单的 GET 执行重定向。

Yesod 中的 redirect 文档说，它始终使用 GET。