comparison demo/batchFun.ur @ 1784:e6bc6bbd7a32

Update demo code for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:12:35 -0400
parents 818d4097e2ed
children
comparison
equal deleted inserted replaced
1783:5bc4fbf9c0fe 1784:e6bc6bbd7a32
73 {@mapX2 [colMeta] [fst] [_] 73 {@mapX2 [colMeta] [fst] [_]
74 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m v => 74 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m v =>
75 <xml><td>{m.Show v}</td></xml>) 75 <xml><td>{m.Show v}</td></xml>)
76 M.fl M.cols (r -- #Id)} 76 M.fl M.cols (r -- #Id)}
77 {if withDel then 77 {if withDel then
78 <xml><td><button value="Delete" onclick={rpc (del r.Id)}/></td></xml> 78 <xml><td><button value="Delete" onclick={fn _ => rpc (del r.Id)}/></td></xml>
79 else 79 else
80 <xml/>} 80 <xml/>}
81 </tr> 81 </tr>
82 {show' ls} 82 {show' ls}
83 </xml> 83 </xml>
130 return <xml><body> 130 return <xml><body>
131 <h2>Rows</h2> 131 <h2>Rows</h2>
132 132
133 {show True lss} 133 {show True lss}
134 134
135 <button value="Update" onclick={ls <- rpc (allRows ()); set lss ls}/><br/> 135 <button value="Update" onclick={fn _ => ls <- rpc (allRows ()); set lss ls}/><br/>
136 <br/> 136 <br/>
137 137
138 <h2>Batch new rows to add</h2> 138 <h2>Batch new rows to add</h2>
139 139
140 <table> 140 <table>
141 <tr> <th>Id:</th> <td><ctextbox source={id}/></td> </tr> 141 <tr> <th>Id:</th> <td><ctextbox source={id}/></td> </tr>
142 {@mapX2 [colMeta] [snd] [_] 142 {@mapX2 [colMeta] [snd] [_]
143 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m s => 143 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m s =>
144 <xml><tr> <th>{[m.Nam]}:</th> <td>{m.Widget s}</td> </tr></xml>) 144 <xml><tr> <th>{[m.Nam]}:</th> <td>{m.Widget s}</td> </tr></xml>)
145 M.fl M.cols inps} 145 M.fl M.cols inps}
146 <tr> <th/> <td><button value="Batch it" onclick={add ()}/></td> </tr> 146 <tr> <th/> <td><button value="Batch it" onclick={fn _ => add ()}/></td> </tr>
147 </table> 147 </table>
148 148
149 <h2>Already batched:</h2> 149 <h2>Already batched:</h2>
150 {show False batched} 150 {show False batched}
151 <button value="Execute" onclick={exec ()}/> 151 <button value="Execute" onclick={fn _ => exec ()}/>
152 </body></xml> 152 </body></xml>
153 end 153 end
154 154
155 end 155 end