ccf757d...master · typeable/http-api-data

git.iko.soy/typeable/http-api-data

.ghcideleted−1

since splitsnapshots

@@ -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−162

@@ -1,162 +0,0 @@

1−# This Travis job script has been generated by a script via

2−#

3−# haskell-ci '--config=cabal.haskell-ci' 'http-api-data.cabal'

4−#

5−# For more information, see https://github.com/haskell-CI/haskell-ci

6−#

7−# version: 0.5.20190908

8−#

9−language: c

10−dist: xenial

11−git:

12− # whether to recursively clone submodules

13− submodules: false

14−branches:

15− only:

16− - master

17−cache:

18− directories:

19− - $HOME/.cabal/packages

20− - $HOME/.cabal/store

21−before_cache:

22− - rm -fv $CABALHOME/packages/hackage.haskell.org/build-reports.log

23− # remove files that are regenerated by 'cabal update'

24− - rm -fv $CABALHOME/packages/hackage.haskell.org/00-index.*

25− - rm -fv $CABALHOME/packages/hackage.haskell.org/*.json

26− - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.cache

27− - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar

28− - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar.idx

29− - rm -rfv $CABALHOME/packages/head.hackage

30−matrix:

31− include:

32− - compiler: ghc-8.8.1

33− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.8.1","cabal-install-3.0"]}}

34− - compiler: ghc-8.6.5

35− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.6.5","cabal-install-3.0"]}}

36− - compiler: ghc-8.4.4

37− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.4.4","cabal-install-3.0"]}}

38− - compiler: ghc-8.2.2

39− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.2.2","cabal-install-3.0"]}}

40− - compiler: ghc-8.0.2

41− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.0.2","cabal-install-3.0"]}}

42− - compiler: ghc-7.10.3

43− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-7.10.3","cabal-install-3.0"]}}

44− - compiler: ghc-7.8.4

45− addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-7.8.4","cabal-install-3.0"]}}

46−before_install:

47− - HC=$(echo "/opt/$CC/bin/ghc" | sed 's/-/\//')

48− - WITHCOMPILER="-w $HC"

49− - HADDOCK=$(echo "/opt/$CC/bin/haddock" | sed 's/-/\//')

50− - HCPKG="$HC-pkg"

51− - unset CC

52− - CABAL=/opt/ghc/bin/cabal

53− - CABALHOME=$HOME/.cabal

54− - export PATH="$CABALHOME/bin:$PATH"

55− - TOP=$(pwd)

56− - "HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\\d+)\\.(\\d+)\\.(\\d+)(\\.(\\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')"

57− - echo $HCNUMVER

58− - CABAL="$CABAL -vnormal+nowrap+markoutput"

59− - set -o pipefail

60− - |

61− echo 'function blue(s) { printf "\033[0;34m" s "\033[0m " }' >> .colorful.awk

62− echo 'BEGIN { state = "output"; }' >> .colorful.awk

63− echo '/^-----BEGIN CABAL OUTPUT-----$/ { state = "cabal" }' >> .colorful.awk

64− echo '/^-----END CABAL OUTPUT-----$/ { state = "output" }' >> .colorful.awk

65− echo '!/^(-----BEGIN CABAL OUTPUT-----|-----END CABAL OUTPUT-----)/ {' >> .colorful.awk

66− echo ' if (state == "cabal") {' >> .colorful.awk

67− echo ' print blue($0)' >> .colorful.awk

68− echo ' } else {' >> .colorful.awk

69− echo ' print $0' >> .colorful.awk

70− echo ' }' >> .colorful.awk

71− echo '}' >> .colorful.awk

72− - cat .colorful.awk

73− - |

74− color_cabal_output () {

75− awk -f $TOP/.colorful.awk

76− }

77− - echo text | color_cabal_output

78−install:

79− - ${CABAL} --version

80− - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"

81− - TEST=--enable-tests

82− - BENCH=--enable-benchmarks

83− - HEADHACKAGE=false

84− - rm -f $CABALHOME/config

85− - |

86− echo "verbose: normal +nowrap +markoutput" >> $CABALHOME/config

87− echo "remote-build-reporting: anonymous" >> $CABALHOME/config

88− echo "write-ghc-environment-files: always" >> $CABALHOME/config

89− echo "remote-repo-cache: $CABALHOME/packages" >> $CABALHOME/config

90− echo "logs-dir: $CABALHOME/logs" >> $CABALHOME/config

91− echo "world-file: $CABALHOME/world" >> $CABALHOME/config

92− echo "extra-prog-path: $CABALHOME/bin" >> $CABALHOME/config

93− echo "symlink-bindir: $CABALHOME/bin" >> $CABALHOME/config

94− echo "installdir: $CABALHOME/bin" >> $CABALHOME/config

95− echo "build-summary: $CABALHOME/logs/build.log" >> $CABALHOME/config

96− echo "store-dir: $CABALHOME/store" >> $CABALHOME/config

97− echo "install-dirs user" >> $CABALHOME/config

98− echo " prefix: $CABALHOME" >> $CABALHOME/config

99− echo "repository hackage.haskell.org" >> $CABALHOME/config

100− echo " url: http://hackage.haskell.org/" >> $CABALHOME/config

101− - |

102− echo "program-default-options" >> $CABALHOME/config

103− echo " ghc-options: $GHCJOBS +RTS -M6G -RTS" >> $CABALHOME/config

104− - cat $CABALHOME/config

105− - rm -fv cabal.project cabal.project.local cabal.project.freeze

106− - travis_retry ${CABAL} v2-update -v

107− # Generate cabal.project

108− - rm -rf cabal.project cabal.project.local cabal.project.freeze

109− - touch cabal.project

110− - |

111− echo "packages: ." >> cabal.project

112− - |

113− - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(http-api-data)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"

114− - cat cabal.project || true

115− - cat cabal.project.local || true

116− - if [ -f "./configure.ac" ]; then (cd "." && autoreconf -i); fi

117− - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH} | color_cabal_output

118− - "cat cabal.project.freeze | sed -E 's/^(constraints: *| *)//' | sed 's/any.//'"

119− - rm cabal.project.freeze

120− - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all | color_cabal_output

121− - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all | color_cabal_output

122−script:

123− - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)

124− # Packaging...

125− - ${CABAL} v2-sdist all | color_cabal_output

126− # Unpacking...

127− - mv dist-newstyle/sdist/*.tar.gz ${DISTDIR}/

128− - cd ${DISTDIR} || false

129− - find . -maxdepth 1 -type f -name '*.tar.gz' -exec tar -xvf '{}' \;

130− - find . -maxdepth 1 -type f -name '*.tar.gz' -exec rm '{}' \;

131− - PKGDIR_http_api_data="$(find . -maxdepth 1 -type d -regex '.*/http-api-data-[0-9.]*')"

