Mercurial > urweb

comparison demo/more/grid.urs @ 961:8c37699de273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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