view demo/more/bulkEdit.urs @ 1005:c6e948ec79e9

Saving changes to user list
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 13:08:42 -0400
parents a87495bcaeec
children
line wrap: on
line source
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