diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-05 17:00:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-05 17:00:04 -0400 |
| commit | 1e783d6009ff2973fd793a7bfb3f45bd63ed590c (patch) | |
| tree | 7dcc49f2bcd888768b554a1673e2032f117ed41b /demo/more/orm.urs | |
| parent | caf2eebe290285171244d67ef24d1fc56d1f8fd7 (diff) | |
Basic CRUD operations in Orm
Diffstat (limited to 'demo/more/orm.urs')
| -rw-r--r-- | demo/more/orm.urs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/demo/more/orm.urs b/demo/more/orm.urs index 8fab3ae8..f25f9ff0 100644 --- a/demo/more/orm.urs +++ b/demo/more/orm.urs @@ -15,5 +15,11 @@ functor Table(M : sig val inj : sql_injectable id val id : meta id - val create : $M.cols -> transaction id + type row = $([Id = id] ++ M.cols) + + val create : $M.cols -> transaction row + val delete : row -> transaction unit + val save : row -> transaction unit + val lookup : id -> transaction (option row) + val list : transaction (list row) end |