Mercurial > urweb
diff demo/more/grid.urs @ 961:8c37699de273
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,