Mercurial > urweb
diff lib/ur/basis.urs @ 1787:69daa6d70299
Top.postFields
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 21 Jul 2012 15:16:57 -0400 |
| parents | d794149b3713 |
| children | 2f8b8952fe27 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Jul 21 13:55:35 2012 -0400 +++ b/lib/ur/basis.urs Sat Jul 21 15:16:57 2012 -0400 @@ -898,6 +898,12 @@ val postType : postBody -> string val postData : postBody -> string +type postField +val firstFormField : string -> option postField +val fieldName : postField -> string +val fieldValue : postField -> string +val remainingFields : postField -> string + con radio = [Body, Radio] val radio : formTag (option string) radio [Id = id] val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []