@@ -39,22 +39,17 @@ where
3939import Control.Lens
4040import qualified Data.Aeson.Types as A
4141import Data.OpenApi
42+import Data.OpenApi.Internal.ParamSchema
4243import Data.OpenApi.Internal.Schema
4344import Data.Proxy
45+import Data.Text (Text)
46+import qualified Data.Text as T
4447import Data.Typeable
4548import Deriving.Aeson
4649import GHC.Generics
4750import GHC.TypeLits
4851
49−-- $setup
50−-- >>> import qualified Data.Yaml
51−-- >>> import qualified Data.ByteString.Char8
52−
53−#ifdef SERVANT_DESCRIPTION
54−
55−import Servant.API
56−import Data.Text (Text)
57−import qualified Data.Text as T
52+data Description (desc :: Symbol) = Description
5853
5954instance (AesonOptions xs) => AesonOptions (Description f ': xs) where
6055 aesonOptions = aesonOptions @xs
@@ -65,7 +60,9 @@ instance KnownSymbol t => OpenApiOptionModifier (Description t) where
6560toTextLine :: forall s. KnownSymbol s => Text
6661toTextLine = "\n\n" <> T.pack (symbolVal (Proxy @s))
6762
68−#endif
63+-- $setup
64+-- >>> import qualified Data.Yaml
65+-- >>> import qualified Data.ByteString.Char8
6966
7067type CustomOpenApi = CustomJSON
7168
@@ -77,6 +74,13 @@ instance
7774 openApiSchemaModifier @xs
7875 <$> genericDeclareNamedSchema (openApiOptionsModifier @xs defaultSchemaOptions) (Proxy @x)
7976
77+instance
78+ (OpenApiOptionModifier xs, GToParamSchema (Rep x), Generic x) =>
79+ ToParamSchema (CustomJSON (xs :: k) x)
80+ where
81+ toParamSchema Proxy =
82+ genericToParamSchema (openApiOptionsModifier @xs defaultSchemaOptions) (Proxy @x)
83+
8084class OpenApiOptionModifier x where
8185 openApiOptionsModifier :: SchemaOptions -> SchemaOptions
8286 openApiOptionsModifier = id