diff lib/basis.lig @ 154:e2b185379592

HTML select
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:16:54 -0400
parents cfe6f9db74aa
children 4334bb734187
line wrap: on
line diff
--- a/lib/basis.lig	Thu Jul 24 11:10:23 2008 -0400
+++ b/lib/basis.lig	Thu Jul 24 11:16:54 2008 -0400
@@ -72,6 +72,10 @@
 val radio : lformTag string radio []
 val radioOption : unit -> tag [Value = string] radio [] [] []
 
+con select = [Select]
+val lselect : lformTag string select []
+val loption : unit -> tag [Value = string] select [] [] []
+
 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
         -> use ::: {Type} -> unit
         -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []