summaryrefslogtreecommitdiff
path: root/demo/crud.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-28 13:06:10 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-28 13:06:10 -0500
commit703c91af7525838dff97f88245bf7482745e771e (patch)
tree514a47d371580960d255dd83a28303a9035c319b /demo/crud.ur
parentf59bbf0b942cd888c798c06ba6841bf94562a438 (diff)
Changing foldRX to mapX
Diffstat (limited to 'demo/crud.ur')
-rw-r--r--demo/crud.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/crud.ur b/demo/crud.ur
index bccc3822..7850e656 100644
--- a/demo/crud.ur
+++ b/demo/crud.ur
@@ -50,7 +50,7 @@ functor Make(M : sig
(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 @@ functor Make(M : sig
<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>