Mercurial > urweb
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 []