{-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} module Servant.MatrixParam.AesonSpecsSpec where import Data.Typeable import Servant.API import Servant.Aeson.GenericSpecs import Test.Hspec import Servant.MatrixParam import Servant.MatrixParam.AesonSpecs () spec :: Spec spec = do it "has an instance for HasGenericSpecs" $ do usedTypes matrixParamApi `shouldBe` [boolRep] matrixParamApi :: Proxy (WithMatrixParams "path" '[MatrixParam "foo" String] :> Get '[JSON] Bool) matrixParamApi = Proxy boolRep :: TypeRep boolRep = typeRep (Proxy :: Proxy Bool)