diff options
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) |