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)