HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
whohas
[hcoop/domtool2.git]
/
src
/
acl.sml
diff --git
a/src/acl.sml
b/src/acl.sml
index
0adfb4b
..
e57f186
100644
(file)
--- a/
src/acl.sml
+++ b/
src/acl.sml
@@
-44,6
+44,16
@@
fun queryAll user =
(class, SS.foldr (op::) [] values) :: out)
[] classes
(class, SS.foldr (op::) [] values) :: out)
[] classes
+fun whoHas {class, value} =
+ SM.foldri (fn (user, classes, users) =>
+ case SM.find (classes, class) of
+ NONE => users
+ | SOME values =>
+ if SS.member (values, value) then
+ user :: users
+ else
+ users) [] (!acl)
+
fun class {user, class} =
case SM.find (!acl, user) of
NONE => SS.empty
fun class {user, class} =
case SM.find (!acl, user) of
NONE => SS.empty