comparison lib/basis.lig @ 190:3eb53c957d10

Checkboxes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Aug 2008 13:09:26 -0400
parents 88d46972de53
children dd82457fda82
comparison
equal deleted inserted replaced
189:20bf7487c370 190:3eb53c957d10
69 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty] 69 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
70 val textbox : lformTag string [] [] 70 val textbox : lformTag string [] []
71 val password : lformTag string [] [] 71 val password : lformTag string [] []
72 val ltextarea : lformTag string [] [] 72 val ltextarea : lformTag string [] []
73 73
74 val checkbox : lformTag bool [] []
75
74 con radio = [Body, Radio] 76 con radio = [Body, Radio]
75 val radio : lformTag string radio [] 77 val radio : lformTag string radio []
76 val radioOption : unit -> tag [Value = string] radio [] [] [] 78 val radioOption : unit -> tag [Value = string] radio [] [] []
77 79
78 con select = [Select] 80 con select = [Select]