From dc0dc2225aa1f70e1afbc17dbee8ca7e72ca1500 Mon Sep 17 00:00:00 2001
From: aveltras <romain.viallard@outlook.fr>
Date: Thu, 10 Mar 2022 16:50:25 +0100
Subject: [PATCH 1/2] Add support for NamedRoutes

---
 src/Servant/OpenApi/Internal.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/Servant/OpenApi/Internal.hs b/src/Servant/OpenApi/Internal.hs
index 19f1d10c..8c00ec6e 100644
--- a/src/Servant/OpenApi/Internal.hs
+++ b/src/Servant/OpenApi/Internal.hs
@@ -38,6 +38,9 @@ import           Network.HTTP.Media         (MediaType)
 import           Servant.API
 import           Servant.API.Description    (FoldDescription, reflectDescription)
 import           Servant.API.Modifiers      (FoldRequired)
+#if MIN_VERSION_servant(0,19,0)
+import           Servant.API.Generic        (ToServantApi)
+#endif
 
 import           Servant.OpenApi.Internal.TypeLevel.API
 
@@ -416,6 +419,11 @@ instance (HasOpenApi sub) => HasOpenApi (Fragment a :> sub) where
   toOpenApi _ = toOpenApi (Proxy :: Proxy sub)
 #endif
 
+#if MIN_VERSION_servant(0,19,0)
+instance (HasOpenApi (ToServantApi sub)) => HasOpenApi (NamedRoutes sub) where
+  toOpenApi _ = toOpenApi (Proxy :: Proxy (ToServantApi sub))
+#endif
+
 -- =======================================================================
 -- Below are the definitions that should be in Servant.API.ContentTypes
 -- =======================================================================

From cb78c0890589854417eabc02dd538e944a53fd71 Mon Sep 17 00:00:00 2001
From: Giorgio Marinelli <giorgio@marinel.li>
Date: Fri, 11 Mar 2022 11:26:00 +0100
Subject: [PATCH 2/2] Add NamedRoutes support

---
 src/Servant/OpenApi/Internal/TypeLevel/API.hs | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/src/Servant/OpenApi/Internal/TypeLevel/API.hs b/src/Servant/OpenApi/Internal/TypeLevel/API.hs
index 8a72a19f..41feeba5 100644
--- a/src/Servant/OpenApi/Internal/TypeLevel/API.hs
+++ b/src/Servant/OpenApi/Internal/TypeLevel/API.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP                  #-}
 {-# LANGUAGE ConstraintKinds      #-}
 {-# LANGUAGE DataKinds            #-}
 {-# LANGUAGE KindSignatures       #-}
@@ -7,14 +8,19 @@
 {-# LANGUAGE UndecidableInstances #-}
 module Servant.OpenApi.Internal.TypeLevel.API where
 
-import           Data.Type.Bool (If)
-import           GHC.Exts       (Constraint)
+import           GHC.Exts            (Constraint)
 import           Servant.API
+#if MIN_VERSION_servant(0,19,0)
+import           Servant.API.Generic (ToServantApi)
+#endif
 
 -- | Build a list of endpoints from an API.
 type family EndpointsList api where
   EndpointsList (a :<|> b) = AppendList (EndpointsList a) (EndpointsList b)
   EndpointsList (e :> a)   = MapSub e (EndpointsList a)
+#if MIN_VERSION_servant(0,19,0)
+  EndpointsList (NamedRoutes api) = EndpointsList (ToServantApi api)
+#endif
   EndpointsList a = '[a]
 
 -- | Check whether @sub@ is a sub API of @api@.
@@ -43,6 +49,9 @@ type family Or (a :: Constraint) (b :: Constraint) :: Constraint where
 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
+#if MIN_VERSION_servant(0,19,0)
+  IsIn e (NamedRoutes api) = IsIn e (ToServantApi api)
+#endif
   IsIn e e = ()
 
 -- | Check whether a type is a member of a list of types.
@@ -83,5 +92,7 @@ type family BodyTypes' c api :: [*] where
   BodyTypes' c (ReqBody' mods cs a :> api) = AddBodyType c cs a (BodyTypes' c api)
   BodyTypes' c (e :> api) = BodyTypes' c api
   BodyTypes' c (a :<|> b) = AppendList (BodyTypes' c a) (BodyTypes' c b)
+#if MIN_VERSION_servant(0,19,0)
+  BodyTypes' c (NamedRoutes api) = BodyTypes' c (ToServantApi api)
+#endif
   BodyTypes' c api = '[]
-