diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-28 13:06:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-28 13:06:10 -0500 |
| commit | 704a9de8fe5e35ba24185048cf990456141a8bc0 (patch) | |
| tree | 514a47d371580960d255dd83a28303a9035c319b /demo/crud.ur | |
| parent | 0c209d971e2813d9a5e3cac699f3f5c8ad278f7d (diff) | |
Changing foldRX to mapX
Diffstat (limited to 'demo/crud.ur')
| -rw-r--r-- | demo/crud.ur | 4 |
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> |