Mercurial > urweb

comparison demo/more/grid.ur @ 963:6f9d1565de56

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Testing Dlist MaxLength with constant value
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:55:37 -0400
parents 7e7edfb6fe82
children fbc3a0eef45a
comparison
equal deleted inserted replaced
962:7e7edfb6fe82 963:6f9d1565de56
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 {StartPosition = return (Some 1), 219 {StartPosition = return (Some 1),
220 MaxLength = return (Some 2),
220 Filter = fn all => 221 Filter = fn all =>
221 row <- signal all.Row; 222 row <- signal all.Row;
222 foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool] 223 foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool]
223 (fn [nm :: Name] [p :: (Type * Type * Type)] 224 (fn [nm :: Name] [p :: (Type * Type * Type)]
224 [rest :: {(Type * Type * Type)}] [[nm] ~ rest] 225 [rest :: {(Type * Type * Type)}] [[nm] ~ rest]