Mercurial > urweb
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 |