From c5a43df7d1f50803c3458fc994321defb45fd616 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Jan 2011 14:45:52 -0500 Subject: Basis.currentUrlHasPost --- lib/ur/basis.urs | 1 + 1 file changed, 1 insertion(+) (limited to 'lib') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index b002a419..0938096b 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -634,6 +634,7 @@ val show_url : show url val bless : string -> url val checkUrl : string -> option url val currentUrl : transaction url +val currentUrlHasPost : 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