blob: 0e5d7a6c9e3cae0bc010552aa5876d4100912d94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
functor Make(M : sig
con keyName :: Name
con keyType :: Type
val showKey : show keyType
val readKey : read keyType
val injKey : sql_injectable keyType
con visible :: {(Type * Type)}
constraint [keyName] ~ visible
val folder : folder visible
val visible : $(map Meta.meta visible)
con invisible :: {Type}
constraint [keyName] ~ invisible
constraint visible ~ invisible
val title : string
val isAllowed : transaction bool
table t : ([keyName = keyType] ++ map fst visible ++ invisible)
end) : sig
val main : unit -> transaction page
end
|
