Ur/Web: demo/form.ur annotate

Mutual datatypes through Pathcheck

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 16 May 2009 15:55:15 -0400
parents	a71600cac815
children

rev	line source
adamc@406	1 fun handler r = return <xml><body>
adamc@406	2 <table>
adamc@406	3 <tr> <th>A:</th> <td>{[r.A]}</td> </tr>
adamc@406	4 <tr> <th>B:</th> <td>{[r.B]}</td> </tr>
adamc@406	5 <tr> <th>C:</th> <td>{[r.C]}</td> </tr>
adamc@406	6 </table>
adamc@406	7 </body></xml>
adamc@406	8
adamc@406	9 fun main () = return <xml><body>
adamc@406	10 <form>
adamc@406	11 <table>
adamc@406	12 <tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
adamc@406	13 <tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
adamc@406	14 <tr> <th>C:</th> <td><checkbox{#C}/></td> </tr>
adamc@406	15 <tr> <th/> <td><submit action={handler}/></td> </tr>
adamc@406	16 </table>
adamc@406	17 </form>
adamc@406	18 </body></xml>

Mercurial > urweb