diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:32:33 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:32:33 -0400 |
| commit | 11fd1db04f22101a5a0fa8e1d5b57126e75f6eb5 (patch) | |
| tree | f50a6fffa9a2e6aaacfe70b509015a14b90a0a16 /demo/more/grid.urs | |
| parent | e6166ff9bc4f189cadaf235672543890ef922d11 (diff) | |
Grid sorting working
Diffstat (limited to 'demo/more/grid.urs')
| -rw-r--r-- | demo/more/grid.urs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/demo/more/grid.urs b/demo/more/grid.urs index 2ab9fbcc..30cd9bc6 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -7,7 +7,8 @@ con colMeta' = fn (row :: Type) (input :: Type) (filter :: Type) => 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, |