git.iko.soy/typeable/http-api-data
on master help sign in
.ghcideleted−1
since splitsnapshots
unifiedsplit
@@ -1 +0,0 @@
1−:set -itest -isrc -optP-include -optP .stack-work/dist/x86_64-osx/Cabal-1.24.0.0/build/autogen/cabal_macros.h -optP-I -optPinclude
.github/workflows/haskell-ci.ymlnew file+283
@@ -0,0 +1,283 @@
1+# This GitHub workflow config has been generated by a script via
2+#
3+# haskell-ci 'github' 'cabal.project'
4+#
5+# To regenerate the script (for example after adjusting tested-with) run
6+#
7+# haskell-ci regenerate
8+#
9+# For more information, see https://github.com/haskell-CI/haskell-ci
10+#
11+# version: 0.15.20220609
12+#
13+# REGENDATA ("0.15.20220609",["github","cabal.project"])
14+#
15+name: Haskell-CI
16+on:
17+ push:
18+ branches:
19+ - master
20+ pull_request:
21+ branches:
22+ - master
23+jobs:
24+ linux:
25+ name: Haskell-CI - Linux - ${{ matrix.compiler }}
26+ runs-on: ubuntu-20.04
27+ timeout-minutes:
28+ 60
29+ container:
30+ image: buildpack-deps:bionic
31+ continue-on-error: ${{ matrix.allow-failure }}
32+ strategy:
33+ matrix:
34+ include:
35+ - compiler: ghc-9.4.0.20220523
36+ compilerKind: ghc
37+ compilerVersion: 9.4.0.20220523
38+ setup-method: ghcup
39+ allow-failure: true
40+ - compiler: ghc-9.2.3
41+ compilerKind: ghc
42+ compilerVersion: 9.2.3
43+ setup-method: ghcup
44+ allow-failure: false
45+ - compiler: ghc-9.0.2
46+ compilerKind: ghc
47+ compilerVersion: 9.0.2
48+ setup-method: ghcup
49+ allow-failure: false
50+ - compiler: ghc-8.10.7
51+ compilerKind: ghc
52+ compilerVersion: 8.10.7
53+ setup-method: ghcup
54+ allow-failure: false
55+ - compiler: ghc-8.8.4
56+ compilerKind: ghc
57+ compilerVersion: 8.8.4
58+ setup-method: hvr-ppa
59+ allow-failure: false
60+ - compiler: ghc-8.6.5
61+ compilerKind: ghc
62+ compilerVersion: 8.6.5
63+ setup-method: hvr-ppa
64+ allow-failure: false
65+ - compiler: ghc-8.4.4
66+ compilerKind: ghc
67+ compilerVersion: 8.4.4
68+ setup-method: hvr-ppa
69+ allow-failure: false
70+ - compiler: ghc-8.2.2
71+ compilerKind: ghc
72+ compilerVersion: 8.2.2
73+ setup-method: hvr-ppa
74+ allow-failure: false
75+ - compiler: ghc-8.0.2
76+ compilerKind: ghc
77+ compilerVersion: 8.0.2
78+ setup-method: hvr-ppa
79+ allow-failure: false
80+ fail-fast: false
81+ steps:
82+ - name: apt
83+ run: |
84+ apt-get update
85+ apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5
86+ if [ "${{ matrix.setup-method }}" = ghcup ]; then
87+ mkdir -p "$HOME/.ghcup/bin"
88+ curl -sL https://downloads.haskell.org/ghcup/0.1.17.8/x86_64-linux-ghcup-0.1.17.8 > "$HOME/.ghcup/bin/ghcup"
89+ chmod a+x "$HOME/.ghcup/bin/ghcup"
90+ if $HEADHACKAGE; then "$HOME/.ghcup/bin/ghcup" config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.7.yaml; fi
91+ "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false)
92+ "$HOME/.ghcup/bin/ghcup" install cabal 3.6.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false)
93+ else
94+ apt-add-repository -y 'ppa:hvr/ghc'
95+ apt-get update
96+ apt-get install -y "$HCNAME"
97+ mkdir -p "$HOME/.ghcup/bin"
98+ curl -sL https://downloads.haskell.org/ghcup/0.1.17.8/x86_64-linux-ghcup-0.1.17.8 > "$HOME/.ghcup/bin/ghcup"
99+ chmod a+x "$HOME/.ghcup/bin/ghcup"
100+ "$HOME/.ghcup/bin/ghcup" install cabal 3.6.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false)
101+ fi
102+ env:
103+ HCKIND: ${{ matrix.compilerKind }}
104+ HCNAME: ${{ matrix.compiler }}
105+ HCVER: ${{ matrix.compilerVersion }}
106+ - name: Set PATH and environment variables
107+ run: |
108+ echo "$HOME/.cabal/bin" >> $GITHUB_PATH
109+ echo "LANG=C.UTF-8" >> "$GITHUB_ENV"
110+ echo "CABAL_DIR=$HOME/.cabal" >> "$GITHUB_ENV"
111+ echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV"
112+ HCDIR=/opt/$HCKIND/$HCVER
113+ if [ "${{ matrix.setup-method }}" = ghcup ]; then
114+ HC=$HOME/.ghcup/bin/$HCKIND-$HCVER
115+ echo "HC=$HC" >> "$GITHUB_ENV"
116+ echo "HCPKG=$HOME/.ghcup/bin/$HCKIND-pkg-$HCVER" >> "$GITHUB_ENV"
117+ echo "HADDOCK=$HOME/.ghcup/bin/haddock-$HCVER" >> "$GITHUB_ENV"
118+ echo "CABAL=$HOME/.ghcup/bin/cabal-3.6.2.0 -vnormal+nowrap" >> "$GITHUB_ENV"
119+ else
120+ HC=$HCDIR/bin/$HCKIND
121+ echo "HC=$HC" >> "$GITHUB_ENV"
122+ echo "HCPKG=$HCDIR/bin/$HCKIND-pkg" >> "$GITHUB_ENV"
123+ echo "HADDOCK=$HCDIR/bin/haddock" >> "$GITHUB_ENV"
124+ echo "CABAL=$HOME/.ghcup/bin/cabal-3.6.2.0 -vnormal+nowrap" >> "$GITHUB_ENV"
125+ fi
126+
127+ HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')
128+ echo "HCNUMVER=$HCNUMVER" >> "$GITHUB_ENV"
129+ echo "ARG_TESTS=--enable-tests" >> "$GITHUB_ENV"
130+ echo "ARG_BENCH=--enable-benchmarks" >> "$GITHUB_ENV"
131+ if [ $((HCNUMVER >= 90400)) -ne 0 ] ; then echo "HEADHACKAGE=true" >> "$GITHUB_ENV" ; else echo "HEADHACKAGE=false" >> "$GITHUB_ENV" ; fi
132+ echo "ARG_COMPILER=--$HCKIND --with-compiler=$HC" >> "$GITHUB_ENV"
133+ echo "GHCJSARITH=0" >> "$GITHUB_ENV"
134+ env:
135+ HCKIND: ${{ matrix.compilerKind }}
136+ HCNAME: ${{ matrix.compiler }}
137+ HCVER: ${{ matrix.compilerVersion }}
138+ - name: env
139+ run: |
140+ env
141+ - name: write cabal config
142+ run: |
143+ mkdir -p $CABAL_DIR
144+ cat >> $CABAL_CONFIG <<EOF
145+ remote-build-reporting: anonymous
146+ write-ghc-environment-files: never
147+ remote-repo-cache: $CABAL_DIR/packages
148+ logs-dir: $CABAL_DIR/logs
149+ world-file: $CABAL_DIR/world
150+ extra-prog-path: $CABAL_DIR/bin
151+ symlink-bindir: $CABAL_DIR/bin
152+ installdir: $CABAL_DIR/bin
153+ build-summary: $CABAL_DIR/logs/build.log
154+ store-dir: $CABAL_DIR/store
155+ install-dirs user
156+ prefix: $CABAL_DIR
157+ repository hackage.haskell.org
158+ url: http://hackage.haskell.org/
159+ EOF
160+ if $HEADHACKAGE; then
161+ cat >> $CABAL_CONFIG <<EOF
162+ repository head.hackage.ghc.haskell.org
163+ url: https://ghc.gitlab.haskell.org/head.hackage/
164+ secure: True
165+ root-keys: 7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d
166+ 26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329
167+ f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89
168+ key-threshold: 3
169+ active-repositories: hackage.haskell.org, head.hackage.ghc.haskell.org:override
170+ EOF
171+ fi
172+ cat >> $CABAL_CONFIG <<EOF
173+ program-default-options
174+ ghc-options: $GHCJOBS +RTS -M3G -RTS
175+ EOF
176+ cat $CABAL_CONFIG
177+ - name: versions
178+ run: |
179+ $HC --version || true
180+ $HC --print-project-git-commit-id || true
181+ $CABAL --version || true
182+ - name: update cabal index
183+ run: |
184+ $CABAL v2-update -v
185+ - name: cache (tools)
186+ uses: actions/cache@v2
187+ with:
188+ key: ${{ runner.os }}-${{ matrix.compiler }}-tools-445c2459
189+ path: ~/.haskell-ci-tools
190+ - name: install cabal-plan
191+ run: |
192+ mkdir -p $HOME/.cabal/bin
193+ curl -sL https://github.com/haskell-hvr/cabal-plan/releases/download/v0.6.2.0/cabal-plan-0.6.2.0-x86_64-linux.xz > cabal-plan.xz
194+ echo 'de73600b1836d3f55e32d80385acc055fd97f60eaa0ab68a755302685f5d81bc cabal-plan.xz' | sha256sum -c -
195+ xz -d < cabal-plan.xz > $HOME/.cabal/bin/cabal-plan
196+ rm -f cabal-plan.xz
197+ chmod a+x $HOME/.cabal/bin/cabal-plan
198+ cabal-plan --version
199+ - name: install doctest
200+ run: |
201+ if [ $((HCNUMVER < 90000)) -ne 0 ] ; then $CABAL --store-dir=$HOME/.haskell-ci-tools/store v2-install $ARG_COMPILER --ignore-project -j2 doctest --constraint='doctest ^>=0.20' ; fi
202+ if [ $((HCNUMVER < 90000)) -ne 0 ] ; then doctest --version ; fi
203+ - name: checkout
204+ uses: actions/checkout@v2
205+ with:
206+ path: source
207+ - name: initial cabal.project for sdist
208+ run: |
209+ touch cabal.project
210+ echo "packages: $GITHUB_WORKSPACE/source/." >> cabal.project
211+ cat cabal.project
212+ - name: sdist
213+ run: |
214+ mkdir -p sdist
215+ $CABAL sdist all --output-dir $GITHUB_WORKSPACE/sdist
216+ - name: unpack
217+ run: |
218+ mkdir -p unpacked
219+ find sdist -maxdepth 1 -type f -name '*.tar.gz' -exec tar -C $GITHUB_WORKSPACE/unpacked -xzvf {} \;
220+ - name: generate cabal.project
221+ run: |
222+ PKGDIR_http_api_data="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/http-api-data-[0-9.]*')"
223+ echo "PKGDIR_http_api_data=${PKGDIR_http_api_data}" >> "$GITHUB_ENV"
224+ rm -f cabal.project cabal.project.local
225+ touch cabal.project
226+ touch cabal.project.local
227+ echo "packages: ${PKGDIR_http_api_data}" >> cabal.project
228+ if [ $((HCNUMVER >= 80200)) -ne 0 ] ; then echo "package http-api-data" >> cabal.project ; fi
229+ if [ $((HCNUMVER >= 80200)) -ne 0 ] ; then echo " ghc-options: -Werror=missing-methods" >> cabal.project ; fi
230+ cat >> cabal.project <<EOF
231+ EOF
232+ if $HEADHACKAGE; then
233+ echo "allow-newer: $($HCPKG list --simple-output | sed -E 's/([a-zA-Z-]+)-[0-9.]+/*:\1,/g')" >> cabal.project
234+ fi
235+ $HCPKG list --simple-output --names-only | perl -ne 'for (split /\s+/) { print "constraints: $_ installed\n" unless /^(http-api-data)$/; }' >> cabal.project.local
236+ cat cabal.project
237+ cat cabal.project.local
238+ - name: dump install plan
239+ run: |
240+ $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dry-run all
241+ cabal-plan
242+ - name: cache
243+ uses: actions/cache@v2
244+ with:
245+ key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }}
246+ path: ~/.cabal/store
247+ restore-keys: ${{ runner.os }}-${{ matrix.compiler }}-
248+ - name: install dependencies
249+ run: |
250+ $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --dependencies-only -j2 all
251+ $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dependencies-only -j2 all
252+ - name: build w/o tests
253+ run: |
254+ $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all
255+ - name: build
256+ run: |
257+ $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always
258+ - name: tests
259+ run: |
260+ $CABAL v2-test $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --test-show-details=direct
261+ - name: doctest
262+ run: |
263+ perl -i -e 'while (<ARGV>) { print unless /package-id\s+(base-compat)-\d+(\.\d+)*/; }' .ghc.environment.*
264+ if [ $((HCNUMVER < 90000)) -ne 0 ] ; then cd ${PKGDIR_http_api_data} || false ; fi
265+ if [ $((HCNUMVER < 90000)) -ne 0 ] ; then doctest -XHaskell2010 src/ ; fi
266+ - name: cabal check
267+ run: |
268+ cd ${PKGDIR_http_api_data} || false
269+ ${CABAL} -vnormal check
270+ - name: haddock
271+ run: |
272+ $CABAL v2-haddock --haddock-all $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all
273+ - name: unconstrained build
274+ run: |
275+ rm -f cabal.project.local
276+ $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all
277+ - name: prepare for constraint sets
278+ run: |
279+ rm -f cabal.project.local
280+ - name: constraint set text-show
281+ run: |
282+ $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --constraint='http-api-data +use-text-show' --dependencies-only -j2 all
283+ $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --constraint='http-api-data +use-text-show' all
.travis.ymldeleted−123
@@ -1,123 +0,0 @@
1−# This Travis job script has been generated by a script via
2−#
3−# runghc make_travis_yml_2.hs '--config' '--output' '.travis.yml' 'http-api-data.cabal'
4−#
5−# For more information, see https://github.com/haskell-CI/haskell-ci
6−#
7−language: c
8−sudo: false
9−
10−git:
11− submodules: false # whether to recursively clone submodules
12−
13−branches:
14− only:
15− - master
16−
17−cache:
18− directories:
19− - $HOME/.cabal/packages
20− - $HOME/.cabal/store
21−
22−before_cache:
23− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log
24− # remove files that are regenerated by 'cabal update'
25− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.*
26− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/*.json
27− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.cache
28− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar
29− - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar.idx
30−
31− - rm -rfv $HOME/.cabal/packages/head.hackage
32−
33−matrix:
34− include:
35− - compiler: "ghc-8.6.1"
36− # env: TEST=--disable-tests BENCH=--disable-benchmarks
37− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.6.1], sources: [hvr-ghc]}}
38− - compiler: "ghc-8.4.3"
39− # env: TEST=--disable-tests BENCH=--disable-benchmarks
40− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.4.3], sources: [hvr-ghc]}}
41− - compiler: "ghc-8.2.2"
42− # env: TEST=--disable-tests BENCH=--disable-benchmarks
43− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.2.2], sources: [hvr-ghc]}}
44− - compiler: "ghc-8.0.2"
45− # env: TEST=--disable-tests BENCH=--disable-benchmarks
46− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.0.2], sources: [hvr-ghc]}}
47− - compiler: "ghc-7.10.3"
48− # env: TEST=--disable-tests BENCH=--disable-benchmarks
49− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-7.10.3], sources: [hvr-ghc]}}
50− - compiler: "ghc-7.8.4"
51− # env: TEST=--disable-tests BENCH=--disable-benchmarks
52− addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-7.8.4], sources: [hvr-ghc]}}
53−
54−before_install:
55− - HC=${CC}
56− - HCPKG=${HC/ghc/ghc-pkg}
57− - unset CC
58− - ROOTDIR=$(pwd)
59− - mkdir -p $HOME/.local/bin
60− - "PATH=/opt/ghc/bin:/opt/ghc-ppa-tools/bin:$HOME/local/bin:$PATH"
61− - HCNUMVER=$(( $(${HC} --numeric-version|sed -E 's/([0-9]+)\.([0-9]+)\.([0-9]+).*/\1 * 10000 + \2 * 100 + \3/') ))
62− - echo $HCNUMVER
63−
64−install:
65− - cabal --version
66− - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"
67− - BENCH=${BENCH---enable-benchmarks}
68− - TEST=${TEST---enable-tests}
69− - HADDOCK=${HADDOCK-true}
70− - UNCONSTRAINED=${UNCONSTRAINED-true}
71− - NOINSTALLEDCONSTRAINTS=${NOINSTALLEDCONSTRAINTS-false}
72− - GHCHEAD=${GHCHEAD-false}
73− - travis_retry cabal update -v
74− - "sed -i.bak 's/^jobs:/-- jobs:/' ${HOME}/.cabal/config"
75− - rm -fv cabal.project cabal.project.local
76− - "if [ $HCNUMVER -ge 70800 ]; then sed -i.bak 's/-- ghc-options:.*/ghc-options: -j2/' ${HOME}/.cabal/config; fi"
77− - grep -Ev -- '^\s*--' ${HOME}/.cabal/config | grep -Ev '^\s*$'
78− - "printf 'packages: \".\"\\n' > cabal.project"
79− - touch cabal.project.local
80− - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | grep -vw -- http-api-data | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"
81− - cat cabal.project || true
82− - cat cabal.project.local || true
83− - if [ -f "./configure.ac" ]; then
84− (cd "." && autoreconf -i);
85− fi
86− - rm -f cabal.project.freeze
87− - cabal new-build -w ${HC} ${TEST} ${BENCH} --project-file="cabal.project" --dep -j2 all
88− - cabal new-build -w ${HC} --disable-tests --disable-benchmarks --project-file="cabal.project" --dep -j2 all
89− - rm -rf .ghc.environment.* "."/dist
90− - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)
91−
92−# Here starts the actual work to be performed for the package under test;
93−# any command which exits with a non-zero exit code causes the build to fail.
94−script:
95− # test that source-distributions can be generated
96− - (cd "." && cabal sdist)
97− - mv "."/dist/http-api-data-*.tar.gz ${DISTDIR}/
98− - cd ${DISTDIR} || false
99− - find . -maxdepth 1 -name '*.tar.gz' -exec tar -xvf '{}' \;
100− - "printf 'packages: http-api-data-*/*.cabal\\n' > cabal.project"
101− - touch cabal.project.local
102− - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | grep -vw -- http-api-data | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"
103− - cat cabal.project || true
104− - cat cabal.project.local || true
105− # this builds all libraries and executables (without tests/benchmarks)
106− - cabal new-build -w ${HC} --disable-tests --disable-benchmarks all
107−
108− # build & run tests, build benchmarks
109− - cabal new-build -w ${HC} ${TEST} ${BENCH} all
110− - if [ "x$TEST" = "x--enable-tests" ]; then cabal new-test -w ${HC} ${TEST} ${BENCH} all; fi
111−
112− # cabal check
113− - (cd http-api-data-* && cabal check)
114−
115− # haddock
116− - rm -rf ./dist-newstyle
117− - if $HADDOCK; then cabal new-haddock -w ${HC} ${TEST} ${BENCH} all; else echo "Skipping haddock generation";fi
118−
119− # Build without installed constraints for packages in global-db
120− - if $UNCONSTRAINED; then rm -f cabal.project.local; echo cabal new-build -w ${HC} --disable-tests --disable-benchmarks all; else echo "Not building without installed constraints"; fi
121−
122−# REGENDATA ["--config","--output",".travis.yml","http-api-data.cabal"]
123−# EOF
CHANGELOG.md+37−1
@@ -1,3 +1,39 @@
1+0.5
2+---
3+
4+* Use `attoparsec-iso8601-1.1.0.0`.
5+ `Day` and `UTCTime` parsers require at least 4 digits now, which is a breaking change.
6+* Drop GHC-7.8 and GHC-7.10 support.
7+
8+0.4.3
9+-----
10+
11+* Add `Quarter`, `QuarterOfYear` and `Month` instances
12+* Support `bytestring-0.11`
13+
14+0.4.2
15+-----
16+
17+* Add instances for `Const` and `Identity`
18+
19+0.4.1.1
20+-------
21+
22+* Allow cookie <0.5
23+* Change to `build-type: Simple`
24+
25+0.4.1
26+-----
27+
28+* Use `time-compat` to provide instances for `DayOfWeek`.
29+
30+0.4
31+---
32+
33+* `NominalDiffTime` instances preserve precision (roundtrip)
34+* Add `Semigroup.Min`, `Max`, `First`, `Last` instances
35+* Add `Tagged b a` instances
36+
10.3.10
370.3.10
2---
38---
3
39
@@ -11,7 +47,7 @@
11
47
12* GHC-8.6 support
48* GHC-8.6 support
13* Remove dependency on `uri-bytestring` and use functions from `http-types` instead
49* Remove dependency on `uri-bytestring` and use functions from `http-types` instead
14− (see [#75](https://github.com/fizruk/http-api-data/pull/78))
50+ (see [#75](https://github.com/fizruk/http-api-data/pull/75))
15* Add support for `SetCookie`
51* Add support for `SetCookie`
16 (see [#74](https://github.com/fizruk/http-api-data/pull/74))
52 (see [#74](https://github.com/fizruk/http-api-data/pull/74))
17
53
Setup.hsnew file+2
@@ -0,0 +1,2 @@
1+import Distribution.Simple
2+main = defaultMain
Setup.lhsdeleted−36
@@ -1,36 +0,0 @@
1−\begin{code}
2−{-# LANGUAGE CPP #-}
3−{-# OPTIONS_GHC -Wall #-}
4−module Main (main) where
5−
6−#ifndef MIN_VERSION_cabal_doctest
7−#define MIN_VERSION_cabal_doctest(x,y,z) 0
8−#endif
9−
10−#if MIN_VERSION_cabal_doctest(1,0,0)
11−
12−import Distribution.Extra.Doctest ( defaultMainWithDoctests )
13−main :: IO ()
14−main = defaultMainWithDoctests "doctests"
15−
16−#else
17−
18−#ifdef MIN_VERSION_Cabal
19−-- If the macro is defined, we have new cabal-install,
20−-- but for some reason we don't have cabal-doctest in package-db
21−--
22−-- Probably we are running cabal sdist, when otherwise using new-build
23−-- workflow
24−#warning You are configuring this package without cabal-doctest installed. \
25− The doctests test-suite will not work as a result. \
26− To fix this, install cabal-doctest before configuring.
27−#endif
28−
29−import Distribution.Simple
30−
31−main :: IO ()
32−main = defaultMain
33−
34−#endif
35−
36−\end{code}
cabal.haskell-cinew file+6
@@ -0,0 +1,6 @@
1+branches: master
2+doctest: <9
3+doctest-filter-packages: base-compat
4+
5+constraint-set text-show
6+ constraints: http-api-data +use-text-show
cabal.make-travis-ymldeleted−2
@@ -1,2 +0,0 @@
1−jobs: :2
2−branches: master
cabal.projectnew file+2
@@ -0,0 +1,2 @@
1+packages: .
2+tests: True
http-api-data.cabal+35−53
@@ -1,6 +1,6 @@
1cabal-version: >= 1.10
1cabal-version: >= 1.10
2name: http-api-data
2name: http-api-data
3−version: 0.3.10
3+version: 0.5
4
4
5synopsis: Converting to/from HTTP API data like URL pieces, headers and query parameters.
5synopsis: Converting to/from HTTP API data like URL pieces, headers and query parameters.
6category: Web
6category: Web
@@ -15,26 +15,24 @@ author: Nickolay Kudasov <nickolay.kudasov@gmail.com>
15maintainer: Nickolay Kudasov <nickolay.kudasov@gmail.com>
15maintainer: Nickolay Kudasov <nickolay.kudasov@gmail.com>
16homepage: http://github.com/fizruk/http-api-data
16homepage: http://github.com/fizruk/http-api-data
17stability: unstable
17stability: unstable
18−build-type: Custom
18+build-type: Simple
19
19
20extra-source-files:
20extra-source-files:
21 include/overlapping-compat.h
21 include/overlapping-compat.h
22 test/*.hs
22 test/*.hs
23 CHANGELOG.md
23 CHANGELOG.md
24 README.md
24 README.md
25+
25tested-with:
26tested-with:
26− GHC==7.8.4,
27− GHC==7.10.3,
28 GHC==8.0.2,
27 GHC==8.0.2,
29 GHC==8.2.2,
28 GHC==8.2.2,
30− GHC==8.4.3,
29+ GHC==8.4.4,
30+ GHC==8.6.5,
31+ GHC==8.8.4,
32+ GHC==8.10.7,
33+ GHC==9.0.2,
34+ GHC==9.2.3,
31− GHC==8.6.1
35+ GHC==9.4.1
32−
33−custom-setup
34− setup-depends:
35− base,
36− Cabal,
37− cabal-doctest >=1.0.6 && <1.1
38
36
39flag use-text-show
37flag use-text-show
40 description: Use text-show library for efficient ToHttpApiData implementations.
38 description: Use text-show library for efficient ToHttpApiData implementations.
@@ -46,35 +44,28 @@ library
46 include-dirs: include/
44 include-dirs: include/
47
45
48 -- GHC bundled
46 -- GHC bundled
49− build-depends: base >= 4.7 && < 4.13
47+ build-depends: base >= 4.9 && < 4.17
50− , bytestring >= 0.10.4.0 && < 0.11
48+ , bytestring >= 0.10.8.1 && < 0.12
51− , containers >= 0.5.5.1 && < 0.7
49+ , containers >= 0.5.7.1 && < 0.7
52− , text >= 1.2.3.0 && < 1.3
50+ , text >= 1.2.3.0 && < 1.3 || >=2.0 && <2.1
53− , time >= 1.4.2 && < 1.9
51+ , transformers >= 0.5.2.0 && < 0.7
54
52
55 -- other-dependencies
53 -- other-dependencies
56 build-depends:
54 build-depends:
57− attoparsec >= 0.13.2.2 && < 0.14
55+ attoparsec >= 0.13.2.2 && < 0.15
58− , attoparsec-iso8601 >= 1.0.1.0 && < 1.1
56+ , attoparsec-iso8601 >= 1.1.0.0 && < 1.2
59− , base-compat >= 0.10.5 && < 0.11
57+ , base-compat >= 0.10.5 && < 0.13
60− , cookie >= 0.4.3 && < 0.4.5
58+ , cookie >= 0.4.3 && < 0.5
61− , hashable >= 1.2.7.0 && < 1.3
59+ , hashable >= 1.2.7.0 && < 1.5
62− , http-types >= 0.12.2 && < 0.13
60+ , http-types >= 0.12.3 && < 0.13
61+ , tagged >= 0.8.5 && < 0.9
63− , time-locale-compat >= 0.1.1.5 && < 0.2
62+ , time-compat >= 1.9.5 && < 1.10
64− , unordered-containers >= 0.2.9.0 && < 0.3
63+ , unordered-containers >= 0.2.10.0 && < 0.3
65− , uuid-types >= 1.0.3 && <1.1
64+ , uuid-types >= 1.0.3 && < 1.1
66−
67− if !impl(ghc >= 7.10)
68− build-depends:
69− nats >= 1.1.2 && < 1.2,
70− void >= 0.7.2 && < 0.8
71−
72− if !impl(ghc >= 8.0)
73− build-depends: semigroups >= 0.18.5 && < 0.19
74
65
75 if flag(use-text-show)
66 if flag(use-text-show)
76 cpp-options: -DUSE_TEXT_SHOW
67 cpp-options: -DUSE_TEXT_SHOW
77− build-depends: text-show >= 3.7.4 && <3.8
68+ build-depends: text-show >= 3.8.2 && <3.10
78
69
79 exposed-modules:
70 exposed-modules:
80 Web.HttpApiData
71 Web.HttpApiData
@@ -94,35 +85,26 @@ test-suite spec
94 hs-source-dirs: test
85 hs-source-dirs: test
95 ghc-options: -Wall
86 ghc-options: -Wall
96 default-language: Haskell2010
87 default-language: Haskell2010
97− build-tool-depends: hspec-discover:hspec-discover >= 2.6.0 && <2.7
88+ build-tool-depends: hspec-discover:hspec-discover >= 2.7.1 && <2.11
98 -- inherited depndencies
89 -- inherited depndencies
99 build-depends:
90 build-depends:
100 base
91 base
92+ , base-compat
101 , bytestring
93 , bytestring
102 , cookie
94 , cookie
103 , http-api-data
95 , http-api-data
104− , nats
105 , text
96 , text
106− , time
97+ , time-compat
107 , unordered-containers
98 , unordered-containers
108 , uuid-types
99 , uuid-types
109
100
101+ if !impl(ghc >= 7.10)
110− build-depends: HUnit >= 1.6.0.0 && <1.7
102+ build-depends: nats
111− , hspec >= 2.6.0 && <2.7
112− , QuickCheck >= 2.11.3 && <2.13
113− , quickcheck-instances >= 0.3.19 && <0.4
114
103
115−test-suite doctests
116− ghc-options: -Wall
117− build-depends:
104+ build-depends: HUnit >= 1.6.0.0 && <1.7
118− base,
105+ , hspec >= 2.7.1 && <2.11
119− directory >= 1.0,
106+ , QuickCheck >= 2.13.1 && <2.15
120− doctest >= 0.16.0 && <0.17,
107+ , quickcheck-instances >= 0.3.25.2 && <0.4
121− filepath
122− default-language: Haskell2010
123− hs-source-dirs: test
124− main-is: doctests.hs
125− type: exitcode-stdio-1.0
126
108
127source-repository head
109source-repository head
128 type: git
110 type: git
src/Web/HttpApiData.hs+1−2
@@ -49,10 +49,9 @@ import Web.Internal.HttpApiData
49--
49--
50-- >>> :set -XOverloadedStrings
50-- >>> :set -XOverloadedStrings
51-- >>> import Control.Applicative
51-- >>> import Control.Applicative
52−-- >>> import Data.Time
52+-- >>> import Data.Time.Compat
53-- >>> import Data.Int
53-- >>> import Data.Int
54-- >>> import Data.Text (Text)
54-- >>> import Data.Text (Text)
55−-- >>> import Data.Time (Day)
56-- >>> import Data.Version
55-- >>> import Data.Version
57
56
58-- $examples
57-- $examples
src/Web/Internal/FormUrlEncoded.hs+60−22
@@ -1,5 +1,5 @@
1−{-# LANGUAGE CPP #-}
2{-# LANGUAGE ConstraintKinds #-}
1{-# LANGUAGE ConstraintKinds #-}
2+{-# LANGUAGE CPP #-}
3{-# LANGUAGE DataKinds #-}
3{-# LANGUAGE DataKinds #-}
4{-# LANGUAGE DefaultSignatures #-}
4{-# LANGUAGE DefaultSignatures #-}
5{-# LANGUAGE DeriveGeneric #-}
5{-# LANGUAGE DeriveGeneric #-}
@@ -17,46 +17,50 @@
17#include "overlapping-compat.h"
17#include "overlapping-compat.h"
18module Web.Internal.FormUrlEncoded where
18module Web.Internal.FormUrlEncoded where
19
19
20−import Prelude ()
20+import Prelude ()
21import Prelude.Compat
21import Prelude.Compat
22
22
23+import Control.Applicative (Const(Const))
23import Control.Arrow ((***))
24import Control.Arrow ((***))
24import Control.Monad ((<=<))
25import Control.Monad ((<=<))
25import Data.ByteString.Builder (shortByteString, toLazyByteString)
26import Data.ByteString.Builder (shortByteString, toLazyByteString)
26import qualified Data.ByteString.Lazy as BSL
27import qualified Data.ByteString.Lazy as BSL
27import qualified Data.ByteString.Lazy.Char8 as BSL8
28import qualified Data.ByteString.Lazy.Char8 as BSL8
29+import Data.Coerce (coerce)
28import qualified Data.Foldable as F
30import qualified Data.Foldable as F
31+import Data.Functor.Identity (Identity(Identity))
29import Data.Hashable (Hashable)
32import Data.Hashable (Hashable)
30import Data.HashMap.Strict (HashMap)
33import Data.HashMap.Strict (HashMap)
31import qualified Data.HashMap.Strict as HashMap
34import qualified Data.HashMap.Strict as HashMap
32−import Data.Int
35+import Data.Int (Int16, Int32, Int64, Int8)
33import Data.IntMap (IntMap)
36import Data.IntMap (IntMap)
34import qualified Data.IntMap as IntMap
37import qualified Data.IntMap as IntMap
35import Data.List (intersperse, sortBy)
38import Data.List (intersperse, sortBy)
36import Data.Map (Map)
39import Data.Map (Map)
37import qualified Data.Map as Map
40import qualified Data.Map as Map
38−import Data.Monoid
41+import Data.Monoid (All (..), Any (..), Dual (..),
42+ Product (..), Sum (..))
39import Data.Ord (comparing)
43import Data.Ord (comparing)
44+import Data.Proxy (Proxy (..))
45+import Data.Semigroup (Semigroup (..))
40import qualified Data.Semigroup as Semi
46import qualified Data.Semigroup as Semi
41−
47+import Data.Tagged (Tagged (..))
42import Data.Text (Text)
48import Data.Text (Text)
43import qualified Data.Text as Text
49import qualified Data.Text as Text
44−import Data.Text.Encoding as Text
50+import qualified Data.Text.Encoding as Text
45import Data.Text.Encoding.Error (lenientDecode)
51import Data.Text.Encoding.Error (lenientDecode)
46import qualified Data.Text.Lazy as Lazy
52import qualified Data.Text.Lazy as Lazy
47−
53+import Data.Time.Compat (Day, LocalTime, NominalDiffTime,
48−import Data.Proxy
54+ UTCTime, ZonedTime)
55+import Data.Time.Calendar.Month.Compat (Month)
49−import Data.Time
56+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..))
57+import Data.Void (Void)
50−import Data.Word
58+import Data.Word (Word16, Word32, Word64, Word8)
51−
52−import Data.Void
53−import Numeric.Natural
54−
55import GHC.Exts (Constraint, IsList (..))
59import GHC.Exts (Constraint, IsList (..))
56import GHC.Generics
60import GHC.Generics
57import GHC.TypeLits
61import GHC.TypeLits
58import Network.HTTP.Types.URI (urlDecode, urlEncodeBuilder)
62import Network.HTTP.Types.URI (urlDecode, urlEncodeBuilder)
59−
63+import Numeric.Natural (Natural)
60import Web.Internal.HttpApiData
64import Web.Internal.HttpApiData
61
65
62-- $setup
66-- $setup
@@ -111,6 +115,9 @@ instance ToFormKey LocalTime where toFormKey = toQueryParam
111instance ToFormKey ZonedTime where toFormKey = toQueryParam
115instance ToFormKey ZonedTime where toFormKey = toQueryParam
112instance ToFormKey UTCTime where toFormKey = toQueryParam
116instance ToFormKey UTCTime where toFormKey = toQueryParam
113instance ToFormKey NominalDiffTime where toFormKey = toQueryParam
117instance ToFormKey NominalDiffTime where toFormKey = toQueryParam
118+instance ToFormKey Quarter where toFormKey = toQueryParam
119+instance ToFormKey QuarterOfYear where toFormKey = toQueryParam
120+instance ToFormKey Month where toFormKey = toQueryParam
114
121
115instance ToFormKey String where toFormKey = toQueryParam
122instance ToFormKey String where toFormKey = toQueryParam
116instance ToFormKey Text where toFormKey = toQueryParam
123instance ToFormKey Text where toFormKey = toQueryParam
@@ -119,9 +126,23 @@ instance ToFormKey Lazy.Text where toFormKey = toQueryParam
119instance ToFormKey All where toFormKey = toQueryParam
126instance ToFormKey All where toFormKey = toQueryParam
120instance ToFormKey Any where toFormKey = toQueryParam
127instance ToFormKey Any where toFormKey = toQueryParam
121
128
122−instance ToFormKey a => ToFormKey (Dual a) where toFormKey = toFormKey . getDual
129+instance ToFormKey a => ToFormKey (Dual a) where toFormKey = coerce (toFormKey :: a -> Text)
123−instance ToFormKey a => ToFormKey (Sum a) where toFormKey = toFormKey . getSum
130+instance ToFormKey a => ToFormKey (Sum a) where toFormKey = coerce (toFormKey :: a -> Text)
124−instance ToFormKey a => ToFormKey (Product a) where toFormKey = toFormKey . getProduct
131+instance ToFormKey a => ToFormKey (Product a) where toFormKey = coerce (toFormKey :: a -> Text)
132+
133+instance ToFormKey a => ToFormKey (Semi.Min a) where toFormKey = coerce (toFormKey :: a -> Text)
134+instance ToFormKey a => ToFormKey (Semi.Max a) where toFormKey = coerce (toFormKey :: a -> Text)
135+instance ToFormKey a => ToFormKey (Semi.First a) where toFormKey = coerce (toFormKey :: a -> Text)
136+instance ToFormKey a => ToFormKey (Semi.Last a) where toFormKey = coerce (toFormKey :: a -> Text)
137+
138+instance ToFormKey a => ToFormKey (Tagged b a) where toFormKey = coerce (toFormKey :: a -> Text)
139+
140+-- | @since 0.4.2
141+instance ToFormKey a => ToFormKey (Identity a) where toFormKey = coerce (toFormKey :: a -> Text)
142+
143+-- | @since 0.4.2
144+instance ToFormKey a => ToFormKey (Const a b) where
145+ toFormKey = coerce (toFormKey :: a -> Text)
125
146
126instance ToFormKey Void where toFormKey = toQueryParam
147instance ToFormKey Void where toFormKey = toQueryParam
127instance ToFormKey Natural where toFormKey = toQueryParam
148instance ToFormKey Natural where toFormKey = toQueryParam
@@ -156,6 +177,9 @@ instance FromFormKey LocalTime where parseFormKey = parseQueryParam
156instance FromFormKey ZonedTime where parseFormKey = parseQueryParam
177instance FromFormKey ZonedTime where parseFormKey = parseQueryParam
157instance FromFormKey UTCTime where parseFormKey = parseQueryParam
178instance FromFormKey UTCTime where parseFormKey = parseQueryParam
158instance FromFormKey NominalDiffTime where parseFormKey = parseQueryParam
179instance FromFormKey NominalDiffTime where parseFormKey = parseQueryParam
180+instance FromFormKey Quarter where parseFormKey = parseQueryParam
181+instance FromFormKey QuarterOfYear where parseFormKey = parseQueryParam
182+instance FromFormKey Month where parseFormKey = parseQueryParam
159
183
160instance FromFormKey String where parseFormKey = parseQueryParam
184instance FromFormKey String where parseFormKey = parseQueryParam
161instance FromFormKey Text where parseFormKey = parseQueryParam
185instance FromFormKey Text where parseFormKey = parseQueryParam
@@ -164,9 +188,23 @@ instance FromFormKey Lazy.Text where parseFormKey = parseQueryParam
164instance FromFormKey All where parseFormKey = parseQueryParam
188instance FromFormKey All where parseFormKey = parseQueryParam
165instance FromFormKey Any where parseFormKey = parseQueryParam
189instance FromFormKey Any where parseFormKey = parseQueryParam
166
190
167−instance FromFormKey a => FromFormKey (Dual a) where parseFormKey = fmap Dual . parseFormKey
191+instance FromFormKey a => FromFormKey (Dual a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
168−instance FromFormKey a => FromFormKey (Sum a) where parseFormKey = fmap Sum . parseFormKey
192+instance FromFormKey a => FromFormKey (Sum a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
193+instance FromFormKey a => FromFormKey (Product a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
194+
195+instance FromFormKey a => FromFormKey (Semi.Min a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
196+instance FromFormKey a => FromFormKey (Semi.Max a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
169−instance FromFormKey a => FromFormKey (Product a) where parseFormKey = fmap Product . parseFormKey
197+instance FromFormKey a => FromFormKey (Semi.First a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
198+instance FromFormKey a => FromFormKey (Semi.Last a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
199+
200+instance FromFormKey a => FromFormKey (Tagged b a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
201+
202+-- | @since 0.4.2
203+instance FromFormKey a => FromFormKey (Identity a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
204+
205+-- | @since 0.4.2
206+instance FromFormKey a => FromFormKey (Const a b) where
207+ parseFormKey = coerce (parseFormKey :: Text -> Either Text a)
170
208
171instance FromFormKey Void where parseFormKey = parseQueryParam
209instance FromFormKey Void where parseFormKey = parseQueryParam
172instance FromFormKey Natural where parseFormKey = parseQueryParam
210instance FromFormKey Natural where parseFormKey = parseQueryParam
@@ -175,7 +213,7 @@ instance FromFormKey Natural where parseFormKey = parseQueryParam
175--
213--
176-- 'Form' can be URL-encoded with 'urlEncodeForm' and URL-decoded with 'urlDecodeForm'.
214-- 'Form' can be URL-encoded with 'urlEncodeForm' and URL-decoded with 'urlDecodeForm'.
177newtype Form = Form { unForm :: HashMap Text [Text] }
215newtype Form = Form { unForm :: HashMap Text [Text] }
178− deriving (Eq, Read, Generic, Semi.Semigroup, Monoid)
216+ deriving (Eq, Read, Generic, Semigroup, Monoid)
179
217
180instance Show Form where
218instance Show Form where
181 showsPrec d form = showParen (d > 10) $
219 showsPrec d form = showParen (d > 10) $
src/Web/Internal/HttpApiData.hs+221−54
@@ -5,7 +5,9 @@
5{-# LANGUAGE DeriveFunctor #-}
5{-# LANGUAGE DeriveFunctor #-}
6{-# LANGUAGE DeriveTraversable #-}
6{-# LANGUAGE DeriveTraversable #-}
7{-# LANGUAGE FlexibleInstances #-}
7{-# LANGUAGE FlexibleInstances #-}
8+{-# LANGUAGE KindSignatures #-}
8{-# LANGUAGE OverloadedStrings #-}
9{-# LANGUAGE OverloadedStrings #-}
10+{-# LANGUAGE PolyKinds #-}
9{-# LANGUAGE ScopedTypeVariables #-}
11{-# LANGUAGE ScopedTypeVariables #-}
10{-# LANGUAGE TypeSynonymInstances #-}
12{-# LANGUAGE TypeSynonymInstances #-}
11-- |
13-- |
@@ -13,21 +15,31 @@
13-- such as URL pieces, headers and query parameters.
15-- such as URL pieces, headers and query parameters.
14module Web.Internal.HttpApiData where
16module Web.Internal.HttpApiData where
15
17
16−import Prelude ()
18+import Prelude ()
17import Prelude.Compat
19import Prelude.Compat
18
20
21+import Control.Applicative (Const(Const))
19import Control.Arrow (left, (&&&))
22import Control.Arrow (left, (&&&))
20import Control.Monad ((<=<))
23import Control.Monad ((<=<))
21−
24+import qualified Data.Attoparsec.Text as Atto
25+import qualified Data.Attoparsec.Time as Atto
22import Data.ByteString (ByteString)
26import Data.ByteString (ByteString)
23import qualified Data.ByteString as BS
27import qualified Data.ByteString as BS
28+import qualified Data.ByteString.Builder as BS
24import qualified Data.ByteString.Lazy as LBS
29import qualified Data.ByteString.Lazy as LBS
25−import Data.Monoid
30+import Data.Coerce (coerce)
26−
31+import Data.Data (Data)
27import qualified Data.Fixed as F
32import qualified Data.Fixed as F
28−import Data.Int
33+import Data.Functor.Identity (Identity(Identity))
34+import Data.Int (Int16, Int32, Int64, Int8)
29−import Data.Word
35+import Data.Kind (Type)
30−
36+import qualified Data.Map as Map
37+import Data.Monoid (All (..), Any (..), Dual (..),
38+ First (..), Last (..),
39+ Product (..), Sum (..))
40+import Data.Semigroup (Semigroup (..))
41+import qualified Data.Semigroup as Semi
42+import Data.Tagged (Tagged (..))
31import Data.Text (Text)
43import Data.Text (Text)
32import qualified Data.Text as T
44import qualified Data.Text as T
33import Data.Text.Encoding (decodeUtf8', decodeUtf8With,
45import Data.Text.Encoding (decodeUtf8', decodeUtf8With,
@@ -36,38 +48,39 @@ import Data.Text.Encoding.Error (lenientDecode)
36import qualified Data.Text.Lazy as L
48import qualified Data.Text.Lazy as L
37import Data.Text.Read (Reader, decimal, rational,
49import Data.Text.Read (Reader, decimal, rational,
38 signed)
50 signed)
39−
51+import Data.Time.Compat (Day, FormatTime, LocalTime,
52+ NominalDiffTime, TimeOfDay,
53+ UTCTime, ZonedTime, formatTime,
54+ DayOfWeek (..),
55+ nominalDiffTimeToSeconds,
56+ secondsToNominalDiffTime)
40−import Data.Time
57+import Data.Time.Format.Compat (defaultTimeLocale,
58+ iso8601DateFormat)
41−import Data.Time.Locale.Compat
59+import Data.Time.Calendar.Month.Compat (Month)
42−import Data.Version
60+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..),
43−
61+ toYearQuarter)
62+import Data.Typeable (Typeable)
63+import qualified Data.UUID.Types as UUID
64+import Data.Version (Version, parseVersion,
65+ showVersion)
44−import Data.Void
66+import Data.Void (Void, absurd)
67+import Data.Word (Word16, Word32, Word64, Word8)
68+import qualified Network.HTTP.Types as H
45−import Numeric.Natural
69+import Numeric.Natural (Natural)
46−
47import Text.ParserCombinators.ReadP (readP_to_S)
70import Text.ParserCombinators.ReadP (readP_to_S)
48import Text.Read (readMaybe)
71import Text.Read (readMaybe)
72+import Web.Cookie (SetCookie, parseSetCookie,
73+ renderSetCookie)
49
74
50#if USE_TEXT_SHOW
75#if USE_TEXT_SHOW
51import TextShow (TextShow, showt)
76import TextShow (TextShow, showt)
52#endif
77#endif
53
78
54−import qualified Data.UUID.Types as UUID
55−
56−import qualified Data.ByteString.Builder as BS
57−import Data.Data (Data)
58−import Data.Typeable (Typeable)
59−import qualified Network.HTTP.Types as H
60−
61−import qualified Data.Attoparsec.Text as Atto
62−import qualified Data.Attoparsec.Time as Atto
63−
64−import Web.Cookie (SetCookie, parseSetCookie,
65− renderSetCookie)
66−
67−
68-- $setup
79-- $setup
69-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)
80-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)
70-- >>> instance FromHttpApiData BasicAuthToken where parseHeader h = BasicAuthToken <$> parseHeaderWithPrefix "Basic " h; parseQueryParam p = BasicAuthToken <$> parseQueryParam p
81-- >>> instance FromHttpApiData BasicAuthToken where parseHeader h = BasicAuthToken <$> parseHeaderWithPrefix "Basic " h; parseQueryParam p = BasicAuthToken <$> parseQueryParam p
82+-- >>> import Data.Time.Compat
83+-- >>> import Data.Version
71
84
72-- | Convert value to HTTP API data.
85-- | Convert value to HTTP API data.
73--
86--
@@ -83,7 +96,7 @@ class ToHttpApiData a where
83 -- The default definition uses 'H.encodePathSegmentsRelative',
96 -- The default definition uses 'H.encodePathSegmentsRelative',
84 -- but this may be overriden with a more efficient version.
97 -- but this may be overriden with a more efficient version.
85 toEncodedUrlPiece :: a -> BS.Builder
98 toEncodedUrlPiece :: a -> BS.Builder
86− toEncodedUrlPiece = H.encodePathSegmentsRelative . (:[]) . toUrlPiece
99+ toEncodedUrlPiece = H.urlEncodeBuilder True . encodeUtf8 . toUrlPiece
87
100
88 -- | Convert to HTTP header value.
101 -- | Convert to HTTP header value.
89 toHeader :: a -> ByteString
102 toHeader :: a -> ByteString
@@ -325,7 +338,7 @@ lookupBoundedEnumOf f = flip lookup (map (f &&& id) [minBound..maxBound])
325-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool
338-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool
326-- Right True
339-- Right True
327--
340--
328−-- For case sensitive parser see 'parseBoundedEnumOfI'.
341+-- For case insensitive parser see 'parseBoundedEnumOfI'.
329parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a
342parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a
330parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf
343parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf
331
344
@@ -446,7 +459,8 @@ instance ToHttpApiData Word16 where toUrlPiece = showt; toEncodedUrlPiece = un
446instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
459instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
447instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
460instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
448
461
462+-- | Note: this instance is not polykinded
449−instance F.HasResolution a => ToHttpApiData (F.Fixed a) where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
463+instance F.HasResolution a => ToHttpApiData (F.Fixed (a :: Type)) where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
450
464
451-- |
465-- |
452-- >>> toUrlPiece (fromGregorian 2015 10 03)
466-- >>> toUrlPiece (fromGregorian 2015 10 03)
@@ -486,36 +500,108 @@ instance ToHttpApiData UTCTime where
486 toUrlPiece = timeToUrlPiece "%H:%M:%S%QZ"
500 toUrlPiece = timeToUrlPiece "%H:%M:%S%QZ"
487 toEncodedUrlPiece = unsafeToEncodedUrlPiece
501 toEncodedUrlPiece = unsafeToEncodedUrlPiece
488
502
503+-- |
504+-- >>> toUrlPiece Monday
505+-- "monday"
506+instance ToHttpApiData DayOfWeek where
507+ toUrlPiece Monday = "monday"
508+ toUrlPiece Tuesday = "tuesday"
509+ toUrlPiece Wednesday = "wednesday"
510+ toUrlPiece Thursday = "thursday"
511+ toUrlPiece Friday = "friday"
512+ toUrlPiece Saturday = "saturday"
513+ toUrlPiece Sunday = "sunday"
514+
515+ toEncodedUrlPiece = unsafeToEncodedUrlPiece
516+
517+-- |
518+-- >>> toUrlPiece Q4
519+-- "q4"
520+instance ToHttpApiData QuarterOfYear where
521+ toUrlPiece Q1 = "q1"
522+ toUrlPiece Q2 = "q2"
523+ toUrlPiece Q3 = "q3"
524+ toUrlPiece Q4 = "q4"
525+
526+-- |
527+-- >>> import Data.Time.Calendar.Quarter.Compat (Quarter (..))
528+-- >>> MkQuarter 8040
529+-- 2010-Q1
530+--
531+-- >>> toUrlPiece $ MkQuarter 8040
532+-- "2010-q1"
533+--
534+instance ToHttpApiData Quarter where
535+ toUrlPiece q = case toYearQuarter q of
536+ (y, qoy) -> T.pack (show y ++ "-" ++ f qoy)
537+ where
538+ f Q1 = "q1"
539+ f Q2 = "q2"
540+ f Q3 = "q3"
541+ f Q4 = "q4"
542+
543+-- |
544+-- >>> import Data.Time.Calendar.Month.Compat (Month (..))
545+-- >>> MkMonth 24482
546+-- 2040-03
547+--
548+-- >>> toUrlPiece $ MkMonth 24482
549+-- "2040-03"
550+--
551+instance ToHttpApiData Month where
552+ toUrlPiece = T.pack . formatTime defaultTimeLocale "%Y-%m"
553+
489instance ToHttpApiData NominalDiffTime where
554instance ToHttpApiData NominalDiffTime where
490− toUrlPiece = toUrlPiece . (floor :: NominalDiffTime -> Integer)
555+ toUrlPiece = toUrlPiece . nominalDiffTimeToSeconds
491 toEncodedUrlPiece = unsafeToEncodedUrlPiece
556 toEncodedUrlPiece = unsafeToEncodedUrlPiece
492
557
493instance ToHttpApiData String where toUrlPiece = T.pack
558instance ToHttpApiData String where toUrlPiece = T.pack
494instance ToHttpApiData Text where toUrlPiece = id
559instance ToHttpApiData Text where toUrlPiece = id
495instance ToHttpApiData L.Text where toUrlPiece = L.toStrict
560instance ToHttpApiData L.Text where toUrlPiece = L.toStrict
496
561
497−instance ToHttpApiData All where toUrlPiece = toUrlPiece . getAll; toEncodedUrlPiece = toEncodedUrlPiece . getAll
562+instance ToHttpApiData All where
563+ toUrlPiece = coerce (toUrlPiece :: Bool -> Text)
564+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Bool -> BS.Builder)
565+
498−instance ToHttpApiData Any where toUrlPiece = toUrlPiece . getAny; toEncodedUrlPiece = toEncodedUrlPiece . getAny
566+instance ToHttpApiData Any where
567+ toUrlPiece = coerce (toUrlPiece :: Bool -> Text)
568+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Bool -> BS.Builder)
499
569
500instance ToHttpApiData a => ToHttpApiData (Dual a) where
570instance ToHttpApiData a => ToHttpApiData (Dual a) where
501− toUrlPiece = toUrlPiece . getDual
571+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
502− toEncodedUrlPiece = toEncodedUrlPiece . getDual
572+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
503
573
504instance ToHttpApiData a => ToHttpApiData (Sum a) where
574instance ToHttpApiData a => ToHttpApiData (Sum a) where
505− toUrlPiece = toUrlPiece . getSum
575+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
506− toEncodedUrlPiece = toEncodedUrlPiece . getSum
576+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
507
577
508instance ToHttpApiData a => ToHttpApiData (Product a) where
578instance ToHttpApiData a => ToHttpApiData (Product a) where
509− toUrlPiece = toUrlPiece . getProduct
579+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
510− toEncodedUrlPiece = toEncodedUrlPiece . getProduct
580+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
511
581
512instance ToHttpApiData a => ToHttpApiData (First a) where
582instance ToHttpApiData a => ToHttpApiData (First a) where
513− toUrlPiece = toUrlPiece . getFirst
583+ toUrlPiece = coerce (toUrlPiece :: Maybe a -> Text)
514− toEncodedUrlPiece = toEncodedUrlPiece . getFirst
584+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Maybe a -> BS.Builder)
515
585
516instance ToHttpApiData a => ToHttpApiData (Last a) where
586instance ToHttpApiData a => ToHttpApiData (Last a) where
517− toUrlPiece = toUrlPiece . getLast
587+ toUrlPiece = coerce (toUrlPiece :: Maybe a -> Text)
588+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Maybe a -> BS.Builder)
589+
590+instance ToHttpApiData a => ToHttpApiData (Semi.Min a) where
591+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
592+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
593+
594+instance ToHttpApiData a => ToHttpApiData (Semi.Max a) where
595+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
596+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
597+
598+instance ToHttpApiData a => ToHttpApiData (Semi.First a) where
599+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
518− toEncodedUrlPiece = toEncodedUrlPiece . getLast
600+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
601+
602+instance ToHttpApiData a => ToHttpApiData (Semi.Last a) where
603+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
604+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
519
605
520-- |
606-- |
521-- >>> toUrlPiece (Just "Hello")
607-- >>> toUrlPiece (Just "Hello")
@@ -547,6 +633,27 @@ instance ToHttpApiData SetCookie where
547 toHeader = LBS.toStrict . BS.toLazyByteString . renderSetCookie
633 toHeader = LBS.toStrict . BS.toLazyByteString . renderSetCookie
548 -- toEncodedUrlPiece = renderSetCookie -- doesn't do things.
634 -- toEncodedUrlPiece = renderSetCookie -- doesn't do things.
549
635
636+-- | Note: this instance is not polykinded
637+instance ToHttpApiData a => ToHttpApiData (Tagged (b :: Type) a) where
638+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
639+ toHeader = coerce (toHeader :: a -> ByteString)
640+ toQueryParam = coerce (toQueryParam :: a -> Text)
641+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
642+
643+-- | @since 0.4.2
644+instance ToHttpApiData a => ToHttpApiData (Const a b) where
645+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
646+ toHeader = coerce (toHeader :: a -> ByteString)
647+ toQueryParam = coerce (toQueryParam :: a -> Text)
648+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
649+
650+-- | @since 0.4.2
651+instance ToHttpApiData a => ToHttpApiData (Identity a) where
652+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
653+ toHeader = coerce (toHeader :: a -> ByteString)
654+ toQueryParam = coerce (toQueryParam :: a -> Text)
655+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
656+
550-- |
657-- |
551-- >>> parseUrlPiece "_" :: Either Text ()
658-- >>> parseUrlPiece "_" :: Either Text ()
552-- Right ()
659-- Right ()
@@ -599,7 +706,8 @@ instance FromHttpApiData String where parseUrlPiece = Right . T.unpack
599instance FromHttpApiData Text where parseUrlPiece = Right
706instance FromHttpApiData Text where parseUrlPiece = Right
600instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict
707instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict
601
708
709+-- | Note: this instance is not polykinded
602−instance F.HasResolution a => FromHttpApiData (F.Fixed a) where
710+instance F.HasResolution a => FromHttpApiData (F.Fixed (a :: Type)) where
603 parseUrlPiece = runReader rational
711 parseUrlPiece = runReader rational
604
712
605-- |
713-- |
@@ -630,16 +738,57 @@ instance FromHttpApiData ZonedTime where parseUrlPiece = runAtto Atto.zonedTime
630-- Right 2015-10-03 00:14:24 UTC
738-- Right 2015-10-03 00:14:24 UTC
631instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime
739instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime
632
740
741+-- |
742+-- >>> parseUrlPiece "Monday" :: Either Text DayOfWeek
743+-- Right Monday
744+instance FromHttpApiData DayOfWeek where
745+ parseUrlPiece t = case Map.lookup (T.toLower t) m of
746+ Just dow -> Right dow
747+ Nothing -> Left $ "Incorrect DayOfWeek: " <> T.take 10 t
748+ where
749+ m :: Map.Map Text DayOfWeek
750+ m = Map.fromList [ (toUrlPiece dow, dow) | dow <- [Monday .. Sunday] ]
751+
752+
633−instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap fromInteger . parseUrlPiece
753+instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap secondsToNominalDiffTime . parseUrlPiece
634
754
635−instance FromHttpApiData All where parseUrlPiece = fmap All . parseUrlPiece
755+-- |
756+-- >>> parseUrlPiece "2021-01" :: Either Text Month
757+-- Right 2021-01
636−instance FromHttpApiData Any where parseUrlPiece = fmap Any . parseUrlPiece
758+instance FromHttpApiData Month where parseUrlPiece = runAtto Atto.month
637
759
760+-- |
761+-- >>> parseUrlPiece "2021-q1" :: Either Text Quarter
762+-- Right 2021-Q1
763+instance FromHttpApiData Quarter where parseUrlPiece = runAtto Atto.quarter
764+
765+-- |
766+-- >>> parseUrlPiece "q2" :: Either Text QuarterOfYear
767+-- Right Q2
768+--
769+-- >>> parseUrlPiece "Q3" :: Either Text QuarterOfYear
770+-- Right Q3
771+instance FromHttpApiData QuarterOfYear where
772+ parseUrlPiece t = case T.toLower t of
773+ "q1" -> return Q1
774+ "q2" -> return Q2
775+ "q3" -> return Q3
776+ "q4" -> return Q4
777+ _ -> Left "Invalid quarter of year"
778+
779+instance FromHttpApiData All where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)
780+instance FromHttpApiData Any where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)
781+
782+instance FromHttpApiData a => FromHttpApiData (Dual a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
638−instance FromHttpApiData a => FromHttpApiData (Dual a) where parseUrlPiece = fmap Dual . parseUrlPiece
783+instance FromHttpApiData a => FromHttpApiData (Sum a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
784+instance FromHttpApiData a => FromHttpApiData (Product a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
639−instance FromHttpApiData a => FromHttpApiData (Sum a) where parseUrlPiece = fmap Sum . parseUrlPiece
785+instance FromHttpApiData a => FromHttpApiData (First a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text (Maybe a))
786+instance FromHttpApiData a => FromHttpApiData (Last a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text (Maybe a))
787+
640−instance FromHttpApiData a => FromHttpApiData (Product a) where parseUrlPiece = fmap Product . parseUrlPiece
788+instance FromHttpApiData a => FromHttpApiData (Semi.Min a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
789+instance FromHttpApiData a => FromHttpApiData (Semi.Max a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
641−instance FromHttpApiData a => FromHttpApiData (First a) where parseUrlPiece = fmap First . parseUrlPiece
790+instance FromHttpApiData a => FromHttpApiData (Semi.First a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
642−instance FromHttpApiData a => FromHttpApiData (Last a) where parseUrlPiece = fmap Last . parseUrlPiece
791+instance FromHttpApiData a => FromHttpApiData (Semi.Last a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
643
792
644-- |
793-- |
645-- >>> parseUrlPiece "Just 123" :: Either Text (Maybe Int)
794-- >>> parseUrlPiece "Just 123" :: Either Text (Maybe Int)
@@ -690,6 +839,24 @@ instance FromHttpApiData SetCookie where
690 parseUrlPiece = parseHeader . encodeUtf8
839 parseUrlPiece = parseHeader . encodeUtf8
691 parseHeader = Right . parseSetCookie
840 parseHeader = Right . parseSetCookie
692
841
842+-- | Note: this instance is not polykinded
843+instance FromHttpApiData a => FromHttpApiData (Tagged (b :: Type) a) where
844+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
845+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
846+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
847+
848+-- | @since 0.4.2
849+instance FromHttpApiData a => FromHttpApiData (Const a b) where
850+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
851+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
852+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
853+
854+-- | @since 0.4.2
855+instance FromHttpApiData a => FromHttpApiData (Identity a) where
856+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
857+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
858+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
859+
693-------------------------------------------------------------------------------
860-------------------------------------------------------------------------------
694-- Attoparsec helpers
861-- Attoparsec helpers
695-------------------------------------------------------------------------------
862-------------------------------------------------------------------------------
test/Web/Internal/HttpApiDataSpec.hs+32−22
@@ -1,33 +1,38 @@
1−{-# LANGUAGE CPP #-}
2{-# LANGUAGE ScopedTypeVariables #-}
1{-# LANGUAGE ScopedTypeVariables #-}
3module Web.Internal.HttpApiDataSpec (spec) where
2module Web.Internal.HttpApiDataSpec (spec) where
4
3
5−import Control.Applicative
6−import qualified Data.Fixed as F
7−import Data.Int
8−import Data.Char
9−import Data.Word
10−import Data.Time
11−import qualified Data.Text as T
12−import qualified Data.Text.Encoding as TE
13−import qualified Data.Text.Lazy as L
14−import qualified Data.ByteString as BS
15−import Data.ByteString.Builder (toLazyByteString)
16−import Data.Version
17−import qualified Data.UUID.Types as UUID
18−import Web.Cookie (SetCookie, defaultSetCookie, setCookieName, setCookieValue)
19
4
20−import Data.Proxy
5+import Prelude ()
6+import Prelude.Compat
21
7
22−import Numeric.Natural
8+import qualified Data.ByteString as BS
9+import Data.ByteString.Builder (toLazyByteString)
10+import Data.Char
11+import qualified Data.Fixed as F
12+import Data.Int
13+import qualified Data.Text as T
14+import qualified Data.Text.Encoding as TE
15+import qualified Data.Text.Lazy as L
16+import Data.Time.Compat
17+import Data.Time.Calendar.Month.Compat (Month)
18+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..))
19+import qualified Data.UUID.Types as UUID
20+import Data.Version
21+import Data.Word
22+import Web.Cookie (SetCookie, defaultSetCookie,
23+ setCookieName, setCookieValue)
23
24
24−import Test.Hspec
25+import Data.Proxy
25−import Test.Hspec.QuickCheck(prop)
26−import Test.QuickCheck
27
26
28−import Web.Internal.HttpApiData
27+import Numeric.Natural
29
28
29+import Test.Hspec
30+import Test.Hspec.QuickCheck (prop)
31+import Test.QuickCheck
32+
33+import Web.Internal.HttpApiData
34+
30−import Web.Internal.TestInstances
35+import Web.Internal.TestInstances
31
36
32(<=>) :: forall a b. (Show a, Show b, Eq a) => (a -> b) -> (b -> Either T.Text a) -> a -> Property
37(<=>) :: forall a b. (Show a, Show b, Eq a) => (a -> b) -> (b -> Either T.Text a) -> a -> Property
33(f <=> g) x = counterexample
38(f <=> g) x = counterexample
@@ -83,6 +88,11 @@ spec = do
83 checkUrlPiece (Proxy :: Proxy ZonedTime) "ZonedTime"
88 checkUrlPiece (Proxy :: Proxy ZonedTime) "ZonedTime"
84 checkUrlPiece (Proxy :: Proxy UTCTime) "UTCTime"
89 checkUrlPiece (Proxy :: Proxy UTCTime) "UTCTime"
85 checkUrlPiece (Proxy :: Proxy NominalDiffTime) "NominalDiffTime"
90 checkUrlPiece (Proxy :: Proxy NominalDiffTime) "NominalDiffTime"
91+ checkUrlPiece (Proxy :: Proxy DayOfWeek) "DayOfWeek"
92+ checkUrlPiece (Proxy :: Proxy Quarter) "Quarter"
93+ checkUrlPiece (Proxy :: Proxy QuarterOfYear) "QuarterOfYear"
94+ checkUrlPiece (Proxy :: Proxy Month) "Month"
95+ checkUrlPiece (Proxy :: Proxy DayOfWeek) "DayOfWeek"
86 checkUrlPiece (Proxy :: Proxy Version) "Version"
96 checkUrlPiece (Proxy :: Proxy Version) "Version"
87 checkUrlPiece (Proxy :: Proxy UUID.UUID) "UUID"
97 checkUrlPiece (Proxy :: Proxy UUID.UUID) "UUID"
88 checkUrlPiece' setCookieGen "Cookie"
98 checkUrlPiece' setCookieGen "Cookie"
test/Web/Internal/TestInstances.hs+1−1
@@ -12,7 +12,7 @@ import Control.Applicative
12import Data.Char
12import Data.Char
13import qualified Data.HashMap.Strict as HashMap
13import qualified Data.HashMap.Strict as HashMap
14import qualified Data.Text as T
14import qualified Data.Text as T
15−import Data.Time
15+import Data.Time.Compat
16import GHC.Exts (fromList)
16import GHC.Exts (fromList)
17import GHC.Generics
17import GHC.Generics
18
18
test/doctests.hsdeleted−25
@@ -1,25 +0,0 @@
1−-----------------------------------------------------------------------------
2−-- |
3−-- Module : Main (doctests)
4−-- Copyright : (C) 2012-14 Edward Kmett
5−-- License : BSD-style (see the file LICENSE)
6−-- Maintainer : Edward Kmett <ekmett@gmail.com>
7−-- Stability : provisional
8−-- Portability : portable
9−--
10−-- This module provides doctests for a project based on the actual versions
11−-- of the packages it was built with. It requires a corresponding Setup.lhs
12−-- to be added to the project
13−-----------------------------------------------------------------------------
14−module Main where
15−
16−import Build_doctests (flags, pkgs, module_sources)
17−import Data.Foldable (traverse_)
18−import Test.DocTest
19−
20−main :: IO ()
21−main = do
22− traverse_ putStrLn args
23− doctest args
24− where
25− args = flags ++ pkgs ++ module_sources