Mercurial > urweb

diff demo/more/grid.urs @ 961:8c37699de273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Grid sorting working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:32:33 -0400
parents da3ec6014d2f
children fbc3a0eef45a
line wrap: on
line diff
--- a/demo/more/grid.urs	Sat Sep 19 10:56:09 2009 -0400
+++ b/demo/more/grid.urs	Sat Sep 19 13:32:33 2009 -0400
@@ -7,7 +7,8 @@
                    Validate : input -> signal bool,
                    CreateFilter : transaction filter,
                    DisplayFilter : filter -> xbody,
-                   Filter : filter -> row -> signal bool}
+                   Filter : filter -> row -> signal bool,
+                   Sort : option (row -> row -> bool)}
                   
 con colMeta = fn (row :: Type) (global_input_filter :: (Type * Type * Type)) =>
                  {Initialize : transaction global_input_filter.1,