Mercurial > urweb

comparison demo/more/bulkEdit.urs @ 1004:a87495bcaeec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of user management
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 12:48:53 -0400
parents
children c6e948ec79e9
comparison
equal deleted inserted replaced
1003:61c30f0742d7 1004:a87495bcaeec
1 functor Make(M : sig
2 con keyName :: Name
3 con keyType :: Type
4 val showKey : show keyType
5
6 con visible :: {(Type * Type)}
7 constraint [keyName] ~ visible
8 val folder : folder visible
9 val visible : $(map Meta.meta visible)
10
11 con invisible :: {Type}
12 constraint [keyName] ~ invisible
13 constraint visible ~ invisible
14
15 val title : string
16 val isAllowed : transaction bool
17 table t : ([keyName = keyType] ++ map fst visible ++ invisible)
18 end) : sig
19
20 val main : unit -> transaction page
21
22 end