diff options
Diffstat (limited to 'demo/more/grid.ur')
| -rw-r--r-- | demo/more/grid.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur index f2b9681c..170c6f2c 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -9,10 +9,10 @@ con colMeta' = fn (row :: Type) (input :: Type) (filter :: Type) => 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, |