aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/pquery.ur
blob: 4c0e4e4ae948cf3440e7608ea7b1cdc238b01c05 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
table t1 : {A : int, B : string, C : float, D : bool}

fun display (q : sql_query [T1 = [A = int, B = string, C = float, D = bool]] []) =
        s <- query q
                (fn fs _ => return (Some fs.T1))
                None;
        return <html><body>
                {case s of
                  None => cdata "Row not found."
                | Some s =>
                        <body>
                                A: {cdata (show _ s.A)}<br/>
                                B: {cdata (show _ s.B)}<br/>
                                C: {cdata (show _ s.C)}<br/>
                                D: {cdata (show _ s.D)}<br/>
                        </body>}
        </body></html>

fun lookupA (inp : {A : string}) =
        display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A})

fun lookupB (inp : {B : string}) =
        display (SELECT * FROM t1 WHERE t1.B = {inp.B})

fun lookupC (inp : {C : string}) =
        display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C})

fun lookupD (inp : {D : string}) =
        display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D})

fun main () : transaction page = return <html><body>
        <lform>
                A: <textbox{#A}/>
                <submit action={lookupA}/>
        </lform>

        <lform>
                B: <textbox{#B}/>
                <submit action={lookupB}/>
        </lform>

        <lform>
                C: <textbox{#C}/>
                <submit action={lookupC}/>
        </lform>

        <lform>
                D: <textbox{#D}/>
                <submit action={lookupD}/>
        </lform>
</body></html>