Mercurial > urweb

comparison lib/ur/basis.urs @ 1979:81bc76aa4acd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge in upstream changes.
author Patrick Hurst <phurst@mit.edu>
date Sat, 18 Jan 2014 18:26:24 -0500
parents 155bd0bc4d28 f792a6544093
children a1d3fbdcc897
comparison
equal deleted inserted replaced
1978:c5143edaf3c7 1979:81bc76aa4acd
783 val redirect : t ::: Type -> url -> transaction t 783 val redirect : t ::: Type -> url -> transaction t
784 784
785 type id 785 type id
786 val fresh : transaction id 786 val fresh : transaction id
787 val giveFocus : id -> transaction unit 787 val giveFocus : id -> transaction unit
788 val show_id : show id
788 789
789 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit 790 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
790 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind 791 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
791 792
792 val active : unit 793 val active : unit
793 -> tag [Code = transaction xbody] body [] [] [] 794 -> tag [Code = transaction xbody] body [] [] []
795
796 val script : unit
797 -> tag [Code = transaction unit] head [] [] []
794 798
795 val head : unit -> tag [] html head [] [] 799 val head : unit -> tag [] html head [] []
796 val title : unit -> tag [] head [] [] [] 800 val title : unit -> tag [] head [] [] []
797 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] 801 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []
798 802