Mercurial > urweb

comparison lib/ur/basis.urs @ 797:2c463eee89fa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cselect
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:33:48 -0400
parents 87a7702d681d
children 9330ba3a2799
comparison
equal deleted inserted replaced
796:6271f0e3c272 797:2c463eee89fa
621 -> tag [Value = string, Action = $use -> transaction page] 621 -> tag [Value = string, Action = $use -> transaction page]
622 ([Form] ++ ctx) ([Form] ++ ctx) use [] 622 ([Form] ++ ctx) ([Form] ++ ctx) use []
623 623
624 (*** AJAX-oriented widgets *) 624 (*** AJAX-oriented widgets *)
625 625
626 con cformTag = fn (attrs :: {Type}) => 626 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
627 ctx ::: {Unit} 627 ctx ::: {Unit}
628 -> [[Body] ~ ctx] => 628 -> [[Body] ~ ctx] =>
629 unit -> tag attrs ([Body] ++ ctx) [] [] [] 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
634 con cselect = [Cselect]
635 val cselect : cformTag [Source = source string] cselect
636 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
633 637
634 (*** Tables *) 638 (*** Tables *)
635 639
636 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => 640 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] =>
637 unit -> tag [Border = int] ([Body] ++ other) ([Body, Table] ++ other) [] [] 641 unit -> tag [Border = int] ([Body] ++ other) ([Body, Table] ++ other) [] []