То, что вы говорите, «часть пути для URL», на самом деле это не просто часть пути, а путь и запрос частей URL. В идеале вы должны разделить их, чтобы вы могли создать правильно сформированное представление URL:
{ initialUrl
| path = "/"
, query = Just "b=hallo"
}
Но поскольку это просто запись без проверки, она будет работать, если вы просто будете использовать ее в качестве пути как хорошо. По крайней мере, если позже вы просто используете Url.toString
. Другие операции могут привести к неожиданным результатам.
{ initialUrl | path = "/?b=hallo" }