Mercurial > urweb
comparison lib/ur/basis.urs @ 741:f7e2026dd5ae
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 |
comparison
equal
deleted
inserted
replaced
740:b302b6e35f93 | 741:f7e2026dd5ae |
---|---|
519 val fileMimeType : file -> string | 519 val fileMimeType : file -> string |
520 val fileData : file -> blob | 520 val fileData : file -> blob |
521 | 521 |
522 val upload : formTag file [] [Value = string, Size = int] | 522 val upload : formTag file [] [Value = string, Size = int] |
523 | 523 |
524 type mimeType | |
525 val blessMime : string -> mimeType | |
526 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t | |
527 | |
524 con radio = [Body, Radio] | 528 con radio = [Body, Radio] |
525 val radio : formTag string radio [] | 529 val radio : formTag string radio [] |
526 val radioOption : unit -> tag [Value = string] radio [] [] [] | 530 val radioOption : unit -> tag [Value = string] radio [] [] [] |
527 | 531 |
528 con select = [Select] | 532 con select = [Select] |