comparison lib/ur/basis.urs @ 817:4585f744574a

ccheckbox
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 May 2009 10:34:56 -0400
parents 9330ba3a2799
children 395a5d450cc0
comparison
equal deleted inserted replaced
816:26e911ee924c 817:4585f744574a
629 unit -> tag attrs ([Body] ++ ctx) inner [] [] 629 unit -> tag attrs ([Body] ++ ctx) inner [] []
630 630
631 val ctextbox : cformTag [Value = string, Size = int, Source = source string] [] 631 val ctextbox : cformTag [Value = string, Size = int, Source = source string] []
632 val button : cformTag [Value = string, Onclick = transaction unit] [] 632 val button : cformTag [Value = string, Onclick = transaction unit] []
633 633
634 val ccheckbox : cformTag [Value = bool, Size = int, Source = source bool] []
635
634 con cselect = [Cselect] 636 con cselect = [Cselect]
635 val cselect : cformTag [Source = source string, 637 val cselect : cformTag [Source = source string,
636 Onchange = transaction unit] cselect 638 Onchange = transaction unit] cselect
637 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] 639 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
638 640