summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-25 13:59:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-25 13:59:11 -0400
commite6ee37d85ac1e6fa7e2d20fc4320b89129b58ac1 (patch)
tree780df82b8252d17fbc6a6f3dc7b66ba2c6e5fb41 /lib
parentdf4a000b4c97378ccadbd1f94d9f930f87228b28 (diff)
Initial support for blobs and upload
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs12
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 99ac50fe..ce969a37 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -2,6 +2,7 @@ type int
type float
type string
type time
+type blob
type unit = {}
@@ -134,6 +135,7 @@ val sql_int : sql_injectable_prim int
val sql_float : sql_injectable_prim float
val sql_string : sql_injectable_prim string
val sql_time : sql_injectable_prim time
+val sql_blob : sql_injectable_prim blob
val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
val sql_client : sql_injectable_prim client
@@ -512,6 +514,16 @@ val textarea : formTag string [] [Rows = int, Cols = int]
val checkbox : formTag bool [] [Checked = bool]
+type file
+val fileName : file -> option string
+val fileData : file -> blob
+
+type files
+val numFiles : files -> int
+val fileNum : files -> int -> file
+
+val upload : formTag files [] [Value = string, Size = int]
+
con radio = [Body, Radio]
val radio : formTag string radio []
val radioOption : unit -> tag [Value = string] radio [] [] []