diff options
author | 2009-09-15 09:40:51 -0400 | |
---|---|---|
committer | 2009-09-15 09:40:51 -0400 | |
commit | 89ff99b8cb398180ae3168dec72baa793fe42850 (patch) | |
tree | 433c0110e44492d0f49fe446996e8d66d8cefd7d /demo/more/dbgrid.urs | |
parent | 805b4913fe374d10f9a9ef4f7f8a79a8e25c4601 (diff) |
Dropped in initial aggregate types
Diffstat (limited to 'demo/more/dbgrid.urs')
-rw-r--r-- | demo/more/dbgrid.urs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/demo/more/dbgrid.urs b/demo/more/dbgrid.urs index cfbdff89..908f4b2a 100644 --- a/demo/more/dbgrid.urs +++ b/demo/more/dbgrid.urs @@ -14,6 +14,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} + structure Direct : sig con metaBase = fn actual_input :: (Type * Type) => {Display : actual_input.2 -> xbody, @@ -95,6 +100,9 @@ functor Make(M : sig val keyFolder : folder key val rowFolder : folder row val colsFolder : folder cols + + con aggregates :: {Type} + val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) end) : sig type grid |