mirror of
https://github.com/OpenAPITools/openapi-generator.git
synced 2025-05-12 20:50:55 +00:00
57 lines
2.2 KiB
Haskell
57 lines
2.2 KiB
Haskell
{-# LANGUAGE ScopedTypeVariables #-}
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
{-# LANGUAGE RecordWildCards #-}
|
|
{-# LANGUAGE PartialTypeSignatures #-}
|
|
|
|
module Main where
|
|
|
|
import Data.Typeable (Proxy(..))
|
|
import Test.Hspec
|
|
import Test.Hspec.QuickCheck
|
|
|
|
import PropMime
|
|
import Instances ()
|
|
|
|
import SwaggerPetstore.Model
|
|
import SwaggerPetstore.MimeTypes
|
|
|
|
main :: IO ()
|
|
main =
|
|
hspec $ modifyMaxSize (const 5) $ do
|
|
describe "JSON instances" $ do
|
|
pure ()
|
|
propMimeEq MimeJSON (Proxy :: Proxy AdditionalPropertiesClass)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Animal)
|
|
propMimeEq MimeJSON (Proxy :: Proxy AnimalFarm)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ApiResponse)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ArrayOfArrayOfNumberOnly)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ArrayOfNumberOnly)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ArrayTest)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Capitalization)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Cat)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Category)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ClassModel)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Client)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Dog)
|
|
propMimeEq MimeJSON (Proxy :: Proxy EnumArrays)
|
|
propMimeEq MimeJSON (Proxy :: Proxy EnumClass)
|
|
propMimeEq MimeJSON (Proxy :: Proxy EnumTest)
|
|
propMimeEq MimeJSON (Proxy :: Proxy FormatTest)
|
|
propMimeEq MimeJSON (Proxy :: Proxy HasOnlyReadOnly)
|
|
propMimeEq MimeJSON (Proxy :: Proxy MapTest)
|
|
propMimeEq MimeJSON (Proxy :: Proxy MixedPropertiesAndAdditionalPropertiesClass)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Model200Response)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ModelList)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ModelReturn)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Name)
|
|
propMimeEq MimeJSON (Proxy :: Proxy NumberOnly)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Order)
|
|
propMimeEq MimeJSON (Proxy :: Proxy OuterComposite)
|
|
propMimeEq MimeJSON (Proxy :: Proxy OuterEnum)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Pet)
|
|
propMimeEq MimeJSON (Proxy :: Proxy ReadOnlyFirst)
|
|
propMimeEq MimeJSON (Proxy :: Proxy SpecialModelName)
|
|
propMimeEq MimeJSON (Proxy :: Proxy Tag)
|
|
propMimeEq MimeJSON (Proxy :: Proxy User)
|
|
|