Mercurial > urweb

comparison demo/treeFun.urs @ 469:b393c2fc80f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
About to begin optimization of recursive transaction functions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 17:09:53 -0500
parents
children 1fb318c17546
comparison
equal deleted inserted replaced
468:4efab85405be 469:b393c2fc80f8
1 functor Make(M : sig
2 type key
3 con id :: Name
4 con parent :: Name
5 con cols :: {Type}
6 constraint [id] ~ [parent]
7 constraint [id, parent] ~ cols
8
9 val key_inj : sql_injectable key
10 val option_key_inj : sql_injectable (option key)
11
12 table tab : [id = key, parent = option key] ++ cols
13 end) : sig
14
15 con id = M.id
16 con parent = M.parent
17
18 val tree : ($([id = M.key, parent = option M.key] ++ M.cols) -> xbody)
19 -> option M.key
20 -> transaction xbody
21
22 end