git.iko.soy/servant-quickcheck
on master help sign in
7 files changed+118−69
since splitsnapshots
unifiedsplit
.travis.yml+63−50 CHANGELOG.yaml+15 cabal.haskell-ci+7 cabal.project+4 servant-quickcheck.cabal+13−13 src/Servant/QuickCheck/Internal/HasGenRequest.hs+9−6 src/Servant/QuickCheck/Internal/QuickCheck.hs+7
.travis.yml+63−50
@@ -1,12 +1,18 @@
11# This Travis job script has been generated by a script via
22#
3−# haskell-ci '--branches' 'master' '-o' '.travis.yml' 'servant-quickcheck.cabal'
3+# haskell-ci '--config=cabal.haskell-ci' 'servant-quickcheck.cabal'
4+#
5+# To regenerate the script (for example after adjusting tested-with) run
6+#
7+# haskell-ci regenerate
48#
59# For more information, see https://github.com/haskell-CI/haskell-ci
610#
7−# version: 0.3.20190413
11+# version: 0.10.1
812#
13+version: ~> 1.0
914language: c
15+os: linux
1016dist: xenial
1117git:
1218 # whether to recursively clone submodules
@@ -18,6 +24,7 @@ cache:
1824 directories:
1925 - $HOME/.cabal/packages
2026 - $HOME/.cabal/store
27+ - $HOME/.hlint
2128before_cache:
2229 - rm -fv $CABALHOME/packages/hackage.haskell.org/build-reports.log
2330 # remove files that are regenerated by 'cabal update'
@@ -27,67 +34,63 @@ before_cache:
2734 - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar
2835 - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar.idx
2936 - rm -rfv $CABALHOME/packages/head.hackage
30−matrix:
37+jobs:
3138 include:
32− - compiler: ghc-8.6.4
33− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.6.4","cabal-install-2.4"]}}
39+ - compiler: ghc-8.8.3
40+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.8.3","cabal-install-3.2"]}}
41+ os: linux
42+ - compiler: ghc-8.6.5
43+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.6.5","cabal-install-3.2"]}}
44+ os: linux
3445 - compiler: ghc-8.4.4
35− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.4.4","cabal-install-2.4"]}}
46+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.4.4","cabal-install-3.2"]}}
47+ os: linux
3648 - compiler: ghc-8.2.2
37− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.2.2","cabal-install-2.4"]}}
49+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.2.2","cabal-install-3.2"]}}
50+ os: linux
3851 - compiler: ghc-8.0.2
39− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.0.2","cabal-install-2.4"]}}
52+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.0.2","cabal-install-3.2"]}}
53+ os: linux
4054before_install:
4155 - HC=$(echo "/opt/$CC/bin/ghc" | sed 's/-/\//')
56+ - WITHCOMPILER="-w $HC"
57+ - HADDOCK=$(echo "/opt/$CC/bin/haddock" | sed 's/-/\//')
4258 - HCPKG="$HC-pkg"
4359 - unset CC
4460 - CABAL=/opt/ghc/bin/cabal
4561 - CABALHOME=$HOME/.cabal
4662 - export PATH="$CABALHOME/bin:$PATH"
4763 - TOP=$(pwd)
48− - HCNUMVER=$(( $(${HC} --numeric-version|sed -E 's/([0-9]+)\.([0-9]+)\.([0-9]+).*/\1 * 10000 + \2 * 100 + \3/') ))
64+ - "HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\\d+)\\.(\\d+)\\.(\\d+)(\\.(\\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')"
4965 - echo $HCNUMVER
50− - CABAL="$CABAL -vnormal+nowrap+markoutput"
66+ - CABAL="$CABAL -vnormal+nowrap"
5167 - set -o pipefail
52− - |
53− echo 'function blue(s) { printf "\033[0;34m" s "\033[0m " }' >> .colorful.awk
54− echo 'BEGIN { state = "output"; }' >> .colorful.awk
55− echo '/^-----BEGIN CABAL OUTPUT-----$/ { state = "cabal" }' >> .colorful.awk
56− echo '/^-----END CABAL OUTPUT-----$/ { state = "output" }' >> .colorful.awk
57− echo '!/^(-----BEGIN CABAL OUTPUT-----|-----END CABAL OUTPUT-----)/ {' >> .colorful.awk
58− echo ' if (state == "cabal") {' >> .colorful.awk
59− echo ' print blue($0)' >> .colorful.awk
60− echo ' } else {' >> .colorful.awk
61− echo ' print $0' >> .colorful.awk
62− echo ' }' >> .colorful.awk
63− echo '}' >> .colorful.awk
64− - cat .colorful.awk
65− - |
66− color_cabal_output () {
67− awk -f $TOP/.colorful.awk
68− }
69− - echo text | color_cabal_output
70−install:
71− - ${CABAL} --version
72− - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"
7368 - TEST=--enable-tests
7469 - BENCH=--enable-benchmarks
75− - GHCHEAD=${GHCHEAD-false}
70+ - HEADHACKAGE=false
7671 - rm -f $CABALHOME/config
7772 - |
7873 echo "verbose: normal +nowrap +markoutput" >> $CABALHOME/config
7974 echo "remote-build-reporting: anonymous" >> $CABALHOME/config
75+ echo "write-ghc-environment-files: always" >> $CABALHOME/config
8076 echo "remote-repo-cache: $CABALHOME/packages" >> $CABALHOME/config
8177 echo "logs-dir: $CABALHOME/logs" >> $CABALHOME/config
8278 echo "world-file: $CABALHOME/world" >> $CABALHOME/config
8379 echo "extra-prog-path: $CABALHOME/bin" >> $CABALHOME/config
8480 echo "symlink-bindir: $CABALHOME/bin" >> $CABALHOME/config
81+ echo "installdir: $CABALHOME/bin" >> $CABALHOME/config
8582 echo "build-summary: $CABALHOME/logs/build.log" >> $CABALHOME/config
8683 echo "store-dir: $CABALHOME/store" >> $CABALHOME/config
8784 echo "install-dirs user" >> $CABALHOME/config
8885 echo " prefix: $CABALHOME" >> $CABALHOME/config
8986 echo "repository hackage.haskell.org" >> $CABALHOME/config
9087 echo " url: http://hackage.haskell.org/" >> $CABALHOME/config
88+install:
89+ - ${CABAL} --version
90+ - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"
91+ - |
92+ echo "program-default-options" >> $CABALHOME/config
93+ echo " ghc-options: $GHCJOBS +RTS -M6G -RTS" >> $CABALHOME/config
9194 - cat $CABALHOME/config
9295 - rm -fv cabal.project cabal.project.local cabal.project.freeze
9396 - travis_retry ${CABAL} v2-update -v
@@ -95,51 +98,61 @@ install:
9598 - rm -rf cabal.project cabal.project.local cabal.project.freeze
9699 - touch cabal.project
97100 - |
98− echo 'packages: "."' >> cabal.project
101+ echo "packages: ." >> cabal.project
102+ - if [ $HCNUMVER -ge 80200 ] ; then echo 'package servant-quickcheck' >> cabal.project ; fi
103+ - "if [ $HCNUMVER -ge 80200 ] ; then echo ' ghc-options: -Werror=missing-methods' >> cabal.project ; fi"
99104 - |
100− echo "write-ghc-environment-files: always" >> cabal.project
101− - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | grep -vE -- '^(servant-quickcheck)$' | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
105+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(servant-quickcheck)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
102106 - cat cabal.project || true
103107 - cat cabal.project.local || true
104108 - if [ -f "./configure.ac" ]; then (cd "." && autoreconf -i); fi
105− - ${CABAL} v2-freeze -w ${HC} ${TEST} ${BENCH} | color_cabal_output
109+ - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH}
106110 - "cat cabal.project.freeze | sed -E 's/^(constraints: *| *)//' | sed 's/any.//'"
107111 - rm cabal.project.freeze
108− - ${CABAL} v2-build -w ${HC} ${TEST} ${BENCH} --dep -j2 all | color_cabal_output
109− - ${CABAL} v2-build -w ${HC} --disable-tests --disable-benchmarks --dep -j2 all | color_cabal_output
112+ - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all
113+ - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all
110114script:
111115 - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)
112116 # Packaging...
113− - ${CABAL} v2-sdist all | color_cabal_output
117+ - ${CABAL} v2-sdist all
114118 # Unpacking...
115119 - mv dist-newstyle/sdist/*.tar.gz ${DISTDIR}/
116120 - cd ${DISTDIR} || false
117− - find . -maxdepth 1 -name '*.tar.gz' -exec tar -xvf '{}' \;
121+ - find . -maxdepth 1 -type f -name '*.tar.gz' -exec tar -xvf '{}' \;
122+ - find . -maxdepth 1 -type f -name '*.tar.gz' -exec rm '{}' \;
123+ - PKGDIR_servant_quickcheck="$(find . -maxdepth 1 -type d -regex '.*/servant-quickcheck-[0-9.]*')"
118124 # Generate cabal.project
119125 - rm -rf cabal.project cabal.project.local cabal.project.freeze
120126 - touch cabal.project
121127 - |
122− echo 'packages: "servant-quickcheck-*/*.cabal"' >> cabal.project
128+ echo "packages: ${PKGDIR_servant_quickcheck}" >> cabal.project
129+ - if [ $HCNUMVER -ge 80200 ] ; then echo 'package servant-quickcheck' >> cabal.project ; fi
130+ - "if [ $HCNUMVER -ge 80200 ] ; then echo ' ghc-options: -Werror=missing-methods' >> cabal.project ; fi"
123131 - |
124− echo "write-ghc-environment-files: always" >> cabal.project
125− - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | grep -vE -- '^(servant-quickcheck)$' | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
132+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(servant-quickcheck)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"
126133 - cat cabal.project || true
127134 - cat cabal.project.local || true
128135 # Building...
129136 # this builds all libraries and executables (without tests/benchmarks)
130− - ${CABAL} v2-build -w ${HC} --disable-tests --disable-benchmarks all | color_cabal_output
137+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all
131138 # Building with tests and benchmarks...
132139 # build & run tests, build benchmarks
133− - ${CABAL} v2-build -w ${HC} ${TEST} ${BENCH} all | color_cabal_output
140+ - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all
134141 # Testing...
135− - ${CABAL} v2-test -w ${HC} ${TEST} ${BENCH} all | color_cabal_output
142+ - ${CABAL} v2-test $WITHCOMPILER ${TEST} ${BENCH} all
136143 # cabal check...
137− - (cd servant-quickcheck-* && ${CABAL} -vnormal check)
144+ - (cd ${PKGDIR_servant_quickcheck} && ${CABAL} -vnormal check)
138145 # haddock...
139− - ${CABAL} v2-haddock -w ${HC} ${TEST} ${BENCH} all | color_cabal_output
146+ - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all
140147 # Building without installed constraints for packages in global-db...
141148 - rm -f cabal.project.local
142− - ${CABAL} v2-build -w ${HC} --disable-tests --disable-benchmarks all | color_cabal_output
149+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all
150+ # Constraint sets
151+ - rm -rf cabal.project.local
152+ # Constraint set base-compat-0.10
153+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='base-compat ==0.10.*' all
154+ # Constraint set base-compat-0.11
155+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='base-compat ==0.11.*' all
143156
144−# REGENDATA ["--branches","master","-o",".travis.yml","servant-quickcheck.cabal"]
157+# REGENDATA ("0.10.1",["--config=cabal.haskell-ci","servant-quickcheck.cabal"])
145158# EOF
CHANGELOG.yaml+15
@@ -1,4 +1,19 @@
11releases:
2+ - version: "0.0.9.0"
3+ changes:
4+ - description: "Support servant-0.15 (#65)"
5+ authors: fizruk
6+ date: 2020-06-25
7+
8+ - description: "Relax constraints for GHC 8.10 (#70)"
9+ authors: felixmulder
10+ date: 2020-06-20
11+
12+ - version: "0.0.8.0"
13+ changes:
14+ - description: Support for servant-0.17
15+ authors: phadej
16+ date: 2019-01-23
217
318 - version: "0.0.7.3"
419 changes:
cabal.haskell-cinew file+7
@@ -0,0 +1,7 @@
1+branches: master
2+
3+constraint-set base-compat-0.10
4+ constraints: base-compat ==0.10.*
5+
6+constraint-set base-compat-0.11
7+ constraints: base-compat ==0.11.*
cabal.projectnew file+4
@@ -0,0 +1,4 @@
1+packages: .
2+tests: true
3+
4+allow-newer: servant-blaze:servant
servant-quickcheck.cabal+13−13
@@ -1,5 +1,5 @@
11name: servant-quickcheck
2−version: 0.0.7.4
2+version: 0.0.9.1
33synopsis: QuickCheck entire APIs
44description:
55 This packages provides QuickCheck properties that are tested across an entire
@@ -13,7 +13,7 @@ category: Web
1313build-type: Simple
1414cabal-version: >=1.10
1515extra-source-files: CHANGELOG.yaml
16−tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.4
16+tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || == 8.8.3
1717
1818source-repository head
1919 type: git
@@ -35,32 +35,32 @@ library
3535
3636 build-depends:
3737 aeson >=0.8 && <2
38− , base >=4.9 && <4.13
39− , base-compat-batteries >=0.10.1 && <0.11
38+ , base >=4.9 && <4.15
39+ , base-compat-batteries >=0.10.1 && <0.12
4040 , bytestring >=0.10 && <0.11
4141 , case-insensitive >=1.2 && <1.3
42− , clock >=0.7 && <0.8
42+ , clock >=0.7 && <0.9
4343 , data-default-class >=0.0 && <0.2
4444 , hspec >=2.5.6 && <2.8
45− , http-client >=0.4.30 && <0.7
45+ , http-client >=0.4.30 && <0.8
4646 , http-media >=0.6 && <0.9
4747 , http-types >=0.8 && <0.13
4848 , mtl >=2.1 && <2.3
4949 , pretty >=1.1 && <1.2
5050 , process >=1.2 && <1.7
51− , QuickCheck >=2.7 && <2.14
52− , servant >=0.15 && <0.17
53− , servant-client >=0.15 && <0.17
54− , servant-server >=0.15 && <0.17
51+ , QuickCheck >=2.7 && <2.15
52+ , servant >=0.17 && <0.19
53+ , servant-client >=0.17 && <0.19
54+ , servant-server >=0.17 && <0.19
5555 , split >=0.2 && <0.3
5656 , string-conversions >=0.3 && <0.5
5757 , temporary >=1.2 && <1.4
5858 , text >=1 && <2
59− , time >=1.5 && <1.9
60− , warp >=3.2.4 && <3.3
59+ , time >=1.5 && <1.11
60+ , warp >=3.2.4 && <3.4
6161
6262 if !impl(ghc >=8.0)
63− build-depends: semigroups >=0.18.3 && <0.19
63+ build-depends: semigroups >=0.18.3 && <0.20
6464
6565 hs-source-dirs: src
6666 default-extensions:
src/Servant/QuickCheck/Internal/HasGenRequest.hs+9−6
@@ -63,18 +63,14 @@ instance (KnownSymbol path, HasGenRequest b) => HasGenRequest (path :> b) where
6363 (oldf, old) = genRequest (Proxy :: Proxy b)
6464 new = cs $ symbolVal (Proxy :: Proxy path)
6565
66−#if MIN_VERSION_servant(0,11,0)
6766instance HasGenRequest EmptyAPI where
6867 genRequest _ = (0, error "EmptyAPIs cannot be queried.")
69−#endif
7068
71−#if MIN_VERSION_servant(0,12,0)
7269instance HasGenRequest api => HasGenRequest (Summary d :> api) where
7370 genRequest _ = genRequest (Proxy :: Proxy api)
7471
7572instance HasGenRequest api => HasGenRequest (Description d :> api) where
7673 genRequest _ = genRequest (Proxy :: Proxy api)
77−#endif
7874
7975instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
8076 => HasGenRequest (Capture' mods x c :> b) where
@@ -86,7 +82,6 @@ instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
8682 (oldf, old) = genRequest (Proxy :: Proxy b)
8783 new = arbitrary :: Gen c
8884
89−#if MIN_VERSION_servant(0,8,0)
9085instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
9186 => HasGenRequest (CaptureAll x c :> b) where
9287 genRequest _ = (oldf, do
@@ -97,7 +92,6 @@ instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
9792 where
9893 (oldf, old) = genRequest (Proxy :: Proxy b)
9994 new = arbitrary :: Gen [c]
100−#endif
10195
10296instance (Arbitrary c, KnownSymbol h, HasGenRequest b, ToHttpApiData c)
10397 => HasGenRequest (Header' mods h c :> b) where
@@ -174,6 +168,15 @@ instance (ReflectMethod method)
174168 , method = reflectMethod (Proxy :: Proxy method)
175169 })
176170
171+instance (ReflectMethod method)
172+ => HasGenRequest (NoContentVerb (method :: k)) where
173+ genRequest _ = (1, return $ \burl -> defaultRequest
174+ { host = cs $ baseUrlHost burl
175+ , port = baseUrlPort burl
176+ , secure = baseUrlScheme burl == Https
177+ , method = reflectMethod (Proxy :: Proxy method)
178+ })
179+
177180instance (HasGenRequest a) => HasGenRequest (RemoteHost :> a) where
178181 genRequest _ = genRequest (Proxy :: Proxy a)
179182
src/Servant/QuickCheck/Internal/QuickCheck.hs+7
@@ -11,6 +11,9 @@ import Network.Wai.Handler.Warp (withApplication)
1111import Prelude.Compat
1212import Servant (Context (EmptyContext), HasServer,
1313 Server, serveWithContext)
14+#if MIN_VERSION_servant_server(0,18,0)
15+import Servant (DefaultErrorFormatters, ErrorFormatters, HasContextEntry, type (.++))
16+#endif
1417import Servant.Client (BaseUrl (..), Scheme (..))
1518import System.IO.Unsafe (unsafePerformIO)
1619import Test.Hspec (Expectation, expectationFailure)
@@ -37,7 +40,11 @@ withServantServer api = withServantServerAndContext api EmptyContext
3740-- application.
3841--
3942-- /Since 0.0.0.0/
43+#if MIN_VERSION_servant_server(0,18,0)
44+withServantServerAndContext :: (HasServer a ctx, HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters)
45+#else
4046withServantServerAndContext :: HasServer a ctx
47+#endif
4148 => Proxy a -> Context ctx -> IO (Server a) -> (BaseUrl -> IO r) -> IO r
4249withServantServerAndContext api ctx server t
4350 = withApplication (return . serveWithContext api ctx =<< server) $ \port ->