Mercurial > urweb

comparison lib/ur/basis.urs @ 1085:ae885ad70d83

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Updating the manual
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 09:56:09 -0500
parents 25d491287358
children 118ab9641a64
comparison
equal deleted inserted replaced
1084:8e240c007442 1085:ae885ad70d83
583 583
584 type url 584 type url
585 val show_url : show url 585 val show_url : show url
586 val bless : string -> url 586 val bless : string -> url
587 val checkUrl : string -> option url 587 val checkUrl : string -> option url
588 val currentUrl : transaction url
588 val url : transaction page -> url 589 val url : transaction page -> url
589 val redirect : t ::: Type -> url -> transaction t 590 val redirect : t ::: Type -> url -> transaction t
590 val currentUrl : transaction url
591 591
592 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit 592 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit
593 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind 593 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind
594 594
595 val head : unit -> tag [] html head [] [] 595 val head : unit -> tag [] html head [] []