Mercurial > urweb
comparison lib/ur/basis.urs @ 740:b302b6e35f93
Add MIME type to file
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 25 Apr 2009 14:47:16 -0400 |
parents | 4bb7e1c0550a |
children | f7e2026dd5ae |
comparison
equal
deleted
inserted
replaced
739:4bb7e1c0550a | 740:b302b6e35f93 |
---|---|
514 | 514 |
515 val checkbox : formTag bool [] [Checked = bool] | 515 val checkbox : formTag bool [] [Checked = bool] |
516 | 516 |
517 type file | 517 type file |
518 val fileName : file -> option string | 518 val fileName : file -> option string |
519 val fileMimeType : file -> string | |
519 val fileData : file -> blob | 520 val fileData : file -> blob |
520 | 521 |
521 val upload : formTag file [] [Value = string, Size = int] | 522 val upload : formTag file [] [Value = string, Size = int] |
522 | 523 |
523 con radio = [Body, Radio] | 524 con radio = [Body, Radio] |