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 | 1f59ecc9d6713cbc7488cea8b4ab1a372e020cea (patch) | |
| tree | 85df22bf9d1a37d9f660f8d74bcefb9b3f9447fe /lib | |
| parent | 6b5d8c875720f4492db8a7a2b53b1ad12ebdc480 (diff) | |
Basis.currentUrlHasQueryString
Diffstat (limited to 'lib')
| -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 |