Mercurial > urweb

comparison demo/more/grid.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 6966d98c80b5
children e2be476673f2
comparison
equal deleted inserted replaced
936:6966d98c80b5 937:37dd42935dad
30 30
31 val folder : folder cols 31 val folder : folder cols
32 32
33 con aggregates :: {Type} 33 con aggregates :: {Type}
34 val aggregates : $(map (aggregateMeta row) aggregates) 34 val aggregates : $(map (aggregateMeta row) aggregates)
35 val aggFolder : folder aggregates
35 end) : sig 36 end) : sig
36 type grid 37 type grid
37 38
38 val grid : transaction grid 39 val grid : transaction grid
39 val sync : grid -> transaction unit 40 val sync : grid -> transaction unit