Start of user management

1 files changed, 22 insertions, 0 deletions

diff --git a/demo/more/bulkEdit.urs b/demo/more/bulkEdit.urs
new file mode 100644
index 00000000..6593af1b
--- /dev/null
+++ b/demo/more/bulkEdit.urs
@@ -0,0 +1,22 @@
+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) : sig
+
+    val main : unit -> transaction page
+
+end