@@ -55,8 +55,8 @@ forbid = id
5555(!) :: proxy xs -> proxy ys -> Proxy (xs ++ ys)
5656(!) _ _ = Proxy
5757
58−-- | Determine if _any_ of the scopes a request requires is a subset
59−-- of the scopes the credentials supports.
58+-- | Determine if _any_ of the scopes a request requires is
59+-- listed in the scopes the credentials supports.
6060--
6161-- For error message/presentation purposes, this wraps the result of
6262-- the membership checks below.
@@ -67,10 +67,12 @@ type family MatchAnyScope a s where
6767 MatchAnyScope '[] s = 'True
6868 MatchAnyScope a (x ': xs) = x ∈ a || MatchAnyScope a xs
6969
70+-- | Set membership.
7071type family (∈) a b where
7172 (∈) x '[] = 'False
7273 (∈) x (y ': xs) = x == y || x ∈ xs
7374
75+-- | Append.
7476type family (++) xs ys where
7577 (++) a '[] = a
7678 (++) '[] b = b