search

mrkkrp / modern-uri

Modern library for working with URIs
Other
68 stars 18 forks source link

Can mkQueryValue fail? #83

Open amigalemming opened 1 month ago

amigalemming commented 1 month ago

mkQueryValues type suggests that the RText construction can fail and I have to check for failure. Is it actually true that mkQueryValue can fail? I cannot see, how. If it cannot fail, can we have a non-monadic counterpart to mkQueryValue? Otherwise I have to call partial functions to process the result of mkQueryValue.

mrkkrp commented 1 month ago

Indeed in the current version of the library it cannot fail. PRs adding a pure version of that function are welcome!