Mercurial > urweb

table t : { A : int }

fun sortEm b =
    queryX1 (SELECT * FROM t ORDER BY t.A {if b then sql_asc else sql_desc})
    (fn r => <xml>{[r.A]}; </xml>)

fun main () : transaction page = return <xml><body>
  <a link={sortEm True}>Ascending</a><br/>
  <a link={sortEm False}>Descending</a>
</body></xml>
author	Adam Chlipala <adam@chlipala.net>
date	Sun, 20 Dec 2015 14:39:50 -0500
parents	6f046b4bad24
children