Mercurial > urweb

comparison lib/ur/basis.urs @ 2079:e1879ded8095

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Textual HTML5 AJAX widgets
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 15:03:29 -0500
parents 6d126af2e1cb
children f05fcb206571
comparison
equal deleted inserted replaced
2078:6d126af2e1cb 2079:e1879ded8095
1034 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) => 1034 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
1035 ctx ::: {Unit} 1035 ctx ::: {Unit}
1036 -> [[Body] ~ ctx] => [[Body] ~ inner] => 1036 -> [[Body] ~ ctx] => [[Body] ~ inner] =>
1037 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ inner) [] [] 1037 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ inner) [] []
1038 1038
1039 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit, 1039 type ctext = cformTag ([Value = string, Size = int, Source = source string, Placeholder = string,
1040 Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) [] 1040 Onchange = transaction unit, Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) []
1041 val cpassword : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit, 1041
1042 Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) [] 1042 val ctextbox : ctext
1043 val cpassword : ctext
1044 val cemail : ctext
1045 val csearch : ctext
1046 val curl : ctext
1047 val ctel : ctext
1048 val ccolor : ctext
1049
1043 val button : cformTag ([Value = string] ++ boxAttrs) [] 1050 val button : cformTag ([Value = string] ++ boxAttrs) []
1044 1051
1045 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) [] 1052 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
1046 1053
1047 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect] 1054 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]