adamc@987: con link = fn t :: Type => unit
adamc@987: 
adamc@987: con meta = fn col :: Type => {
adamc@987:               Link : link col,
adamc@987:               Inj : sql_injectable col
adamc@987:               }
adamc@987: 
adamc@987: functor Table(M : sig
adamc@987:                   con cols :: {Type}
adamc@987:                   val cols : $(map meta cols)
adamc@987:                   constraint [Id] ~ cols
adamc@987:                   val folder : folder cols
adamc@987:               end) = struct
adamc@987:     type id = int
adamc@987:     val inj = _
adamc@987:     val id : meta id = {Link = (),
adamc@987:                         Inj = inj}
adamc@987: 
adamc@987:     sequence s
adamc@987:     table t : ([Id = id] ++ M.cols)
adamc@987: 
adamc@988:     type row = $([Id = id] ++ M.cols)
adamc@988: 
adamc@988:     fun ensql [avail] (r : $M.cols) : $(map (sql_exp avail [] []) M.cols) =
adamc@988:         map2 [meta] [Top.id] [sql_exp avail [] []]
adamc@988:              (fn [t] meta v => @sql_inject meta.Inj v)
adamc@988:              [_] M.folder M.cols r
adamc@988: 
adamc@987:     fun create (r : $M.cols) =
adamc@987:         id <- nextval s;
adamc@988:         dml (insert t ({Id = sql_inject id} ++ ensql r));
adamc@988:         return ({Id = id} ++ r)
adamc@988: 
adamc@988:     fun delete r = dml (DELETE FROM t WHERE t.Id = {[r.Id]})
adamc@988: 
adamc@988:     fun save r = dml (update [M.cols] ! (ensql (r -- #Id)) t (WHERE T.Id = {[r.Id]}))
adamc@988: 
adamc@988:     fun lookup id =
adamc@988:         ro <- oneOrNoRows (SELECT * FROM t WHERE t.Id = {[id]});
adamc@988:         return (Option.mp (fn r => r.T) ro)
adamc@988: 
adamc@988:     val list = query (SELECT * FROM t) (fn r ls => return (r.T :: ls)) []
adamc@987: end