Est-il possible de spécifier des paramètres de requête dans les routes Yesod ?

Question

J'essaye de spécifier des requêtes d'une manière similaire à celle de Rest dans mes itinéraires yesod, par ex.

mkYesod "HelloWorld" [parseRoutes|
/ HomeR GET
/first/?count=#Int FirstR GET
/second/?count=#Int SecondR GET
|]

Mais cela me donne l'erreur suivante :

The function `FirstR' is applied to one argument,
but its type `Route HelloYesod' has none

Mais si je pousse ce #Int à faire partie du chemin, tout va bien. Je suppose que c'est parce que la route n'est pas générée avec un paramètre ?

Existe-t-il un moyen pour moi de spécifier ce paramètre dans mon itinéraire ?

Answer 1

Non, ce n'est pas possible avec la configuration actuelle, mais c'est un ajout que j'ai envisagé de faire dans le passé. Les principales raisons pour lesquelles je ne l'ai pas fait sont (1) que cela rendrait probablement le cas normal un peu difficile à réaliser, et (2) comme le mentionne josejuan, il est souvent (mais pas toujours) possible de convertir cela en un paramètre basé sur la route.