132− # Generate cabal.project

133− - rm -rf cabal.project cabal.project.local cabal.project.freeze

134− - touch cabal.project

135− - |

136− echo "packages: ${PKGDIR_http_api_data}" >> cabal.project

137− - |

138− - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(http-api-data)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"

139− - cat cabal.project || true

140− - cat cabal.project.local || true

141− # Building...

142− # this builds all libraries and executables (without tests/benchmarks)

143− - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all | color_cabal_output

144− # Building with tests and benchmarks...

145− # build & run tests, build benchmarks

146− - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all | color_cabal_output

147− # Testing...

148− - ${CABAL} v2-test $WITHCOMPILER ${TEST} ${BENCH} all | color_cabal_output

149− # cabal check...

150− - (cd ${PKGDIR_http_api_data} && ${CABAL} -vnormal check)

151− # haddock...

152− - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all | color_cabal_output

153− # Building without installed constraints for packages in global-db...

154− - rm -f cabal.project.local

155− - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all | color_cabal_output

156− # Constraint sets

157− - rm -rf cabal.project.local

158− # Constraint set text-show

159− - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='http-api-data +use-text-show' all | color_cabal_output

160−

161−# REGENDATA ["--config=cabal.haskell-ci","http-api-data.cabal"]

162−# EOF

CHANGELOG.md+24

@@ -1,3 +1,27 @@

1+0.5

2+---

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.

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+

10.4.1

250.4.1

2-----

26-----

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-ci+2

@@ -1,4 +1,6 @@

1branches: master

2+doctest: <9

3+doctest-filter-packages: base-compat

3constraint-set text-show

5constraint-set text-show

4 constraints: http-api-data +use-text-show

6 constraints: http-api-data +use-text-show

cabal.project+1−1

@@ -1,2 +1,2 @@

1packages: .

2−tests: true

