diff options
Diffstat (limited to 'demo/more/grid.urs')
| -rw-r--r-- | demo/more/grid.urs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/demo/more/grid.urs b/demo/more/grid.urs index 191ec49a..6942d38e 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -10,6 +10,11 @@ con colMeta = fn (row :: Type) (global_t :: (Type * Type)) => {Initialize : transaction global_t.1, Handlers : global_t.1 -> colMeta' row global_t.2} +con aggregateMeta = fn (row :: Type) (acc :: Type) => + {Initial : acc, + Step : row -> acc -> acc, + Display : acc -> xbody} + functor Make(M : sig type row val list : transaction (list row) @@ -21,6 +26,9 @@ functor Make(M : sig val cols : $(map (colMeta row) cols) val folder : folder cols + + con aggregates :: {Type} + val aggregates : $(map (aggregateMeta row) aggregates) end) : sig type grid |