adamc@326: con colMeta = fn cols :: {Type} => $(Top.mapTT (fn t => {Show : t -> xbody}) cols) adamc@326: adamc@325: functor Make(M : sig adamc@325: con cols :: {Type} adamc@325: constraint [Id] ~ cols adamc@325: val tab : sql_table ([Id = int] ++ cols) adamc@325: adamc@325: val title : string adamc@325: adamc@327: val cols : colMeta cols adamc@325: end) = struct adamc@325: adamc@325: open constraints M adamc@325: val tab = M.tab adamc@325: adamc@325: fun list () = adamc@325: rows <- query (SELECT * FROM tab AS T) adamc@325: (fn fs acc => return adamc@326: {acc} adamc@326: adamc@326: {txt _ fs.T.Id} adamc@326: {fold [fn cols :: {Type} => $cols -> colMeta cols -> xtr] adamc@326: (fn (nm :: Name) (t :: Type) (rest :: {Type}) acc => adamc@326: [[nm] ~ rest] => adamc@327: fn r cols => adamc@326: adamc@326: {cols.nm.Show r.nm} adamc@326: {acc (r -- nm) (cols -- nm)} adamc@326: ) adamc@326: (fn _ _ => ) adamc@326: [M.cols] (fs.T -- #Id) M.cols} adamc@326: adamc@325: ) ; adamc@325: return adamc@325: List adamc@325: adamc@325: adamc@325: adamc@325:

List

adamc@325: adamc@325: adamc@325: adamc@325: {rows} adamc@325:
ID
adamc@325: adamc@325: adamc@325: fun main () : transaction page = return adamc@325: {cdata M.title} adamc@325: adamc@325:

{cdata M.title}

adamc@325: adamc@325:
  • List all rows
  • adamc@325: adamc@325: adamc@325: end