HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Listing permissions
[hcoop/domtool2.git]
/
src
/
acl.sml
diff --git
a/src/acl.sml
b/src/acl.sml
index
d0b41fe
..
0adfb4b
100644
(file)
--- a/
src/acl.sml
+++ b/
src/acl.sml
@@
-37,6
+37,13
@@
fun query {user, class, value} =
NONE => false
| SOME values => SS.member (values, value)
NONE => false
| SOME values => SS.member (values, value)
+fun queryAll user =
+ case SM.find (!acl, user) of
+ NONE => []
+ | SOME classes => SM.foldri (fn (class, values, out) =>
+ (class, SS.foldr (op::) [] values) :: out)
+ [] classes
+
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