Mercurial > urweb
comparison lib/basis.urs @ 338:e976b187d73a
SQL sequences
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 11:02:18 -0400 |
parents | 02d15d81ae9b |
children | 075b36dbb1a4 |
comparison
equal
deleted
inserted
replaced
337:18d5affa790d | 338:e976b187d73a |
---|---|
218 | 218 |
219 val delete : fields ::: {Type} | 219 val delete : fields ::: {Type} |
220 -> sql_table fields | 220 -> sql_table fields |
221 -> sql_exp [T = fields] [] [] bool | 221 -> sql_exp [T = fields] [] [] bool |
222 -> dml | 222 -> dml |
223 | |
224 (*** Sequences *) | |
225 | |
226 type sql_sequence | |
227 val nextval : sql_sequence -> transaction int | |
223 | 228 |
224 | 229 |
225 (** XML *) | 230 (** XML *) |
226 | 231 |
227 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type | 232 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type |