Mercurial > urweb

comparison demo/more/grid.urs @ 936:6966d98c80b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Include 'key' type in Grid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 09:45:46 -0400
parents 2422360c78a3
children 37dd42935dad
comparison
equal deleted inserted replaced
935:2422360c78a3 936:6966d98c80b5
15 Step : row -> acc -> acc, 15 Step : row -> acc -> acc,
16 Display : acc -> xbody} 16 Display : acc -> xbody}
17 17
18 functor Make(M : sig 18 functor Make(M : sig
19 type row 19 type row
20 type key
21 val keyOf : row -> key
22
20 val list : transaction (list row) 23 val list : transaction (list row)
21 val new : transaction row 24 val new : transaction row
22 val save : {Old : row, New : row} -> transaction unit 25 val save : key -> row -> transaction unit
23 val delete : row -> transaction unit 26 val delete : key -> transaction unit
24 27
25 con cols :: {(Type * Type)} 28 con cols :: {(Type * Type)}
26 val cols : $(map (colMeta row) cols) 29 val cols : $(map (colMeta row) cols)
27 30
28 val folder : folder cols 31 val folder : folder cols