Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 1004:a87495bcaeec | 1005:c6e948ec79e9 |
|---|---|
| 1 functor Make(M : sig | 1 functor Make(M : sig |
| 2 con keyName :: Name | 2 con keyName :: Name |
| 3 con keyType :: Type | 3 con keyType :: Type |
| 4 val showKey : show keyType | 4 val showKey : show keyType |
| 5 val readKey : read keyType | |
| 6 val injKey : sql_injectable keyType | |
| 5 | 7 |
| 6 con visible :: {(Type * Type)} | 8 con visible :: {(Type * Type)} |
| 7 constraint [keyName] ~ visible | 9 constraint [keyName] ~ visible |
| 8 val folder : folder visible | 10 val folder : folder visible |
| 9 val visible : $(map Meta.meta visible) | 11 val visible : $(map Meta.meta visible) |