Mercurial > urweb
comparison demo/more/grid.urs @ 1002:bb3fc575cfe7
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} |