Mercurial > urweb

comparison lib/ur/basis.urs @ 1386:64724ef86149

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.currentUrlHasPost
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 14:45:52 -0500
parents 268d9af9103f
children 3913cbfd72e9
comparison
equal deleted inserted replaced
1385:449a12b82db7 1386:64724ef86149
632 type url 632 type url
633 val show_url : show url 633 val show_url : show url
634 val bless : string -> url 634 val bless : string -> url
635 val checkUrl : string -> option url 635 val checkUrl : string -> option url
636 val currentUrl : transaction url 636 val currentUrl : transaction url
637 val currentUrlHasPost : transaction bool
637 val url : transaction page -> url 638 val url : transaction page -> url
638 val effectfulUrl : (option queryString -> transaction page) -> url 639 val effectfulUrl : (option queryString -> transaction page) -> url
639 val redirect : t ::: Type -> url -> transaction t 640 val redirect : t ::: Type -> url -> transaction t
640 641
641 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit 642 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit