Mercurial > urweb

comparison demo/more/grid.urs @ 1002:bb3fc575cfe7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adapted existing demos to tuple pattern-matching
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 10:29:17 -0400
parents fbc3a0eef45a
children be0c4e2e488a
comparison
equal deleted inserted replaced
1001:1d456a06ea4e 1002:bb3fc575cfe7
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 Sort : option (row -> row -> bool)}
12 12
13 con colMeta = fn (row :: Type) (global_input_filter :: (Type * Type * Type)) => 13 con colMeta = fn (row :: Type) (global :: Type, input :: Type, filter :: Type) =>
14 {Initialize : transaction global_input_filter.1, 14 {Initialize : transaction global,
15 Handlers : global_input_filter.1 -> colMeta' row global_input_filter.2 global_input_filter.3} 15 Handlers : global -> colMeta' row input filter}
16 16
17 con aggregateMeta = fn (row :: Type) (acc :: Type) => 17 con aggregateMeta = fn (row :: Type) (acc :: Type) =>
18 {Initial : acc, 18 {Initial : acc,
19 Step : row -> acc -> acc, 19 Step : row -> acc -> acc,
20 Display : acc -> xbody} 20 Display : acc -> xbody}