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 | 04b98841de74bdf38e905729a501b34913902db7 (patch) | |
| tree | f50a6fffa9a2e6aaacfe70b509015a14b90a0a16 /demo/more/dbgrid.urs | |
| parent | 0ecf48297c01024c108f0cbb8b401250bdfaf44a (diff) | |
Grid sorting working
Diffstat (limited to 'demo/more/dbgrid.urs')
| -rw-r--r-- | demo/more/dbgrid.urs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/demo/more/dbgrid.urs b/demo/more/dbgrid.urs index 58c5197a..f241c334 100644 --- a/demo/more/dbgrid.urs +++ b/demo/more/dbgrid.urs @@ -11,7 +11,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, @@ -30,7 +31,8 @@ structure Direct : sig Parse : actual_input_filter.2 -> signal (option actual_input_filter.1), CreateFilter : transaction actual_input_filter.3, DisplayFilter : actual_input_filter.3 -> xbody, - Filter : actual_input_filter.3 -> actual_input_filter.1 -> signal bool} + Filter : actual_input_filter.3 -> actual_input_filter.1 -> signal bool, + Sort : actual_input_filter.1 -> actual_input_filter.1 -> bool} datatype metaBoth actual input filter = NonNull of metaBase (actual, input, filter) * metaBase (option actual, input, filter) @@ -79,6 +81,7 @@ structure Direct : sig val show_t : show t val read_t : read t val eq_t : eq t + val ord_t : ord t val inj_t : sql_injectable t con nm :: Name constraint [nm] ~ row |