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