aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:39:38 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:39:38 -0500
commit86df1742d90c9ae13843188c0772554ed2eaa666 (patch)
tree0d0ee3699880632ea91cb7e09112789d51bc1aa7 /lib/ur/basis.urs
parent5f984d18d62f3290103540552a82b13c69e364df (diff)
Some more HTML5 input types
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs11
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 7691cdce..9fb04484 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -969,6 +969,17 @@ val email : textWidget
val search : textWidget
val url_ : textWidget
val tel : textWidget
+val color : textWidget
+
+val number : formTag float [] ([Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val range : formTag float [] ([Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val date : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val datetime : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val datetime_local : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val month : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val week : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+val timeInput : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
+
type file