Mercurial > urweb

comparison lib/ur/basis.urs @ 737:d049d31a1966

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for blobs and upload
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Apr 2009 13:59:11 -0400
parents 7c6b6c3c7b79
children 4bb7e1c0550a
comparison
equal deleted inserted replaced
736:796e42c93c48 737:d049d31a1966
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4 type time 4 type time
5 type blob
5 6
6 type unit = {} 7 type unit = {}
7 8
8 datatype bool = False | True 9 datatype bool = False | True
9 10
132 val sql_bool : sql_injectable_prim bool 133 val sql_bool : sql_injectable_prim bool
133 val sql_int : sql_injectable_prim int 134 val sql_int : sql_injectable_prim int
134 val sql_float : sql_injectable_prim float 135 val sql_float : sql_injectable_prim float
135 val sql_string : sql_injectable_prim string 136 val sql_string : sql_injectable_prim string
136 val sql_time : sql_injectable_prim time 137 val sql_time : sql_injectable_prim time
138 val sql_blob : sql_injectable_prim blob
137 val sql_channel : t ::: Type -> sql_injectable_prim (channel t) 139 val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
138 val sql_client : sql_injectable_prim client 140 val sql_client : sql_injectable_prim client
139 141
140 con primary_key :: {Type} -> {{Unit}} -> Type 142 con primary_key :: {Type} -> {{Unit}} -> Type
141 val no_primary_key : fs ::: {Type} -> primary_key fs [] 143 val no_primary_key : fs ::: {Type} -> primary_key fs []
510 val password : formTag string [] [Value = string, Size = int] 512 val password : formTag string [] [Value = string, Size = int]
511 val textarea : formTag string [] [Rows = int, Cols = int] 513 val textarea : formTag string [] [Rows = int, Cols = int]
512 514
513 val checkbox : formTag bool [] [Checked = bool] 515 val checkbox : formTag bool [] [Checked = bool]
514 516
517 type file
518 val fileName : file -> option string
519 val fileData : file -> blob
520
521 type files
522 val numFiles : files -> int
523 val fileNum : files -> int -> file
524
525 val upload : formTag files [] [Value = string, Size = int]
526
515 con radio = [Body, Radio] 527 con radio = [Body, Radio]
516 val radio : formTag string radio [] 528 val radio : formTag string radio []
517 val radioOption : unit -> tag [Value = string] radio [] [] [] 529 val radioOption : unit -> tag [Value = string] radio [] [] []
518 530
519 con select = [Select] 531 con select = [Select]