Mercurial > urweb

comparison lib/ur/basis.urs @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents acabf3935060
children 8a169fc0838b
comparison
equal deleted inserted replaced
1346:faad7d01b200 1347:b106ca8200b1
735 val checkMime : string -> option mimeType 735 val checkMime : string -> option mimeType
736 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t 736 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
737 val blobSize : blob -> int 737 val blobSize : blob -> int
738 val textBlob : string -> blob 738 val textBlob : string -> blob
739 739
740 type postBody
741 val postType : postBody -> string
742 val postData : postBody -> string
743
740 con radio = [Body, Radio] 744 con radio = [Body, Radio]
741 val radio : formTag string radio [Id = string] 745 val radio : formTag string radio [Id = string]
742 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] [] 746 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
743 747
744 con select = [Select] 748 con select = [Select]