Ur/Web: demo/more/bulkEdit.urs annotate

Start of user management

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 20 Oct 2009 12:48:53 -0400
parents
children	c6e948ec79e9

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

Mercurial > urweb