Mercurial > urweb

comparison lib/ur/basis.urs @ 1709:4600cc5e335c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added several missing tag attributes
author Vladimir Shabanov <vshabanoff@gmail.com>
date Wed, 11 Apr 2012 03:03:19 +0400
parents a1a1d66aebac
children 540df112ff62
comparison
equal deleted inserted replaced
1708:e263dab7b579 1709:4600cc5e335c
714 714
715 val head : unit -> tag [] html head [] [] 715 val head : unit -> tag [] html head [] []
716 val title : unit -> tag [] head [] [] [] 716 val title : unit -> tag [] head [] [] []
717 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] 717 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []
718 718
719 val body : unit -> tag [Onload = transaction unit, Onresize = transaction unit, Onunload = transaction unit] 719 val body : unit -> tag [Onload = transaction unit, Onresize = transaction unit, Onunload = transaction unit, Onhashchange = transaction unit]
720 html body [] [] 720 html body [] []
721 con bodyTag = fn (attrs :: {Type}) => 721 con bodyTag = fn (attrs :: {Type}) =>
722 ctx ::: {Unit} -> 722 ctx ::: {Unit} ->
723 [[Body] ~ ctx] => 723 [[Body] ~ ctx] =>
724 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] [] 724 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] []
736 Onmouseup = transaction unit] 736 Onmouseup = transaction unit]
737 con keyEvents = [Onkeydown = int -> transaction unit, Onkeypress = int -> transaction unit, 737 con keyEvents = [Onkeydown = int -> transaction unit, Onkeypress = int -> transaction unit,
738 Onkeyup = int -> transaction unit] 738 Onkeyup = int -> transaction unit]
739 (* Key arguments are character codes. *) 739 (* Key arguments are character codes. *)
740 con resizeEvents = [Onresize = transaction unit] 740 con resizeEvents = [Onresize = transaction unit]
741 741 con scrollEvents = [Onscroll = transaction unit]
742 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents 742
743 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
743 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents 744 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
744 745
745 con boxAttrs = [Id = id, Title = string] ++ boxEvents 746 con boxAttrs = [Id = id, Title = string, Style = string] ++ boxEvents
746 con tableAttrs = [Id = id, Title = string] ++ tableEvents 747 con tableAttrs = [Id = id, Title = string] ++ tableEvents
747 748
748 val span : bodyTag boxAttrs 749 val span : bodyTag boxAttrs
749 val div : bodyTag boxAttrs 750 val div : bodyTag boxAttrs
750 751
801 ctx ::: {Unit} 802 ctx ::: {Unit}
802 -> [[Form] ~ ctx] => 803 -> [[Form] ~ ctx] =>
803 nm :: Name -> unit 804 nm :: Name -> unit
804 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 805 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
805 val hidden : formTag string [] [Id = string, Value = string] 806 val hidden : formTag string [] [Id = string, Value = string]
806 val textbox : formTag string [] ([Value = string, Size = int, Source = source string, Onchange = transaction unit, 807 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
807 Ontext = transaction unit] ++ boxAttrs) 808 Ontext = transaction unit] ++ boxAttrs)
808 val password : formTag string [] ([Value = string, Size = int] ++ boxAttrs) 809 val password : formTag string [] ([Value = string, Size = int] ++ boxAttrs)
809 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit, 810 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
810 Ontext = transaction unit] ++ boxAttrs) 811 Ontext = transaction unit] ++ boxAttrs)
811 812
857 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) => 858 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
858 ctx ::: {Unit} 859 ctx ::: {Unit}
859 -> [[Body] ~ ctx] => 860 -> [[Body] ~ ctx] =>
860 unit -> tag attrs ([Body] ++ ctx) inner [] [] 861 unit -> tag attrs ([Body] ++ ctx) inner [] []
861 862
862 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Onchange = transaction unit, 863 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit,
863 Ontext = transaction unit] ++ boxAttrs) [] 864 Ontext = transaction unit] ++ boxAttrs) []
864 val button : cformTag ([Value = string] ++ boxAttrs) [] 865 val button : cformTag ([Value = string] ++ boxAttrs) []
865 866
866 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool] ++ boxAttrs) [] 867 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool] ++ boxAttrs) []
867 868