Mercurial > urweb

comparison lib/ur/basis.urs @ 1066:740b85ef4352

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.currentUrl, plus redirect debugging
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 15:20:36 -0500
parents 217eb87dde31
children 757dbac0454d
comparison
equal deleted inserted replaced
1065:217eb87dde31 1066:740b85ef4352
563 val show_url : show url 563 val show_url : show url
564 val bless : string -> url 564 val bless : string -> url
565 val checkUrl : string -> option url 565 val checkUrl : string -> option url
566 val url : transaction page -> url 566 val url : transaction page -> url
567 val redirect : t ::: Type -> url -> transaction t 567 val redirect : t ::: Type -> url -> transaction t
568 val currentUrl : transaction url
568 569
569 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit 570 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit
570 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind 571 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind
571 572
572 val head : unit -> tag [] html head [] [] 573 val head : unit -> tag [] html head [] []