Mercurial > urweb

comparison demo/more/grid.ur @ 1649:9253765d7724

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename [Top.id] to avoid clash with [Basis.id]
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 14:12:03 -0500
parents 68429cfce8db
children e6bc6bbd7a32
comparison
equal deleted inserted replaced
1648:bd7edca0aec1 1649:9253765d7724
251 r2 <- signal r2.Row; 251 r2 <- signal r2.Row;
252 return (f r1 r2)) f)} 252 return (f r1 r2)) f)}
253 grid.Rows} 253 grid.Rows}
254 254
255 <dyn signal={rows <- Dlist.foldl (fn row : listT => 255 <dyn signal={rows <- Dlist.foldl (fn row : listT =>
256 @Monad.mapR2 _ [aggregateMeta M.row] [id] [id] 256 @Monad.mapR2 _ [aggregateMeta M.row] [ident] [ident]
257 (fn [nm :: Name] [t :: Type] meta acc => 257 (fn [nm :: Name] [t :: Type] meta acc =>
258 Monad.mp (fn v => meta.Step v acc) 258 Monad.mp (fn v => meta.Step v acc)
259 (signal row.Row)) 259 (signal row.Row))
260 M.aggFolder M.aggregates) 260 M.aggFolder M.aggregates)
261 (@mp [aggregateMeta M.row] [id] 261 (@mp [aggregateMeta M.row] [ident]
262 (fn [t] meta => meta.Initial) 262 (fn [t] meta => meta.Initial)
263 M.aggFolder M.aggregates) grid.Rows; 263 M.aggFolder M.aggregates) grid.Rows;
264 return <xml><tr> 264 return <xml><tr>
265 <th colspan={3}>Aggregates</th> 265 <th colspan={3}>Aggregates</th>
266 {@mapX2 [aggregateMeta M.row] [id] [_] 266 {@mapX2 [aggregateMeta M.row] [ident] [_]
267 (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc => 267 (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc =>
268 <xml><td class={agg}>{meta.Display acc}</td></xml>) 268 <xml><td class={agg}>{meta.Display acc}</td></xml>)
269 M.aggFolder M.aggregates rows} 269 M.aggFolder M.aggregates rows}
270 </tr></xml>}/> 270 </tr></xml>}/>
271 271