2017-10-06 117 views
0

路線假設我有一個路線重定向在耶索德以參數

/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

+0

[耶索德重定向到錨頁]的可能的複製(https://stackoverflow.com/questions/20886254/yesod-redirect-to-anchor-on-page) – arrowd

+0

我不認爲這回答了這個問題。我看到'Yesod'的新版本提供了一個'。#。'函數,但是'ArgumentR。#。 x'呈現給'/參數#x'而不是'/ argument/x'(並且沒有鍵入檢查)。 – Montecristo

+1

啊,問題在於爭論。不'重定向$ ArgumentR x'工作,然後? – arrowd

回答

0

ArgumentR這樣的路徑列在routes文件是簡單的數據構造函數。他們所採用的參數數量等於其聲明中的#件數量。所以,你的情況,你需要

redirect (ArgumentR x)