Mercurial > urweb
comparison demo/more/dbgrid.ur @ 937:37dd42935dad
Summary row with aggregates
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Sep 2009 10:18:56 -0400 |
parents | 6966d98c80b5 |
children | da3ec6014d2f |
comparison
equal
deleted
inserted
replaced
936:6966d98c80b5 | 937:37dd42935dad |
---|---|
249 val rowFolder : folder row | 249 val rowFolder : folder row |
250 val colsFolder : folder cols | 250 val colsFolder : folder cols |
251 | 251 |
252 con aggregates :: {Type} | 252 con aggregates :: {Type} |
253 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) | 253 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) |
254 val aggFolder : folder aggregates | |
254 end) = struct | 255 end) = struct |
255 open Grid.Make(struct | 256 open Grid.Make(struct |
256 fun keyOf r = r --- M.row | 257 fun keyOf r = r --- M.row |
257 | 258 |
258 val list = query (SELECT * FROM {{M.tab}} AS T) (fn r rs => return (r.T :: rs)) [] | 259 val list = query (SELECT * FROM {{M.tab}} AS T) (fn r rs => return (r.T :: rs)) [] |
295 val cols = M.cols | 296 val cols = M.cols |
296 | 297 |
297 val folder = M.colsFolder | 298 val folder = M.colsFolder |
298 | 299 |
299 val aggregates = M.aggregates | 300 val aggregates = M.aggregates |
301 | |
302 val aggFolder = M.aggFolder | |
300 end) | 303 end) |
301 end | 304 end |