HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Preliminary regeneration support
[hcoop/domtool2.git]
/
src
/
acl.sig
diff --git
a/src/acl.sig
b/src/acl.sig
index
fc72ab6
..
10abcde
100644
(file)
--- a/
src/acl.sig
+++ b/
src/acl.sig
@@
-30,6
+30,12
@@
signature ACL = sig
val queryAll : string -> (string * string list) list
(* What are all of a user's permissions, by class? *)
val queryAll : string -> (string * string list) list
(* What are all of a user's permissions, by class? *)
+ val users : unit -> string list
+ (* Which users have been granted privileges? *)
+
+ val whoHas : {class : string, value : string} -> string list
+ (* Which users have a permission? *)
+
val class : {user : string, class : string} -> DataStructures.StringSet.set
(* For what objects does the user have the permission? *)
val class : {user : string, class : string} -> DataStructures.StringSet.set
(* For what objects does the user have the permission? *)