Mercurial > urweb

diff lib/ur/basis.urs @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents 1a78ca089bd0
children 268d9af9103f
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Dec 26 15:52:56 2010 -0500
+++ b/lib/ur/basis.urs	Sun Dec 26 17:29:03 2010 -0500
@@ -625,12 +625,16 @@
 con tabl = [Body, Table]
 con tr = [Body, Tr]
 
+type queryString
+val show_queryString : show queryString
+
 type url
 val show_url : show url
 val bless : string -> url
 val checkUrl : string -> option url
 val currentUrl : transaction url
 val url : transaction page -> url
+val effectfulUrl : (option queryString -> transaction page) -> url
 val redirect : t ::: Type -> url -> transaction t
 
 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit