Mercurial > urweb

comparison lib/ur/basis.urs @ 1786:d794149b3713

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<active>
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 13:55:35 -0400
parents ffd7ed3bc0b7
children 69daa6d70299
comparison
equal deleted inserted replaced
1785:ffd7ed3bc0b7 1786:d794149b3713
765 val giveFocus : id -> transaction unit 765 val giveFocus : id -> transaction unit
766 766
767 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit 767 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
768 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind 768 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
769 769
770 val active : unit
771 -> tag [Code = transaction xbody] body [] [] []
772
770 val head : unit -> tag [] html head [] [] 773 val head : unit -> tag [] html head [] []
771 val title : unit -> tag [] head [] [] [] 774 val title : unit -> tag [] head [] [] []
772 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] 775 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []
773 776
774 val body : unit -> tag [Onload = transaction unit, Onresize = transaction unit, Onunload = transaction unit, Onhashchange = transaction unit] 777 val body : unit -> tag [Onload = transaction unit, Onresize = transaction unit, Onunload = transaction unit, Onhashchange = transaction unit]