1 files changed, 51 insertions, 0 deletions
diff --git a/demo/more/bulkEdit.ur b/demo/more/bulkEdit.ur
new file mode 100644
index 00000000..c033d2e8
--- /dev/null
+++ b/demo/more/bulkEdit.ur
@@ -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