Mercurial > urweb

comparison lib/ur/basis.urs @ 1517:27b8c0a460cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<image>
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 10:51:48 -0400
parents 3c0803c1acd7
children a99b743a3087
comparison
equal deleted inserted replaced
1516:c4f39b49aa2d 1517:27b8c0a460cf
795 -> [[Form] ~ ctx] => 795 -> [[Form] ~ ctx] =>
796 unit 796 unit
797 -> tag ([Value = string, Action = $use -> transaction page] ++ boxAttrs) 797 -> tag ([Value = string, Action = $use -> transaction page] ++ boxAttrs)
798 ([Form] ++ ctx) ([Form] ++ ctx) use [] 798 ([Form] ++ ctx) ([Form] ++ ctx) use []
799 799
800 val image : ctx ::: {Unit} -> use ::: {Type}
801 -> [[Form] ~ ctx] =>
802 unit
803 -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs)
804 ([Form] ++ ctx) ([Form] ++ ctx) use []
805
800 val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs) 806 val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs)
801 807
802 808
803 (*** AJAX-oriented widgets *) 809 (*** AJAX-oriented widgets *)
804 810