blob: 8fab3ae8d9b3e7d965379f2c9975362990d7e8f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
con link :: Type -> Type
con meta = fn col :: Type => {
Link : link col,
Inj : sql_injectable col
}
functor Table(M : sig
con cols :: {Type}
val cols : $(map meta cols)
constraint [Id] ~ cols
val folder : folder cols
end) : sig
type id
val inj : sql_injectable id
val id : meta id
val create : $M.cols -> transaction id
end
|
