Mercurial > urweb

comparison lib/ur/basis.urs @ 1485:4300592e6803

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.currentUrlHasQueryString
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jul 2011 16:21:04 -0400
parents d65387bdc557
children 3c0803c1acd7
comparison
equal deleted inserted replaced
1484:ae7547789c73 1485:4300592e6803
653 val show_url : show url 653 val show_url : show url
654 val bless : string -> url 654 val bless : string -> url
655 val checkUrl : string -> option url 655 val checkUrl : string -> option url
656 val currentUrl : transaction url 656 val currentUrl : transaction url
657 val currentUrlHasPost : transaction bool 657 val currentUrlHasPost : transaction bool
658 val currentUrlHasQueryString : transaction bool
658 val url : transaction page -> url 659 val url : transaction page -> url
659 val effectfulUrl : (option queryString -> transaction page) -> url 660 val effectfulUrl : (option queryString -> transaction page) -> url
660 val redirect : t ::: Type -> url -> transaction t 661 val redirect : t ::: Type -> url -> transaction t
661 662
662 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit 663 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit