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のいずれかを使用して実行できます。

そして、0123,は、常にGETを使用すると述べています。