diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-15 09:45:46 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-15 09:45:46 -0400 |
| commit | a8fa8a4567570b1925ff11b17da729ac32cd191e (patch) | |
| tree | b0c64428283fba211e8d782b474877c98467593c /demo/more/grid.urs | |
| parent | 89ff99b8cb398180ae3168dec72baa793fe42850 (diff) | |
Include 'key' type in Grid
Diffstat (limited to 'demo/more/grid.urs')
| -rw-r--r-- | demo/more/grid.urs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/demo/more/grid.urs b/demo/more/grid.urs index 6942d38e..083f458f 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -17,10 +17,13 @@ con aggregateMeta = fn (row :: Type) (acc :: Type) => functor Make(M : sig type row + type key + val keyOf : row -> key + val list : transaction (list row) val new : transaction row - val save : {Old : row, New : row} -> transaction unit - val delete : row -> transaction unit + val save : key -> row -> transaction unit + val delete : key -> transaction unit con cols :: {(Type * Type)} val cols : $(map (colMeta row) cols) |