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/batchFun.ur | |
parent | 0c209d971e2813d9a5e3cac699f3f5c8ad278f7d (diff) |
Changing foldRX to mapX
Diffstat (limited to 'demo/batchFun.ur')
-rw-r--r-- | demo/batchFun.ur | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur index 3f0317a8..f665b132 100644 --- a/demo/batchFun.ur +++ b/demo/batchFun.ur @@ -72,7 +72,7 @@ functor Make(M : sig | Cons (r, ls) => <xml> <tr> <td>{[r.Id]}</td> - {@foldRX2 [colMeta] [fst] [_] + {@mapX2 [colMeta] [fst] [_] (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] m v => <xml><td>{m.Show v}</td></xml>) @@ -88,7 +88,7 @@ functor Make(M : sig <xml><dyn signal={ls <- signal lss; return <xml><table> <tr> <th>Id</th> - {@foldRX [colMeta] [_] + {@mapX [colMeta] [_] (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] m => <xml><th>{[m.Nam]}</th></xml>) @@ -144,7 +144,7 @@ functor Make(M : sig <table> <tr> <th>Id:</th> <td><ctextbox source={id}/></td> </tr> - {@foldRX2 [colMeta] [snd] [_] + {@mapX2 [colMeta] [snd] [_] (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] m s => <xml><tr> <th>{[m.Nam]}:</th> <td>{m.Widget s}</td> </tr></xml>) |