Mercurial > urweb

comparison lib/ur/basis.urs @ 1692:a1a1d66aebac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change <radio> to yield [option string]
author Adam Chlipala <adam@chlipala.net>
date Sat, 10 Mar 2012 12:53:33 -0500
parents 225b87d4a7df
children 4600cc5e335c
comparison
equal deleted inserted replaced
1691:ea292bf9431f 1692:a1a1d66aebac
828 type postBody 828 type postBody
829 val postType : postBody -> string 829 val postType : postBody -> string
830 val postData : postBody -> string 830 val postData : postBody -> string
831 831
832 con radio = [Body, Radio] 832 con radio = [Body, Radio]
833 val radio : formTag string radio [Id = id] 833 val radio : formTag (option string) radio [Id = id]
834 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] [] 834 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
835 835
836 con select = [Select] 836 con select = [Select]
837 val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs) 837 val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs)
838 val option : unit -> tag [Value = string, Selected = bool] select [] [] [] 838 val option : unit -> tag [Value = string, Selected = bool] select [] [] []