Mercurial > urweb
comparison demo/prose @ 644:8e17e6b615bd
Alert demo
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 10 Mar 2009 10:49:18 -0400 |
| parents | aa2290c32ce2 |
| children | 1b571a05874c |
comparison
equal
deleted
inserted
replaced
| 643:aa2290c32ce2 | 644:8e17e6b615bd |
|---|---|
| 183 <p>We won't go into detail on the implementation of <tt>Crud.Make</tt>. The types of the functions used there can be found in the signatures of the built-in <tt>Basis</tt> module and the <tt>Top</tt> module from the standard library. The signature of the first and the signature and implementation of the second can be found in the <tt>lib/ur</tt> directory of the Ur/Web distribution.</p> | 183 <p>We won't go into detail on the implementation of <tt>Crud.Make</tt>. The types of the functions used there can be found in the signatures of the built-in <tt>Basis</tt> module and the <tt>Top</tt> module from the standard library. The signature of the first and the signature and implementation of the second can be found in the <tt>lib/ur</tt> directory of the Ur/Web distribution.</p> |
| 184 | 184 |
| 185 crud2.urp | 185 crud2.urp |
| 186 | 186 |
| 187 <p>This example shows another application of <tt>Crud.Make</tt>. We mix one standard column with one customized column. We write an underscore for the <tt>Inject</tt> field of meta-data, since the type class facility can infer that witness.</p> | 187 <p>This example shows another application of <tt>Crud.Make</tt>. We mix one standard column with one customized column. We write an underscore for the <tt>Inject</tt> field of meta-data, since the type class facility can infer that witness.</p> |
| 188 | |
| 189 alert.urp | |
| 190 | |
| 191 <p>Ur/Web makes it easy to write code whose execution should be distributed between the web server and client web browsers. Server-side code is compiled to efficient native code, and client-side code is compiled to JavaScript. Ur/Web programmers don't need to worry about these details, because the language and standard library provide a uniform ML-like interface for the whole process.</p> | |
| 192 | |
| 193 <p>Here's an example of a button that, when clicked, opens an alert dialog on the client.</p> |