diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-03 16:21:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-03 16:21:04 -0400 |
| commit | 388662d3221e193c6c6f913d4584b92ddf6dbcf5 (patch) | |
| tree | 85df22bf9d1a37d9f660f8d74bcefb9b3f9447fe /lib/ur/basis.urs | |
| parent | 7745f6d389483acb40e5575d09eff5031666e91a (diff) | |
Basis.currentUrlHasQueryString
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 1 |
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 |