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@334: fun main () : transaction page = adamc@334: rows <- queryX (SELECT * FROM tab AS T) adamc@334: (fn (fs : {T : $([Id = int] ++ M.cols)}) =>
adamc@326:ID |
---|