Mercurial > urweb

comparison demo/more/grid.ur @ 958:3aaac251a5af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pseudo-sort working with filters
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 19:15:10 -0400
parents 2a50da66ffd8
children 6f34950825b6
comparison
equal deleted inserted replaced
957:2831be2daf2e 958:3aaac251a5af
216 previous <- combinedFilter row; 216 previous <- combinedFilter row;
217 this <- (meta.Handlers state).Filter filter row; 217 this <- (meta.Handlers state).Filter filter row;
218 return (previous && this)) 218 return (previous && this))
219 (fn _ => return True) 219 (fn _ => return True)
220 [_] M.folder M.cols grid.Cols grid.Filters row, 220 [_] M.folder M.cols grid.Cols grid.Filters row,
221 Sort = return (Some (fn _ _ => return False))} 221 Sort = return (Some (fn _ _ => return True))}
222 grid.Rows} 222 grid.Rows}
223 223
224 <dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id] 224 <dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id]
225 (fn [nm :: Name] [t :: Type] meta acc => 225 (fn [nm :: Name] [t :: Type] meta acc =>
226 Monad.mp (fn v => meta.Step v acc) 226 Monad.mp (fn v => meta.Step v acc)