2+tests: True

http-api-data.cabal+28−54

@@ -1,7 +1,6 @@

1cabal-version: >= 1.10

2name: http-api-data

3−version: 0.4.1

3+version: 0.5

4−x-revision: 2

6synopsis: 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.

7category: Web

6category: Web

@@ -16,7 +15,7 @@ author: Nickolay Kudasov <nickolay.kudasov@gmail.com>

16maintainer: Nickolay Kudasov <nickolay.kudasov@gmail.com>

15maintainer: Nickolay Kudasov <nickolay.kudasov@gmail.com>

17homepage: http://github.com/fizruk/http-api-data

16homepage: http://github.com/fizruk/http-api-data

18stability: unstable

17stability: unstable

19−build-type: Custom

18+build-type: Simple

21extra-source-files:

20extra-source-files:

22 include/overlapping-compat.h

21 include/overlapping-compat.h

@@ -25,19 +24,15 @@ extra-source-files:

25 README.md

24 README.md

27tested-with:

26tested-with:

28− GHC==7.8.4,

29− GHC==7.10.3,

30 GHC==8.0.2,

27 GHC==8.0.2,

31 GHC==8.2.2,

28 GHC==8.2.2,

32 GHC==8.4.4,

29 GHC==8.4.4,

33 GHC==8.6.5,

30 GHC==8.6.5,

34− GHC==8.8.1

31+ GHC==8.8.4,

35−

32+ GHC==8.10.7,

36−custom-setup

33+ GHC==9.0.2,

37− setup-depends:

34+ GHC==9.2.3,

38− base,

35+ GHC==9.4.1

39− Cabal,

40− cabal-doctest >=1.0.6 && <1.1

42flag use-text-show

37flag use-text-show

43 description: Use text-show library for efficient ToHttpApiData implementations.

38 description: Use text-show library for efficient ToHttpApiData implementations.

@@ -49,39 +44,28 @@ library

49 include-dirs: include/

44 include-dirs: include/

51 -- GHC bundled

46 -- GHC bundled

52− build-depends: base >= 4.7 && < 4.14

47+ build-depends: base >= 4.9 && < 4.17

53− , bytestring >= 0.10.4.0 && < 0.11

48+ , bytestring >= 0.10.8.1 && < 0.12

54− , containers >= 0.5.5.1 && < 0.7

49+ , containers >= 0.5.7.1 && < 0.7

55− , text >= 1.2.3.0 && < 1.3

50+ , text >= 1.2.3.0 && < 1.3 || >=2.0 && <2.1

56−

51+ , transformers >= 0.5.2.0 && < 0.7

57− -- so Semigroup Builder exists

58− if impl(ghc >= 8.0)

59− build-depends: bytestring >= 0.10.8.1

61 -- other-dependencies

53 -- other-dependencies

62 build-depends:

54 build-depends:

63− attoparsec >= 0.13.2.2 && < 0.14

55+ attoparsec >= 0.13.2.2 && < 0.15

64− , attoparsec-iso8601 >= 1.0.1.0 && < 1.1

56+ , attoparsec-iso8601 >= 1.1.0.0 && < 1.2

65− , base-compat >= 0.10.5 && < 0.12

57+ , base-compat >= 0.10.5 && < 0.13

66− , cookie >= 0.4.3 && < 0.4.5

58+ , cookie >= 0.4.3 && < 0.5

67− , hashable >= 1.2.7.0 && < 1.4

59+ , hashable >= 1.2.7.0 && < 1.5

68 , http-types >= 0.12.3 && < 0.13

60 , http-types >= 0.12.3 && < 0.13

69 , tagged >= 0.8.5 && < 0.9

61 , tagged >= 0.8.5 && < 0.9

70− , time-compat >= 1.9.2 && < 1.10

62+ , time-compat >= 1.9.5 && < 1.10

71− , unordered-containers >= 0.2.10.0 && < 0.3

63+ , unordered-containers >= 0.2.10.0 && < 0.3

72− , uuid-types >= 1.0.3 && <1.1

64+ , uuid-types >= 1.0.3 && < 1.1

73−

74− if !impl(ghc >= 7.10)

75− build-depends:

76− nats >= 1.1.2 && < 1.2,

77− void >= 0.7.3 && < 0.8

78−

79− if !impl(ghc >= 8.0)

