Mercurial > urweb

comparison demo/more/dbgrid.urs @ 937:37dd42935dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Summary row with aggregates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 10:18:56 -0400
parents 2422360c78a3
children e2be476673f2
comparison
equal deleted inserted replaced
936:6966d98c80b5 937:37dd42935dad
101 val rowFolder : folder row 101 val rowFolder : folder row
102 val colsFolder : folder cols 102 val colsFolder : folder cols
103 103
104 con aggregates :: {Type} 104 con aggregates :: {Type}
105 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) 105 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
106 val aggFolder : folder aggregates
106 end) : sig 107 end) : sig
107 type grid 108 type grid
108 109
109 val grid : transaction grid 110 val grid : transaction grid
110 val sync : grid -> transaction unit 111 val sync : grid -> transaction unit