Add IsIn instance for NamedRoutes in servant-swagger

haskell-servant · Sep 15, 2023 · 1ec6ab7 · 1ec6ab7
1 parent 18ad2a1
commit 1ec6ab7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/servant-swagger/src/Servant/Swagger/Internal/TypeLevel/API.hs b/servant-swagger/src/Servant/Swagger/Internal/TypeLevel/API.hs
@@ -43,6 +43,7 @@ type family IsIn sub api :: Constraint where
   IsIn e (a :<|> b) = Or (IsIn e a) (IsIn e b)
   IsIn (e :> a) (e :> b) = IsIn a b
   IsIn e e = ()
+  IsIn e (NamedRoutes record) = IsIn e (ToServantApi record)
 
 -- | Check whether a type is a member of a list of types.
 -- This is a type-level analogue of @'elem'@.