summaryrefslogtreecommitdiff
path: root/demo/more/bulkEdit.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-20 12:48:53 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-20 12:48:53 -0400
commit4ce29a476f2f02448db865787b55037b7b10da69 (patch)
tree06207c87f54c242948fab98a5331a12d0557c85d /demo/more/bulkEdit.urs
parent2fdb4d380392a2a221e4f0ebec1bf555e2c73ba3 (diff)
Start of user management
Diffstat (limited to 'demo/more/bulkEdit.urs')
-rw-r--r--demo/more/bulkEdit.urs22
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