summaryrefslogtreecommitdiff
path: root/demo/more/grid.urs
diff options
context:
space:
mode:
Diffstat (limited to 'demo/more/grid.urs')
-rw-r--r--demo/more/grid.urs7
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)