Mercurial > urweb

diff lib/ur/basis.urs @ 741:f7e2026dd5ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Returning a blob as page result
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 09:02:17 -0400
parents b302b6e35f93
children ee2feab275db
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Apr 25 14:47:16 2009 -0400
+++ b/lib/ur/basis.urs	Sun Apr 26 09:02:17 2009 -0400
@@ -521,6 +521,10 @@
 
 val upload : formTag file [] [Value = string, Size = int]
 
+type mimeType
+val blessMime : string -> mimeType
+val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
+
 con radio = [Body, Radio]
 val radio : formTag string radio []
 val radioOption : unit -> tag [Value = string] radio [] [] []