blob: eb0a485e78bd6560f386a813b995c6ff22812128 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
functor Make(M : sig
con key :: {Type}
con data :: {Type}
constraint key ~ data
constraint [When] ~ (key ++ data)
val key : $(map sql_injectable key)
val data : $(map (fn t => {Inj : sql_injectable_prim t,
Eq : eq t}) data)
val keyFolder : folder key
val dataFolder : folder data
end) : sig
val insert : $(M.key ++ M.data) -> transaction unit
val update : $(M.key ++ M.data) -> transaction unit
val keys : transaction (list $M.key)
val current : $M.key -> transaction (option $M.data)
end
|
