将Yesod重定向到带参数的路由

Question

假设我有路线

/argument/#Int ArgumentR GET POST

和相应的处理程序

getArgumentR :: Int -> Handler Html
getArgumentR x = undefined

postArgument :: Int -> Handler Html
postArgument x = do
    ...
    redirect (??)

其中，在运行表单后，我想从帖子重定向到get Handler（对于相同的x）。如何将ArgumentR转换为例外路线，即将参数x应用于ArgumentR？

Answer 1

ArgumentR文件中列出的routes之类的路由是简单的数据构造函数。它们所采用的参数数量等于其声明中的＃-pieces数量。所以，在你的情况下你需要

redirect (ArgumentR x)