summaryrefslogtreecommitdiff
path: root/demo/more/orm.ur
diff options
context:
space:
mode:
Diffstat (limited to 'demo/more/orm.ur')
-rw-r--r--demo/more/orm.ur24
1 files changed, 19 insertions, 5 deletions
diff --git a/demo/more/orm.ur b/demo/more/orm.ur
index 9abc0234..16b82c84 100644
--- a/demo/more/orm.ur
+++ b/demo/more/orm.ur
@@ -19,11 +19,25 @@ functor Table(M : sig
sequence s
table t : ([Id = id] ++ M.cols)
+ type row = $([Id = id] ++ M.cols)
+
+ fun ensql [avail] (r : $M.cols) : $(map (sql_exp avail [] []) M.cols) =
+ map2 [meta] [Top.id] [sql_exp avail [] []]
+ (fn [t] meta v => @sql_inject meta.Inj v)
+ [_] M.folder M.cols r
+
fun create (r : $M.cols) =
id <- nextval s;
- dml (insert t ({Id = sql_inject id}
- ++ map2 [meta] [Top.id] [sql_exp [] [] []]
- (fn [t ::: Type] (meta : meta t) (v : t) => @sql_inject meta.Inj v)
- [_] M.folder M.cols r));
- return id
+ dml (insert t ({Id = sql_inject id} ++ ensql r));
+ return ({Id = id} ++ r)
+
+ fun delete r = dml (DELETE FROM t WHERE t.Id = {[r.Id]})
+
+ fun save r = dml (update [M.cols] ! (ensql (r -- #Id)) t (WHERE T.Id = {[r.Id]}))
+
+ fun lookup id =
+ ro <- oneOrNoRows (SELECT * FROM t WHERE t.Id = {[id]});
+ return (Option.mp (fn r => r.T) ro)
+
+ val list = query (SELECT * FROM t) (fn r ls => return (r.T :: ls)) []
end