Mercurial > urweb

view tests/pquery.ur @ 1244:1eedc9086e6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use key information in more places, and catch cases where one key completion depends on another having happened already
author Adam Chlipala <adamc@hcoop.net>
date Sun, 18 Apr 2010 13:00:36 -0400
parents 43f35291433d
children
line wrap: on
line source
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>