Mercurial > urweb
annotate tests/pquery.ur @ 383:49c95753bf3b
Small demo prettifications
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 19 Oct 2008 14:53:38 -0400 (2008-10-19) |
parents | 43f35291433d |
children |
rev | line source |
---|---|
adamc@296 | 1 table t1 : {A : int, B : string, C : float, D : bool} |
adamc@280 | 2 |
adamc@297 | 3 fun display (q : sql_query [T1 = [A = int, B = string, C = float, D = bool]] []) = |
adamc@297 | 4 s <- query q |
adamc@297 | 5 (fn fs _ => return (Some fs.T1)) |
adamc@297 | 6 None; |
adamc@280 | 7 return <html><body> |
adamc@297 | 8 {case s of |
adamc@297 | 9 None => cdata "Row not found." |
adamc@297 | 10 | Some s => |
adamc@297 | 11 <body> |
adamc@297 | 12 A: {cdata (show _ s.A)}<br/> |
adamc@297 | 13 B: {cdata (show _ s.B)}<br/> |
adamc@297 | 14 C: {cdata (show _ s.C)}<br/> |
adamc@297 | 15 D: {cdata (show _ s.D)}<br/> |
adamc@297 | 16 </body>} |
adamc@280 | 17 </body></html> |
adamc@280 | 18 |
adamc@297 | 19 fun lookupA (inp : {A : string}) = |
adamc@298 | 20 display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A}) |
adamc@297 | 21 |
adamc@297 | 22 fun lookupB (inp : {B : string}) = |
adamc@297 | 23 display (SELECT * FROM t1 WHERE t1.B = {inp.B}) |
adamc@297 | 24 |
adamc@297 | 25 fun lookupC (inp : {C : string}) = |
adamc@298 | 26 display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C}) |
adamc@297 | 27 |
adamc@297 | 28 fun lookupD (inp : {D : string}) = |
adamc@298 | 29 display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D}) |
adamc@297 | 30 |
adamc@280 | 31 fun main () : transaction page = return <html><body> |
adamc@280 | 32 <lform> |
adamc@297 | 33 A: <textbox{#A}/> |
adamc@297 | 34 <submit action={lookupA}/> |
adamc@297 | 35 </lform> |
adamc@297 | 36 |
adamc@297 | 37 <lform> |
adamc@280 | 38 B: <textbox{#B}/> |
adamc@297 | 39 <submit action={lookupB}/> |
adamc@297 | 40 </lform> |
adamc@297 | 41 |
adamc@297 | 42 <lform> |
adamc@297 | 43 C: <textbox{#C}/> |
adamc@297 | 44 <submit action={lookupC}/> |
adamc@297 | 45 </lform> |
adamc@297 | 46 |
adamc@297 | 47 <lform> |
adamc@297 | 48 D: <textbox{#D}/> |
adamc@297 | 49 <submit action={lookupD}/> |
adamc@280 | 50 </lform> |
adamc@280 | 51 </body></html> |