swagger-petstore-0.0.1.2: tests/Test.hs

{-# 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 10) $
  do describe "JSON instances" $
       do 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 Category)
          propMimeEq MimeJSON (Proxy :: Proxy ClassModel)
          propMimeEq MimeJSON (Proxy :: Proxy Client)
          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 OuterBoolean)
          propMimeEq MimeJSON (Proxy :: Proxy OuterComposite)
          propMimeEq MimeJSON (Proxy :: Proxy OuterEnum)
          propMimeEq MimeJSON (Proxy :: Proxy OuterNumber)
          propMimeEq MimeJSON (Proxy :: Proxy OuterString)
          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)
          propMimeEq MimeJSON (Proxy :: Proxy Cat)
          propMimeEq MimeJSON (Proxy :: Proxy Dog)