29 lines
804 B
Haskell
29 lines
804 B
Haskell
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
|
||
|
|
module TodoSpec where
|
||
|
|
|
||
|
|
import Prelude ()
|
||
|
|
import Prelude.Compat
|
||
|
|
|
||
|
|
import Data.Aeson
|
||
|
|
import qualified Data.ByteString.Lazy.Char8 as BL8
|
||
|
|
import Paths_example
|
||
|
|
import Servant.Swagger.Test
|
||
|
|
import Test.Hspec
|
||
|
|
import Test.QuickCheck
|
||
|
|
import Test.QuickCheck.Instances ()
|
||
|
|
import Todo
|
||
|
|
|
||
|
|
spec :: Spec
|
||
|
|
spec = describe "Swagger" $ do
|
||
|
|
context "ToJSON matches ToSchema" $ validateEveryToJSON todoAPI
|
||
|
|
it "swagger.json is up-to-date" $ do
|
||
|
|
path <- getDataFileName "swagger.json"
|
||
|
|
swag <- eitherDecode <$> BL8.readFile path
|
||
|
|
swag `shouldBe` Right todoSwagger
|
||
|
|
|
||
|
|
instance Arbitrary Todo where
|
||
|
|
arbitrary = Todo <$> arbitrary <*> arbitrary
|
||
|
|
|
||
|
|
instance Arbitrary TodoId where
|
||
|
|
arbitrary = TodoId <$> arbitrary
|