From 703c91af7525838dff97f88245bf7482745e771e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 28 Feb 2010 13:06:10 -0500 Subject: Changing foldRX to mapX --- demo/more/grid.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'demo/more') diff --git a/demo/more/grid.ur b/demo/more/grid.ur index 7540ca27..d560c556 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -123,7 +123,7 @@ functor Make(M : sig - {@foldRX2 [fst3] [colMeta M.row] [_] + {@mapX2 [fst3] [colMeta M.row] [_] (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest] data (meta : colMeta M.row p) => - {@foldRX2 [aggregateMeta M.row] [id] [_] + {@mapX2 [aggregateMeta M.row] [id] [_] (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc => ) M.aggFolder M.aggregates rows} }/> - {@foldRX3 [colMeta M.row] [fst3] [thd3] [_] + {@mapX3 [colMeta M.row] [fst3] [thd3] [_] (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest] meta state filter => ) M.folder M.cols grid.Cols grid.Filters} -- cgit v1.2.3
@@ -208,7 +208,7 @@ functor Make(M : sig @@ -260,14 +260,14 @@ functor Make(M : sig M.aggFolder M.aggregates) grid.Rows; return
Aggregates{meta.Display acc}
Filters{(meta.Handlers state).DisplayFilter filter}