Mercurial > urweb
diff lib/ur/basis.urs @ 770:c125df6fabfc
Runtime URL and MIME type filtering
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 02 May 2009 18:20:15 -0400 |
| parents | 16b34dc2e29c |
| children | a8bdd5a0d9b0 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat May 02 13:37:52 2009 -0400 +++ b/lib/ur/basis.urs Sat May 02 18:20:15 2009 -0400 @@ -514,6 +514,7 @@ type url val bless : string -> url +val checkUrl : string -> option url val dyn : use ::: {Type} -> bind ::: {Type} -> unit -> tag [Signal = signal (xml body use bind)] body [] use bind @@ -600,6 +601,7 @@ type mimeType val blessMime : string -> mimeType +val checkMime : string -> option mimeType val returnBlob : t ::: Type -> blob -> mimeType -> transaction t val blobSize : blob -> int