80− build-depends: semigroups >= 0.18.5 && < 0.20

82 if flag(use-text-show)

66 if flag(use-text-show)

83 cpp-options: -DUSE_TEXT_SHOW

67 cpp-options: -DUSE_TEXT_SHOW

84− build-depends: text-show >= 3.8.2 && <3.9

68+ build-depends: text-show >= 3.8.2 && <3.10

86 exposed-modules:

70 exposed-modules:

87 Web.HttpApiData

71 Web.HttpApiData

@@ -101,7 +85,7 @@ test-suite spec

101 hs-source-dirs: test

85 hs-source-dirs: test

102 ghc-options: -Wall

86 ghc-options: -Wall

103 default-language: Haskell2010

87 default-language: Haskell2010

104− build-tool-depends: hspec-discover:hspec-discover >= 2.7.1 && <2.8

88+ build-tool-depends: hspec-discover:hspec-discover >= 2.7.1 && <2.11

105 -- inherited depndencies

89 -- inherited depndencies

106 build-depends:

90 build-depends:

107 base

91 base

@@ -109,28 +93,18 @@ test-suite spec

109 , bytestring

93 , bytestring

110 , cookie

94 , cookie

111 , http-api-data

95 , http-api-data

112− , nats

113 , text

96 , text

114 , time-compat

97 , time-compat

115 , unordered-containers

98 , unordered-containers

116 , uuid-types

99 , uuid-types

117

100

101+ if !impl(ghc >= 7.10)

118− build-depends: HUnit >= 1.6.0.0 && <1.7

102+ build-depends: nats

119− , hspec >= 2.7.1 && <2.8

120− , QuickCheck >= 2.13.1 && <2.14

121− , quickcheck-instances >= 0.3.21 && <0.4

122

103

123−test-suite doctests

124− ghc-options: -Wall

125− build-depends:

104+ build-depends: HUnit >= 1.6.0.0 && <1.7

126− base,

105+ , hspec >= 2.7.1 && <2.11

127− directory >= 1.0,

106+ , QuickCheck >= 2.13.1 && <2.15

128− doctest >= 0.16.0 && <0.17,

107+ , quickcheck-instances >= 0.3.25.2 && <0.4

129− filepath

130− default-language: Haskell2010

131− hs-source-dirs: test

132− main-is: doctests.hs

133− type: exitcode-stdio-1.0

134

108

135source-repository head

109source-repository head

136 type: git

110 type: git

src/Web/Internal/FormUrlEncoded.hs+25−1

@@ -1,5 +1,5 @@

