From 388662d3221e193c6c6f913d4584b92ddf6dbcf5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 Jul 2011 16:21:04 -0400 Subject: Basis.currentUrlHasQueryString --- lib/ur/basis.urs | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/ur/basis.urs') 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 -- cgit v1.2.3