Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
623 con form = [Body, Form] 623 con form = [Body, Form]
624 con subform = [Body, Subform] 624 con subform = [Body, Subform]
625 con tabl = [Body, Table] 625 con tabl = [Body, Table]
626 con tr = [Body, Tr] 626 con tr = [Body, Tr]
627 627
628 type queryString
629 val show_queryString : show queryString
630
628 type url 631 type url
629 val show_url : show url 632 val show_url : show url
630 val bless : string -> url 633 val bless : string -> url
631 val checkUrl : string -> option url 634 val checkUrl : string -> option url
632 val currentUrl : transaction url 635 val currentUrl : transaction url
633 val url : transaction page -> url 636 val url : transaction page -> url
637 val effectfulUrl : (option queryString -> transaction page) -> url
634 val redirect : t ::: Type -> url -> transaction t 638 val redirect : t ::: Type -> url -> transaction t
635 639
636 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit 640 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit
637 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind 641 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind
638 642