adamc@329: con colMeta' = fn t :: Type => {Show : t -> xbody}
adamc@329: con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' 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@329: (fn (fs : {T : $([Id = int] ++ M.cols)}) acc => return
adamc@326: {acc}
adamc@326:
adamc@326: | {txt _ fs.T.Id} |
adamc@332: {foldTRX2 [idT] [colMeta'] [tr]
adamc@329: (fn (nm :: Name) (t :: Type) (rest :: {Type}) =>
adamc@326: [[nm] ~ rest] =>
adamc@332: fn v funcs =>
adamc@329: | {funcs.Show v} |
adamc@326:
)
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: | ID |
adamc@325: {rows}
adamc@325:
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