Mercurial > urweb
comparison lib/basis.urs @ 347:58eeeb3cbf40
Use checkbox in CRUD example
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Oct 2008 16:15:13 -0400 |
parents | b85e6ba56618 |
children | 527529a083d9 |
comparison
equal
deleted
inserted
replaced
346:a94a79820d49 | 347:58eeeb3cbf40 |
---|---|
298 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty] | 298 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty] |
299 val textbox : lformTag string [] [Value = string] | 299 val textbox : lformTag string [] [Value = string] |
300 val password : lformTag string [] [] | 300 val password : lformTag string [] [] |
301 val ltextarea : lformTag string [] [] | 301 val ltextarea : lformTag string [] [] |
302 | 302 |
303 val checkbox : lformTag bool [] [] | 303 val checkbox : lformTag bool [] [Checked = bool] |
304 | 304 |
305 con radio = [Body, Radio] | 305 con radio = [Body, Radio] |
306 val radio : lformTag string radio [] | 306 val radio : lformTag string radio [] |
307 val radioOption : unit -> tag [Value = string] radio [] [] [] | 307 val radioOption : unit -> tag [Value = string] radio [] [] [] |
308 | 308 |