summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-03 16:21:04 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-03 16:21:04 -0400
commit388662d3221e193c6c6f913d4584b92ddf6dbcf5 (patch)
tree85df22bf9d1a37d9f660f8d74bcefb9b3f9447fe /lib/ur/basis.urs
parent7745f6d389483acb40e5575d09eff5031666e91a (diff)
Basis.currentUrlHasQueryString
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 8da69c60..b60610cd 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -655,6 +655,7 @@ val bless : string -> url
val checkUrl : string -> option url
val currentUrl : transaction url
val currentUrlHasPost : transaction bool
+val currentUrlHasQueryString : transaction bool
val url : transaction page -> url
val effectfulUrl : (option queryString -> transaction page) -> url
val redirect : t ::: Type -> url -> transaction t