diff options
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 |