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