Mercurial > urweb

comparison demo/more/versioned.urs @ 993:10114d7b7477

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SELECT DISTINCT; eta expansion during Cjrization
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 15:39:27 -0400
parents
children 166ea3944b91
comparison
equal deleted inserted replaced
992:b825d843b22d 993:10114d7b7477
1 functor Make(M : sig
2 con key :: {Type}
3 con data :: {Type}
4 constraint key ~ data
5 constraint [When] ~ (key ++ data)
6
7 val key : $(map sql_injectable key)
8 val data : $(map (fn t => {Inj : sql_injectable_prim t,
9 Eq : eq t}) data)
10
11 val keyFolder : folder key
12 val dataFolder : folder data
13 end) : sig
14 val insert : $(M.key ++ M.data) -> transaction unit
15 val update : $(M.key ++ M.data) -> transaction unit
16
17 val keys : transaction (list $M.key)
18 val current : $M.key -> transaction (option $M.data)
19 end