summaryrefslogtreecommitdiff
path: root/demo/more/grid.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 13:32:33 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 13:32:33 -0400
commit11fd1db04f22101a5a0fa8e1d5b57126e75f6eb5 (patch)
treef50a6fffa9a2e6aaacfe70b509015a14b90a0a16 /demo/more/grid.urs
parente6166ff9bc4f189cadaf235672543890ef922d11 (diff)
Grid sorting working
Diffstat (limited to 'demo/more/grid.urs')
-rw-r--r--demo/more/grid.urs3
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,