Mercurial > urweb
comparison lib/ur/basis.urs @ 2078:6d126af2e1cb
Some more HTML5 input types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 16 Nov 2014 14:39:38 -0500 |
| parents | 3cd2bd4b1de0 |
| children | e1879ded8095 |
comparison
equal
deleted
inserted
replaced
| 2077:3cd2bd4b1de0 | 2078:6d126af2e1cb |
|---|---|
| 967 | 967 |
| 968 val email : textWidget | 968 val email : textWidget |
| 969 val search : textWidget | 969 val search : textWidget |
| 970 val url_ : textWidget | 970 val url_ : textWidget |
| 971 val tel : textWidget | 971 val tel : textWidget |
| 972 val color : textWidget | |
| 973 | |
| 974 val number : formTag float [] ([Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 975 val range : formTag float [] ([Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 976 val date : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 977 val datetime : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 978 val datetime_local : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 979 val month : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 980 val week : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 981 val timeInput : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) | |
| 982 | |
| 972 | 983 |
| 973 | 984 |
| 974 type file | 985 type file |
| 975 val fileName : file -> option string | 986 val fileName : file -> option string |
| 976 val fileMimeType : file -> string | 987 val fileMimeType : file -> string |