Mercurial > urweb
diff demo/more/grid.ur @ 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 | e9c5992bc9bc |
children | 8d3aa6c7cee0 |
line wrap: on
line diff
--- a/demo/more/grid.ur Tue Oct 20 10:19:00 2009 -0400 +++ b/demo/more/grid.ur Tue Oct 20 10:29:17 2009 -0400 @@ -9,10 +9,10 @@ DisplayFilter : filter -> xbody, 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, - Handlers : global_input_filter.1 -> colMeta' row global_input_filter.2 global_input_filter.3} + +con colMeta = fn (row :: Type) (global :: Type, input :: Type, filter :: Type) => + {Initialize : transaction global, + Handlers : global -> colMeta' row input filter} con aggregateMeta = fn (row :: Type) (acc :: Type) => {Initial : acc,