Mercurial > urweb

comparison lib/ur/basis.urs @ 2021:2da693675de9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
String.trim; add OnChange to more tags
author Adam Chlipala <adam@chlipala.net>
date Tue, 10 Jun 2014 10:58:22 -0400
parents fee1f660139c
children dfa35ca83d92
comparison
equal deleted inserted replaced
2020:924e2ef31f5a 2021:2da693675de9
944 nm :: Name -> unit 944 nm :: Name -> unit
945 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 945 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
946 val hidden : formTag string [] [Data = data_attr, Id = string, Value = string] 946 val hidden : formTag string [] [Data = data_attr, Id = string, Value = string]
947 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit, 947 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
948 Ontext = transaction unit] ++ boxAttrs) 948 Ontext = transaction unit] ++ boxAttrs)
949 val password : formTag string [] ([Value = string, Size = int, Placeholder = string] ++ boxAttrs) 949 val password : formTag string [] ([Value = string, Size = int, Placeholder = string, Onchange = transaction unit] ++ boxAttrs)
950 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit, 950 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
951 Ontext = transaction unit] ++ boxAttrs) 951 Ontext = transaction unit] ++ boxAttrs)
952 952
953 val checkbox : formTag bool [] ([Checked = bool] ++ boxAttrs) 953 val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit] ++ boxAttrs)
954 954
955 type file 955 type file
956 val fileName : file -> option string 956 val fileName : file -> option string
957 val fileMimeType : file -> string 957 val fileMimeType : file -> string
958 val fileData : file -> blob 958 val fileData : file -> blob
1008 1008
1009 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit, 1009 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit,
1010 Ontext = transaction unit] ++ boxAttrs) [] 1010 Ontext = transaction unit] ++ boxAttrs) []
1011 val button : cformTag ([Value = string] ++ boxAttrs) [] 1011 val button : cformTag ([Value = string] ++ boxAttrs) []
1012 1012
1013 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool] ++ boxAttrs) [] 1013 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) []
1014 1014
1015 con cselect = [Cselect] 1015 con cselect = [Cselect]
1016 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect 1016 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect
1017 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] 1017 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
1018 1018