1−{-# LANGUAGE CPP #-}

2{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2+{-# LANGUAGE CPP #-}

3{-# LANGUAGE DataKinds #-}

4{-# LANGUAGE DefaultSignatures #-}

5{-# LANGUAGE DeriveGeneric #-}

@@ -20,6 +20,7 @@ module Web.Internal.FormUrlEncoded where

20import Prelude ()

21import Prelude.Compat

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)

@@ -27,6 +28,7 @@ import qualified Data.ByteString.Lazy as BSL

27import qualified Data.ByteString.Lazy.Char8 as BSL8

28import qualified Data.ByteString.Lazy.Char8 as BSL8

28import Data.Coerce (coerce)

29import Data.Coerce (coerce)

29import qualified Data.Foldable as F

30import qualified Data.Foldable as F

31+import Data.Functor.Identity (Identity(Identity))

30import Data.Hashable (Hashable)

32import Data.Hashable (Hashable)

31import Data.HashMap.Strict (HashMap)

33import Data.HashMap.Strict (HashMap)

32import qualified Data.HashMap.Strict as HashMap

34import qualified Data.HashMap.Strict as HashMap

@@ -50,6 +52,8 @@ import Data.Text.Encoding.Error (lenientDecode)

50import qualified Data.Text.Lazy as Lazy

52import qualified Data.Text.Lazy as Lazy

51import Data.Time.Compat (Day, LocalTime, NominalDiffTime,

53import Data.Time.Compat (Day, LocalTime, NominalDiffTime,

52 UTCTime, ZonedTime)

54 UTCTime, ZonedTime)

55+import Data.Time.Calendar.Month.Compat (Month)

56+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..))

53import Data.Void (Void)

57import Data.Void (Void)

54import Data.Word (Word16, Word32, Word64, Word8)

58import Data.Word (Word16, Word32, Word64, Word8)

55import GHC.Exts (Constraint, IsList (..))

59import GHC.Exts (Constraint, IsList (..))

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

@@ -130,6 +137,13 @@ instance ToFormKey a => ToFormKey (Semi.Last a) where toFormKey = coerce (toFor

130

137

131instance ToFormKey a => ToFormKey (Tagged b a) where toFormKey = coerce (toFormKey :: a -> Text)

138instance ToFormKey a => ToFormKey (Tagged b a) where toFormKey = coerce (toFormKey :: a -> Text)

132

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)

146+

133instance ToFormKey Void where toFormKey = toQueryParam

147instance ToFormKey Void where toFormKey = toQueryParam

134instance ToFormKey Natural where toFormKey = toQueryParam

148instance ToFormKey Natural where toFormKey = toQueryParam

135

149

@@ -163,6 +177,9 @@ instance FromFormKey LocalTime where parseFormKey = parseQueryParam

163instance FromFormKey ZonedTime where parseFormKey = parseQueryParam

177instance FromFormKey ZonedTime where parseFormKey = parseQueryParam

164instance FromFormKey UTCTime where parseFormKey = parseQueryParam

178instance FromFormKey UTCTime where parseFormKey = parseQueryParam

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

166

183

167instance FromFormKey String where parseFormKey = parseQueryParam

184instance FromFormKey String where parseFormKey = parseQueryParam

168instance FromFormKey Text where parseFormKey = parseQueryParam

185instance FromFormKey Text where parseFormKey = parseQueryParam

@@ -182,6 +199,13 @@ instance FromFormKey a => FromFormKey (Semi.Last a) where parseFormKey = coerce

182

199

183instance FromFormKey a => FromFormKey (Tagged b a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)

200instance FromFormKey a => FromFormKey (Tagged b a) where parseFormKey = coerce (parseFormKey :: Text -> Either Text a)

184

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)

208+

185instance FromFormKey Void where parseFormKey = parseQueryParam

209instance FromFormKey Void where parseFormKey = parseQueryParam

186instance FromFormKey Natural where parseFormKey = parseQueryParam

210instance FromFormKey Natural where parseFormKey = parseQueryParam

187

211

src/Web/Internal/HttpApiData.hs+107−12

@@ -5,7 +5,9 @@

5{-# LANGUAGE DeriveFunctor #-}

6{-# LANGUAGE DeriveTraversable #-}

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

@@ -16,6 +18,7 @@ module Web.Internal.HttpApiData where

16import Prelude ()

18import Prelude ()

17import Prelude.Compat

19import Prelude.Compat

21+import Control.Applicative (Const(Const))

19import Control.Arrow (left, (&&&))

22import Control.Arrow (left, (&&&))

20import Control.Monad ((<=<))

23import Control.Monad ((<=<))

21import qualified Data.Attoparsec.Text as Atto

24import qualified Data.Attoparsec.Text as Atto

@@ -27,7 +30,9 @@ import qualified Data.ByteString.Lazy as LBS

27import Data.Coerce (coerce)

30import Data.Coerce (coerce)

28import Data.Data (Data)

31import Data.Data (Data)

29import qualified Data.Fixed as F

32import qualified Data.Fixed as F

33+import Data.Functor.Identity (Identity(Identity))

30import Data.Int (Int16, Int32, Int64, Int8)

34import Data.Int (Int16, Int32, Int64, Int8)

35+import Data.Kind (Type)

31import qualified Data.Map as Map

36import qualified Data.Map as Map

32import Data.Monoid (All (..), Any (..), Dual (..),

37import Data.Monoid (All (..), Any (..), Dual (..),

33 First (..), Last (..),

38 First (..), Last (..),

@@ -51,6 +56,9 @@ import Data.Time.Compat (Day, FormatTime, LocalTime,

51 secondsToNominalDiffTime)

56 secondsToNominalDiffTime)

52import Data.Time.Format.Compat (defaultTimeLocale,

57import Data.Time.Format.Compat (defaultTimeLocale,

53 iso8601DateFormat)

58 iso8601DateFormat)

59+import Data.Time.Calendar.Month.Compat (Month)

60+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..),

61+ toYearQuarter)

54import Data.Typeable (Typeable)

62import Data.Typeable (Typeable)

55import qualified Data.UUID.Types as UUID

63import qualified Data.UUID.Types as UUID

56import Data.Version (Version, parseVersion,

64import Data.Version (Version, parseVersion,

@@ -64,14 +72,10 @@ import Text.Read (readMaybe)

64import Web.Cookie (SetCookie, parseSetCookie,

72import Web.Cookie (SetCookie, parseSetCookie,

65 renderSetCookie)

73 renderSetCookie)

67−

68#if USE_TEXT_SHOW

75#if USE_TEXT_SHOW

69import TextShow (TextShow, showt)

76import TextShow (TextShow, showt)

70#endif

77#endif

72−

73−

74−

75-- $setup

79-- $setup

76-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)

80-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)

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

@@ -92,7 +96,7 @@ class ToHttpApiData a where

92 -- The default definition uses 'H.encodePathSegmentsRelative',

96 -- The default definition uses 'H.encodePathSegmentsRelative',

93 -- but this may be overriden with a more efficient version.

97 -- but this may be overriden with a more efficient version.

94 toEncodedUrlPiece :: a -> BS.Builder

98 toEncodedUrlPiece :: a -> BS.Builder

95− toEncodedUrlPiece = H.encodePathSegmentsRelative . (:[]) . toUrlPiece

99+ toEncodedUrlPiece = H.urlEncodeBuilder True . encodeUtf8 . toUrlPiece

100

97 -- | Convert to HTTP header value.

101 -- | Convert to HTTP header value.

98 toHeader :: a -> ByteString

102 toHeader :: a -> ByteString

@@ -334,7 +338,7 @@ lookupBoundedEnumOf f = flip lookup (map (f &&& id) [minBound..maxBound])

334-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool

338-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool

335-- Right True

339-- Right True

336--

340--

337−-- For case sensitive parser see 'parseBoundedEnumOfI'.

341+-- For case insensitive parser see 'parseBoundedEnumOfI'.

338parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a

342parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a

339parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf

343parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf

340

344

@@ -455,7 +459,8 @@ instance ToHttpApiData Word16 where toUrlPiece = showt; toEncodedUrlPiece = un

455instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece

459instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece

456instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece

460instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece

457

461

462+-- | Note: this instance is not polykinded

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

459

464

460-- |

465-- |

461-- >>> toUrlPiece (fromGregorian 2015 10 03)

466-- >>> toUrlPiece (fromGregorian 2015 10 03)

@@ -509,6 +514,42 @@ instance ToHttpApiData DayOfWeek where

509

514

510 toEncodedUrlPiece = unsafeToEncodedUrlPiece

515 toEncodedUrlPiece = unsafeToEncodedUrlPiece

511

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"

512

553

513instance ToHttpApiData NominalDiffTime where

554instance ToHttpApiData NominalDiffTime where

514 toUrlPiece = toUrlPiece . nominalDiffTimeToSeconds

555 toUrlPiece = toUrlPiece . nominalDiffTimeToSeconds

@@ -592,7 +633,22 @@ instance ToHttpApiData SetCookie where

592 toHeader = LBS.toStrict . BS.toLazyByteString . renderSetCookie

633 toHeader = LBS.toStrict . BS.toLazyByteString . renderSetCookie

593 -- toEncodedUrlPiece = renderSetCookie -- doesn't do things.

634 -- toEncodedUrlPiece = renderSetCookie -- doesn't do things.

594

635

636+-- | Note: this instance is not polykinded

595−instance ToHttpApiData a => ToHttpApiData (Tagged b a) where

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

596 toUrlPiece = coerce (toUrlPiece :: a -> Text)

652 toUrlPiece = coerce (toUrlPiece :: a -> Text)

597 toHeader = coerce (toHeader :: a -> ByteString)

653 toHeader = coerce (toHeader :: a -> ByteString)

598 toQueryParam = coerce (toQueryParam :: a -> Text)

654 toQueryParam = coerce (toQueryParam :: a -> Text)

@@ -650,7 +706,8 @@ instance FromHttpApiData String where parseUrlPiece = Right . T.unpack

650instance FromHttpApiData Text where parseUrlPiece = Right

706instance FromHttpApiData Text where parseUrlPiece = Right

651instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict

707instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict

652

708

709+-- | Note: this instance is not polykinded

653−instance F.HasResolution a => FromHttpApiData (F.Fixed a) where

710+instance F.HasResolution a => FromHttpApiData (F.Fixed (a :: Type)) where

654 parseUrlPiece = runReader rational

711 parseUrlPiece = runReader rational

655

712

656-- |

713-- |

@@ -681,6 +738,9 @@ instance FromHttpApiData ZonedTime where parseUrlPiece = runAtto Atto.zonedTime

681-- Right 2015-10-03 00:14:24 UTC

738-- Right 2015-10-03 00:14:24 UTC

682instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime

739instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime

683

740

741+-- |

742+-- >>> parseUrlPiece "Monday" :: Either Text DayOfWeek

743+-- Right Monday

684instance FromHttpApiData DayOfWeek where

744instance FromHttpApiData DayOfWeek where

685 parseUrlPiece t = case Map.lookup (T.toLower t) m of

745 parseUrlPiece t = case Map.lookup (T.toLower t) m of

686 Just dow -> Right dow

746 Just dow -> Right dow

@@ -692,6 +752,30 @@ instance FromHttpApiData DayOfWeek where

692

752

693instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap secondsToNominalDiffTime . parseUrlPiece

753instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap secondsToNominalDiffTime . parseUrlPiece

694

754

755+-- |

756+-- >>> parseUrlPiece "2021-01" :: Either Text Month

757+-- Right 2021-01

758+instance FromHttpApiData Month where parseUrlPiece = runAtto Atto.month

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+

695instance FromHttpApiData All where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)

779instance FromHttpApiData All where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)

696instance FromHttpApiData Any where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)

