Mercurial > urweb

comparison lib/ur/basis.urs @ 1119:951fced704d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.textBlob; support HTTP requests with no headers
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 Jan 2010 15:53:35 -0500
parents 72670131dace
children 74f2eb3b0606
comparison
equal deleted inserted replaced
1118:87b0a9d08e73 1119:951fced704d6
702 type mimeType 702 type mimeType
703 val blessMime : string -> mimeType 703 val blessMime : string -> mimeType
704 val checkMime : string -> option mimeType 704 val checkMime : string -> option mimeType
705 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t 705 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
706 val blobSize : blob -> int 706 val blobSize : blob -> int
707 val textBlob : string -> blob
707 708
708 con radio = [Body, Radio] 709 con radio = [Body, Radio]
709 val radio : formTag string radio [Id = string] 710 val radio : formTag string radio [Id = string]
710 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] [] 711 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
711 712