{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Hercules.API.Orphans where
import Data.Proxy
import Data.Swagger
import Servant.API
instance forall a hs. ToSchema a => ToSchema (Headers hs a) where
declareNamedSchema :: Proxy (Headers hs a) -> Declare (Definitions Schema) NamedSchema
declareNamedSchema Proxy (Headers hs a)
_ = Proxy a -> Declare (Definitions Schema) NamedSchema
forall a.
ToSchema a =>
Proxy a -> Declare (Definitions Schema) NamedSchema
declareNamedSchema (forall {t}. Proxy t
forall {k} (t :: k). Proxy t
Proxy @a)