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