{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Servant.OpenApi.Internal.Orphans where
import Data.OpenApi
import Data.Proxy (Proxy (..))
import Servant.Types.SourceT (SourceT)
instance ToSchema a => ToSchema (SourceT m a) where
declareNamedSchema :: Proxy (SourceT m a) -> Declare (Definitions Schema) NamedSchema
declareNamedSchema Proxy (SourceT m a)
_ = Proxy [a] -> Declare (Definitions Schema) NamedSchema
forall a.
ToSchema a =>
Proxy a -> Declare (Definitions Schema) NamedSchema
declareNamedSchema (Proxy [a]
forall k (t :: k). Proxy t
Proxy :: Proxy [a])