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 | 93594385adcba919b2e61785b5a60779e2be20db (patch) | |
| tree | b0c64428283fba211e8d782b474877c98467593c /demo/more/grid.urs | |
| parent | fd29ac9b0927fa132abf832ad46409b14ac001d3 (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) |