Mercurial > urweb

comparison demo/more/grid.ur @ 962:7e7edfb6fe82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Testing Dlist StartPosition with constant offset
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:44:12 -0400
parents 8c37699de273
children 6f9d1565de56
comparison
equal deleted inserted replaced
961:8c37699de273 962:7e7edfb6fe82
214 return <xml/>}/> 214 return <xml/>}/>
215 </td></xml>) 215 </td></xml>)
216 [_] M.folder grid.Cols M.cols cols)}/> 216 [_] M.folder grid.Cols M.cols cols)}/>
217 </tr></xml> 217 </tr></xml>
218 end) 218 end)
219 {Filter = fn all => 219 {StartPosition = return (Some 1),
220 Filter = fn all =>
220 row <- signal all.Row; 221 row <- signal all.Row;
221 foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool] 222 foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool]
222 (fn [nm :: Name] [p :: (Type * Type * Type)] 223 (fn [nm :: Name] [p :: (Type * Type * Type)]
223 [rest :: {(Type * Type * Type)}] [[nm] ~ rest] 224 [rest :: {(Type * Type * Type)}] [[nm] ~ rest]
224 meta state filter combinedFilter row => 225 meta state filter combinedFilter row =>