From a6de4ba1235943c1991d90105e8cdc28e01489d1 Mon Sep 17 00:00:00 2001 From: Nickolay Kudasov Date: Wed, 20 Jan 2016 17:56:52 +0300 Subject: [PATCH] Remove IsIn from servant-docs --- servant-docs/src/Servant/Docs/Internal.hs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/servant-docs/src/Servant/Docs/Internal.hs b/servant-docs/src/Servant/Docs/Internal.hs index 70530455..076ced71 100644 --- a/servant-docs/src/Servant/Docs/Internal.hs +++ b/servant-docs/src/Servant/Docs/Internal.hs @@ -42,6 +42,7 @@ import GHC.Generics import GHC.TypeLits import Servant.API import Servant.API.ContentTypes +import Servant.API.TypeLevel import Servant.Utils.Links import qualified Data.HashMap.Strict as HM @@ -306,15 +307,6 @@ docs p = docsWithOptions p defaultDocOptions docsWithOptions :: HasDocs api => Proxy api -> DocOptions -> API docsWithOptions p = docsFor p (defEndpoint, defAction) --- | Closed type family, check if endpoint is exactly within API. - --- We aren't sure what affects how an Endpoint is built up, so we require an --- exact match. -type family IsIn (endpoint :: *) (api :: *) :: Constraint where - IsIn e (sa :<|> sb) = Or (IsIn e sa) (IsIn e sb) - IsIn (e :> sa) (e :> sb) = IsIn sa sb - IsIn e e = () - -- | Create an 'ExtraInfo' that is guaranteed to be within the given API layout. -- -- The safety here is to ensure that you only add custom documentation to an