servant-matrix-param-0.2: test/Servant/MatrixParam/AesonSpecsSpec.hs

{-# 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)