Mercurial > urweb

comparison lib/ur/basis.urs @ 682:5bbb542243e8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo channels, making them single-client
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 11:37:29 -0400
parents 5ff1ff38e2db
children 9a2c18dab11d
comparison
equal deleted inserted replaced
681:6c9b8875f347 682:5bbb542243e8
112 con channel :: Type -> Type 112 con channel :: Type -> Type
113 val channel : t ::: Type -> transaction (channel t) 113 val channel : t ::: Type -> transaction (channel t)
114 val subscribe : t ::: Type -> channel t -> transaction unit 114 val subscribe : t ::: Type -> channel t -> transaction unit
115 val send : t ::: Type -> channel t -> t -> transaction unit 115 val send : t ::: Type -> channel t -> t -> transaction unit
116 val recv : t ::: Type -> channel t -> transaction t 116 val recv : t ::: Type -> channel t -> transaction t
117
118 type client
119 val self : transaction client
117 120
118 121
119 (** SQL *) 122 (** SQL *)
120 123
121 con sql_table :: {Type} -> Type 124 con sql_table :: {Type} -> Type
205 val sql_string : sql_injectable_prim string 208 val sql_string : sql_injectable_prim string
206 val sql_time : sql_injectable_prim time 209 val sql_time : sql_injectable_prim time
207 210
208 class sql_injectable_nullable 211 class sql_injectable_nullable
209 val sql_channel : t ::: Type -> sql_injectable_nullable (channel t) 212 val sql_channel : t ::: Type -> sql_injectable_nullable (channel t)
213 val sql_client : sql_injectable_nullable client
210 214
211 class sql_injectable 215 class sql_injectable
212 val sql_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable t 216 val sql_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable t
213 val sql_option_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable (option t) 217 val sql_option_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable (option t)
214 val sql_nullable : t ::: Type -> sql_injectable_nullable t -> sql_injectable (option t) 218 val sql_nullable : t ::: Type -> sql_injectable_nullable t -> sql_injectable (option t)