Mercurial > urweb
comparison demo/more/grid.ur @ 952:07569af40069
Insert dummy Sort parameter
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 14:42:02 -0400 |
parents | 103ac1792c41 |
children | 301530da2062 |
comparison
equal
deleted
inserted
replaced
951:103ac1792c41 | 952:07569af40069 |
---|---|
210 meta state filter combinedFilter row => | 210 meta state filter combinedFilter row => |
211 previous <- combinedFilter row; | 211 previous <- combinedFilter row; |
212 this <- (meta.Handlers state).Filter filter row; | 212 this <- (meta.Handlers state).Filter filter row; |
213 return (previous && this)) | 213 return (previous && this)) |
214 (fn _ => return True) | 214 (fn _ => return True) |
215 [_] M.folder M.cols grid.Cols grid.Filters row} | 215 [_] M.folder M.cols grid.Cols grid.Filters row, |
216 Sort = return None} | |
216 grid.Rows} | 217 grid.Rows} |
217 | 218 |
218 <dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id] | 219 <dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id] |
219 (fn [nm :: Name] [t :: Type] meta acc => | 220 (fn [nm :: Name] [t :: Type] meta acc => |
220 Monad.mp (fn v => meta.Step v acc) | 221 Monad.mp (fn v => meta.Step v acc) |