Перенаправление в есоде на маршруты с аргументами

Question

Предположим, у меня есть маршрут

/argument/#Int ArgumentR GET POST

и соответствующие обработчики

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

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

где после запуска формы я хочу перенаправить из поста в обработчик get (для того же x). Как я могу повернуть ArgumentR в освобожденный маршрут, т.е. применить аргумент x в ArgumentR?

Answer 1

Маршруты как ArgumentR перечислены в routes файл простые конструкторы данных. Количество аргументов, которые они принимают, равно количеству # частей в его объявлении. Итак, в вашем случае вам нужно

redirect (ArgumentR x)