Mercurial > urweb

comparison lib/basis.lig @ 154:e2b185379592

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HTML select
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:16:54 -0400
parents cfe6f9db74aa
children 4334bb734187
comparison
equal deleted inserted replaced
153:cfe6f9db74aa 154:e2b185379592
70 70
71 con radio = [Body, Radio] 71 con radio = [Body, Radio]
72 val radio : lformTag string radio [] 72 val radio : lformTag string radio []
73 val radioOption : unit -> tag [Value = string] radio [] [] [] 73 val radioOption : unit -> tag [Value = string] radio [] [] []
74 74
75 con select = [Select]
76 val lselect : lformTag string select []
77 val loption : unit -> tag [Value = string] select [] [] []
78
75 val submit : ctx ::: {Unit} -> [LForm] ~ ctx 79 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
76 -> use ::: {Type} -> unit 80 -> use ::: {Type} -> unit
77 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] 81 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []