Ur/Web: demo/view.ur annotate

annotate demo/view.ur @ 1904:686fa4e7f397

xml/parse: Accept entity files on the command line Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- xml/parse.sml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-)

author	Anders Kaseorg <andersk@mit.edu>
date	Fri, 22 Nov 2013 09:36:14 -0500
parents	c7b9a33c26c8
children

rev	line source
adamc@778	1 table t : { A : int }
adamc@778	2 view v = SELECT t.A AS A FROM t WHERE t.A > 7
adamc@778	3
adam@1303	4 fun list [u] (_ : fieldsOf u [A = int]) (title : string) (x : u) : transaction xbody =
adamc@778	5 xml <- queryX (SELECT * FROM x)
adamc@778	6 (fn r : {X : {A : int}} => <xml><li>{[r.X.A]}</li></xml>);
adamc@778	7 return <xml>
adamc@778	8 <h2>{[title]}</h2>
adamc@778	9 <ul>{xml}</ul>
adamc@778	10 </xml>
adamc@778	11
adamc@778	12 fun main () =
adamc@778	13 listT <- list "T" t;
adamc@778	14 listV <- list "V" v;
adamc@778	15 return <xml><body>
adamc@778	16 {listT}
adamc@778	17 {listV}
adamc@778	18 <br/>
adamc@778	19
adamc@778	20 <form>Insert: <textbox{#A}/> <submit action={ins}/></form>
adamc@778	21 </body></xml>
adamc@778	22
adamc@778	23 and ins r =
adamc@778	24 dml (INSERT INTO t (A) VALUES ({[readError r.A]}));
adamc@778	25 main ()

Mercurial > urweb

annotate demo/view.ur @ 1904:686fa4e7f397