X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/411a85f26421358c20b11839310cce6caff8cf77..08a04eb413e8ee58ee35affc5c4125b622ea75c4:/src/acl.sml?ds=sidebyside

diff --git a/src/acl.sml b/src/acl.sml
index d0b41fe..0adfb4b 100644
--- 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)
 
+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