780instance FromHttpApiData Any where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)

697

781

@@ -755,7 +839,20 @@ instance FromHttpApiData SetCookie where

755 parseUrlPiece = parseHeader . encodeUtf8

839 parseUrlPiece = parseHeader . encodeUtf8

756 parseHeader = Right . parseSetCookie

840 parseHeader = Right . parseSetCookie

757

841

842+-- | Note: this instance is not polykinded

758−instance FromHttpApiData a => FromHttpApiData (Tagged b a) where

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

759 parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)

856 parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)

760 parseHeader = coerce (parseHeader :: ByteString -> Either Text a)

857 parseHeader = coerce (parseHeader :: ByteString -> Either Text a)

761 parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)

858 parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)

@@ -768,5 +865,3 @@ runAtto :: Atto.Parser a -> Text -> Either Text a

768runAtto p t = case Atto.parseOnly (p <* Atto.endOfInput) t of

865runAtto p t = case Atto.parseOnly (p <* Atto.endOfInput) t of

769 Left err -> Left (T.pack err)

866 Left err -> Left (T.pack err)

770 Right x -> Right x

867 Right x -> Right x

771−

772−

test/Web/Internal/HttpApiDataSpec.hs+6

@@ -14,6 +14,8 @@ import qualified Data.Text as T

