Mercurial > urweb
diff demo/more/grid.urs @ 936:6966d98c80b5
Include 'key' type in Grid
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 15 Sep 2009 09:45:46 -0400 |
| parents | 2422360c78a3 |
| children | 37dd42935dad |
line wrap: on
line diff
--- a/demo/more/grid.urs Tue Sep 15 09:40:51 2009 -0400 +++ b/demo/more/grid.urs Tue Sep 15 09:45:46 2009 -0400 @@ -17,10 +17,13 @@ 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)