Mercurial > urweb
comparison demo/more/grid.ur @ 953:301530da2062
Bad sort functions tested
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 14:57:38 -0400 |
parents | 07569af40069 |
children | 2a50da66ffd8 |
comparison
equal
deleted
inserted
replaced
952:07569af40069 | 953:301530da2062 |
---|---|
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 Sort = return (Some (fn _ _ => return False))} |
217 grid.Rows} | 217 grid.Rows} |
218 | 218 |
219 <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] |
220 (fn [nm :: Name] [t :: Type] meta acc => | 220 (fn [nm :: Name] [t :: Type] meta acc => |
221 Monad.mp (fn v => meta.Step v acc) | 221 Monad.mp (fn v => meta.Step v acc) |