14import qualified Data.Text.Encoding as TE

15import qualified Data.Text.Lazy as L

16import Data.Time.Compat

17+import Data.Time.Calendar.Month.Compat (Month)

18+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..))

17import qualified Data.UUID.Types as UUID

19import qualified Data.UUID.Types as UUID

18import Data.Version

20import Data.Version

19import Data.Word

21import Data.Word

@@ -87,6 +89,10 @@ spec = do

87 checkUrlPiece (Proxy :: Proxy UTCTime) "UTCTime"

89 checkUrlPiece (Proxy :: Proxy UTCTime) "UTCTime"

88 checkUrlPiece (Proxy :: Proxy NominalDiffTime) "NominalDiffTime"

90 checkUrlPiece (Proxy :: Proxy NominalDiffTime) "NominalDiffTime"

89 checkUrlPiece (Proxy :: Proxy DayOfWeek) "DayOfWeek"

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"

90 checkUrlPiece (Proxy :: Proxy Version) "Version"

96 checkUrlPiece (Proxy :: Proxy Version) "Version"

91 checkUrlPiece (Proxy :: Proxy UUID.UUID) "UUID"

97 checkUrlPiece (Proxy :: Proxy UUID.UUID) "UUID"

92 checkUrlPiece' setCookieGen "Cookie"

98 checkUrlPiece' setCookieGen "Cookie"

test/doctests.hsdeleted−25

@@ -1,25 +0,0 @@

1−-----------------------------------------------------------------------------

2−-- |

3−-- Module : Main (doctests)

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