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)