summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 10:56:09 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 10:56:09 -0400
commit0ecf48297c01024c108f0cbb8b401250bdfaf44a (patch)
tree3be86f2aaa7287519695d46f43f61d98709e4149 /demo
parent80aa33df2b00e8ceca1105c91e8746a88ecc9204 (diff)
Hopefully fixed Jscomp bug that was breaking Grid
Diffstat (limited to 'demo')
-rw-r--r--demo/more/grid.ur12
1 files changed, 9 insertions, 3 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index 333e12a2..829fead0 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -57,7 +57,8 @@ functor Make(M : sig
Updating : source bool,
Selected : source bool},
Selection : source bool,
- Filters : $(map thd3 M.cols)}
+ Filters : $(map thd3 M.cols),
+ Sort : source (option (M.row -> M.row -> bool))}
fun newRow cols row =
rowS <- source row;
@@ -86,11 +87,13 @@ functor Make(M : sig
rows <- Dlist.create;
sel <- source False;
+ sort <- source None;
return {Cols = cols,
Rows = rows,
Selection = sel,
- Filters = filters}
+ Filters = filters,
+ Sort = sort}
fun sync {Cols = cols, Rows = rows, ...} =
Dlist.clear rows;
@@ -218,7 +221,10 @@ functor Make(M : sig
return (previous && this))
(fn _ => return True)
[_] M.folder M.cols grid.Cols grid.Filters row,
- Sort = return (Some (fn _ _ => return True))}
+ Sort = f <- signal grid.Sort;
+ return (Option.mp (fn f r1 r2 => r1 <- signal r1.Row;
+ r2 <- signal r2.Row;
+ return (f r1 r2)) f)}
grid.Rows}
<dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id]