Mercurial > urweb
diff demo/more/bulkEdit.ur @ 1004:a87495bcaeec
Start of user management
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 20 Oct 2009 12:48:53 -0400 |
| parents | |
| children | c6e948ec79e9 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/more/bulkEdit.ur Tue Oct 20 12:48:53 2009 -0400 @@ -0,0 +1,51 @@ +open Meta + +functor Make(M : sig + con keyName :: Name + con keyType :: Type + val showKey : show 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) = struct + + open M + + fun main () = + items <- queryX (SELECT t.{keyName}, t.{{map fst visible}} FROM t) + (fn r => <xml><entry><tr> + <hidden{keyName} value={show r.T.keyName}/> + {useMore (foldR2 [meta] [fst] [fn cols :: {(Type * Type)} => + xml [Body, Form, Tr] [] (map snd cols)] + (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] + (m : meta p) v (acc : xml [Body, Form, Tr] [] (map snd rest)) => + <xml> + <td>{m.WidgetPopulated [nm] v}</td> + {useMore acc} + </xml>) + <xml/> + [_] folder visible (r.T -- keyName))} + </tr></entry></xml>); + + return <xml><body> + <h1>{[title]}</h1> + + <form><table> + <tr>{foldRX [meta] [_] + (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] m => + <xml><th>{[m.Nam]}</th></xml>) [_] folder visible}</tr> + <subforms{#Users}>{items}</subforms> + </table></form> + </body></xml> + +end