Mercurial > urweb
diff lib/ur/basis.urs @ 1386:64724ef86149
Basis.currentUrlHasPost
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 06 Jan 2011 14:45:52 -0500 |
| parents | 268d9af9103f |
| children | 3913cbfd72e9 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Jan 06 14:25:42 2011 -0500 +++ b/lib/ur/basis.urs Thu Jan 06 14:45:52 2011 -0500 @@ -634,6 +634,7 @@ 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