Mercurial > urweb

comparison lib/ur/basis.urs @ 1787:69daa6d70299

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Top.postFields
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 15:16:57 -0400
parents d794149b3713
children 2f8b8952fe27
comparison
equal deleted inserted replaced
1786:d794149b3713 1787:69daa6d70299
896 896
897 type postBody 897 type postBody
898 val postType : postBody -> string 898 val postType : postBody -> string
899 val postData : postBody -> string 899 val postData : postBody -> string
900 900
901 type postField
902 val firstFormField : string -> option postField
903 val fieldName : postField -> string
904 val fieldValue : postField -> string
905 val remainingFields : postField -> string
906
901 con radio = [Body, Radio] 907 con radio = [Body, Radio]
902 val radio : formTag (option string) radio [Id = id] 908 val radio : formTag (option string) radio [Id = id]
903 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] [] 909 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
904 910
905 con select = [Select] 911 con select = [Select]