Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
960:6f34950825b6 | 961:8c37699de273 |
---|---|
5 Display : input -> xbody, | 5 Display : input -> xbody, |
6 Edit : input -> xbody, | 6 Edit : input -> xbody, |
7 Validate : input -> signal bool, | 7 Validate : input -> signal bool, |
8 CreateFilter : transaction filter, | 8 CreateFilter : transaction filter, |
9 DisplayFilter : filter -> xbody, | 9 DisplayFilter : filter -> xbody, |
10 Filter : filter -> row -> signal bool} | 10 Filter : filter -> row -> signal bool, |
11 Sort : option (row -> row -> bool)} | |
11 | 12 |
12 con colMeta = fn (row :: Type) (global_input_filter :: (Type * Type * Type)) => | 13 con colMeta = fn (row :: Type) (global_input_filter :: (Type * Type * Type)) => |
13 {Initialize : transaction global_input_filter.1, | 14 {Initialize : transaction global_input_filter.1, |
14 Handlers : global_input_filter.1 -> colMeta' row global_input_filter.2 global_input_filter.3} | 15 Handlers : global_input_filter.1 -> colMeta' row global_input_filter.2 global_input_filter.3} |
15 | 16 |