Mercurial > urweb

diff demo/crud.ur @ 1172:ad15700272f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changing foldRX to mapX
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Feb 2010 13:06:10 -0500
parents 8d3aa6c7cee0
children e8d68fd8ed4b
line wrap: on
line diff
--- a/demo/crud.ur	Sat Feb 27 16:49:11 2010 -0500
+++ b/demo/crud.ur	Sun Feb 28 13:06:10 2010 -0500
@@ -50,7 +50,7 @@
                        (fn (fs : {T : $([Id = int] ++ map fst M.cols)}) => <xml>
                          <tr>
                            <td>{[fs.T.Id]}</td>
-                           {@foldRX2 [fst] [colMeta] [tr]
+                           {@mapX2 [fst] [colMeta] [tr]
                              (fn [nm :: Name] [t :: (Type * Type)] [rest :: {(Type * Type)}]
                                               [[nm] ~ rest] v col => <xml>
                                                 <td>{col.Show v}</td>
@@ -66,7 +66,7 @@
           <table border={1}>
             <tr>
               <th>ID</th>
-              {@foldRX [colMeta] [tr]
+              {@mapX [colMeta] [tr]
                 (fn [nm :: Name] [t :: (Type * Type)] [rest :: {(Type * Type)}]
                                  [[nm] ~ rest] col => <xml>
                                    <th>{cdata col.Nam}</th>