Mercurial > urweb

comparison lib/ur/basis.urs @ 1293:acabf3935060

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents a671c986f517
children b106ca8200b1
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
533 533
534 (*** Database mutators *) 534 (*** Database mutators *)
535 535
536 type dml 536 type dml
537 val dml : dml -> transaction unit 537 val dml : dml -> transaction unit
538 val tryDml : dml -> transaction (option string)
539 (* Returns an error message on failure. *)
538 540
539 val insert : fields ::: {Type} -> uniques ::: {{Unit}} 541 val insert : fields ::: {Type} -> uniques ::: {{Unit}}
540 -> sql_table fields uniques 542 -> sql_table fields uniques
541 -> $(map (fn t :: Type => sql_exp [] [] [] t) fields) 543 -> $(map (fn t :: Type => sql_exp [] [] [] t) fields)
542 -> dml 544 -> dml