packages feed

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 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