servant-quickcheck 0.0.7.4 → 0.0.8.0
raw patch · 3 files changed
+25/−17 lines, 3 filesdep ~servantdep ~servant-clientdep ~servant-serverPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: servant, servant-client, servant-server
API changes (from Hackage documentation)
+ Servant.QuickCheck.Internal.HasGenRequest: instance forall k (method :: k). Servant.API.Verbs.ReflectMethod method => Servant.QuickCheck.Internal.HasGenRequest.HasGenRequest (Servant.API.Verbs.NoContentVerb method)
Files
- CHANGELOG.yaml +5/−0
- servant-quickcheck.cabal +11/−11
- src/Servant/QuickCheck/Internal/HasGenRequest.hs +9/−6
CHANGELOG.yaml view
@@ -1,4 +1,9 @@ releases:+ - version: "0.0.8.0"+ changes:+ - description: Support for servant-0.17+ authors: phadej+ date: 2019-01-23 - version: "0.0.7.3" changes:
servant-quickcheck.cabal view
@@ -1,5 +1,5 @@ name: servant-quickcheck-version: 0.0.7.4+version: 0.0.8.0 synopsis: QuickCheck entire APIs description: This packages provides QuickCheck properties that are tested across an entire@@ -13,7 +13,7 @@ build-type: Simple cabal-version: >=1.10 extra-source-files: CHANGELOG.yaml-tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.4+tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || == 8.8.1 source-repository head type: git@@ -35,11 +35,11 @@ build-depends: aeson >=0.8 && <2- , base >=4.9 && <4.13- , base-compat-batteries >=0.10.1 && <0.11+ , base >=4.9 && <4.14+ , base-compat-batteries >=0.10.1 && <0.12 , bytestring >=0.10 && <0.11 , case-insensitive >=1.2 && <1.3- , clock >=0.7 && <0.8+ , clock >=0.7 && <0.9 , data-default-class >=0.0 && <0.2 , hspec >=2.5.6 && <2.8 , http-client >=0.4.30 && <0.7@@ -49,18 +49,18 @@ , pretty >=1.1 && <1.2 , process >=1.2 && <1.7 , QuickCheck >=2.7 && <2.14- , servant >=0.16 && <0.17- , servant-client >=0.16 && <0.17- , servant-server >=0.16 && <0.17+ , servant >=0.17 && <0.18+ , servant-client >=0.17 && <0.18+ , servant-server >=0.17 && <0.18 , split >=0.2 && <0.3 , string-conversions >=0.3 && <0.5 , temporary >=1.2 && <1.4 , text >=1 && <2- , time >=1.5 && <1.9- , warp >=3.2.4 && <3.3+ , time >=1.5 && <1.10+ , warp >=3.2.4 && <3.4 if !impl(ghc >=8.0)- build-depends: semigroups >=0.18.3 && <0.19+ build-depends: semigroups >=0.18.3 && <0.20 hs-source-dirs: src default-extensions:
src/Servant/QuickCheck/Internal/HasGenRequest.hs view
@@ -63,18 +63,14 @@ (oldf, old) = genRequest (Proxy :: Proxy b) new = cs $ symbolVal (Proxy :: Proxy path) -#if MIN_VERSION_servant(0,11,0) instance HasGenRequest EmptyAPI where genRequest _ = (0, error "EmptyAPIs cannot be queried.")-#endif -#if MIN_VERSION_servant(0,12,0) instance HasGenRequest api => HasGenRequest (Summary d :> api) where genRequest _ = genRequest (Proxy :: Proxy api) instance HasGenRequest api => HasGenRequest (Description d :> api) where genRequest _ = genRequest (Proxy :: Proxy api)-#endif instance (Arbitrary c, HasGenRequest b, ToHttpApiData c ) => HasGenRequest (Capture' mods x c :> b) where@@ -86,7 +82,6 @@ (oldf, old) = genRequest (Proxy :: Proxy b) new = arbitrary :: Gen c -#if MIN_VERSION_servant(0,8,0) instance (Arbitrary c, HasGenRequest b, ToHttpApiData c ) => HasGenRequest (CaptureAll x c :> b) where genRequest _ = (oldf, do@@ -97,7 +92,6 @@ where (oldf, old) = genRequest (Proxy :: Proxy b) new = arbitrary :: Gen [c]-#endif instance (Arbitrary c, KnownSymbol h, HasGenRequest b, ToHttpApiData c) => HasGenRequest (Header' mods h c :> b) where@@ -167,6 +161,15 @@ instance (ReflectMethod method) => HasGenRequest (Verb (method :: k) (status :: Nat) (cts :: [*]) a) where+ genRequest _ = (1, return $ \burl -> defaultRequest+ { host = cs $ baseUrlHost burl+ , port = baseUrlPort burl+ , secure = baseUrlScheme burl == Https+ , method = reflectMethod (Proxy :: Proxy method)+ })++instance (ReflectMethod method)+ => HasGenRequest (NoContentVerb (method :: k)) where genRequest _ = (1, return $ \burl -> defaultRequest { host = cs $ baseUrlHost burl , port = baseUrlPort burl