master..e3f3d5c · typeable/generic-arbitrary

git.iko.soy/typeable/generic-arbitrary

on e3f3d5c help sign in

.github/workflows/haskell-ci.ymldeleted−29

since splitsnapshots

unifiedsplit

@@ -1,29 +0,0 @@

1−name: Haskell-CI

2−on: [push, pull_request]

3−jobs:

4− linux:

5− name: GHC-${{ matrix.ghc-version }}

6− runs-on: ubuntu-latest

7− strategy:

8− matrix:

9− ghc-version:

10− - 8.6.5

11− - 8.10.7

12− - 9.0.2

13− - 9.2.4

14− - 9.4.3

15− - 9.8.1

16− steps:

17− - uses: actions/checkout@v3

18− - uses: haskell/actions/setup@v2

19− with:

20− enable-stack: true

21− ghc-version: ${{ matrix.ghc-version }}

22− stack-version: 'latest'

23− - uses: actions/cache@v3

24− with:

25− path: |

26− ~/.stack

27− ./.stack-work

28− key: ${{ matrix.ghc-version }}

29− - run: stack --stack-yaml ghc-${{ matrix.ghc-version }}.yaml --install-ghc test --fast --haddock

.gitignore−2

@@ -3,5 +3,3 @@ dist

3.stack-work

4.cabal-sandbox/

5cabal.sandbox.config

6−dist-newstyle

7−TAGS

.travis.yml+87−22

@@ -1,11 +1,9 @@

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

3−# haskell-ci 'generic-arbitrary.cabal' '--output' '.travis.yml'

3+# haskell-ci '--config=cabal.haskell-ci' 'cabal.project'

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

7−# version: 0.9.20200406

8−#

9version: ~> 1.0

7version: ~> 1.0

10language: c

8language: c

11os: linux

9os: linux

@@ -13,11 +11,15 @@ dist: xenial

13git:

11git:

14 # whether to recursively clone submodules

12 # whether to recursively clone submodules

15 submodules: false

13 submodules: false

14+branches:

15+ only:

16+ - master

16cache:

17cache:

17 directories:

18 directories:

18 - $HOME/.cabal/packages

19 - $HOME/.cabal/packages

19 - $HOME/.cabal/store

20 - $HOME/.cabal/store

20 - $HOME/.hlint

21 - $HOME/.hlint

22+ - $HOME/.ghc-install

21before_cache:

23before_cache:

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

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

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

25 # remove files that are regenerated by 'cabal update'

@@ -32,31 +34,42 @@ jobs:

32 - compiler: ghc-8.10.1

34 - compiler: ghc-8.10.1

33 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.10.1","cabal-install-3.2"]}}

35 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.10.1","cabal-install-3.2"]}}

34 os: linux

36 os: linux

37+ - compiler: ghc-8.8.3

38+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.8.3","cabal-install-3.2"]}}

39+ os: linux

35 - compiler: ghc-8.6.5

40 - compiler: ghc-8.6.5

36 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.6.5","cabal-install-3.2"]}}

41 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.6.5","cabal-install-3.2"]}}

37 os: linux

42 os: linux

38− - compiler: ghc-8.4.1

43+ - compiler: ghc-8.4.4

39− addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.4.1","cabal-install-3.2"]}}

44+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.4.4","cabal-install-3.2"]}}

40 os: linux

45 os: linux

41 - compiler: ghc-8.2.2

46 - compiler: ghc-8.2.2

42 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.2.2","cabal-install-3.2"]}}

47 addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.2.2","cabal-install-3.2"]}}

43 os: linux

48 os: linux

44− - compiler: ghc-8.0.2

49+ - compiler: ghc-head

45− addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.0.2","cabal-install-3.2"]}}

50+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-head","cabal-install-head"]}}

46− os: linux

47− - compiler: ghc-7.10.3

48− addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-7.10.3","cabal-install-3.2"]}}

49 os: linux

51 os: linux

52+ - compiler: ghc-8.6.5

53+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.6.5","cabal-install-3.2"]}}

54+ os: osx

55+ - compiler: ghc-8.4.4

56+ addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.4.4","cabal-install-3.2"]}}

57+ os: osx

58+ allow_failures:

59+ - compiler: ghc-head

50before_install:

60before_install:

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

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

52 - WITHCOMPILER="-w $HC"

62 - WITHCOMPILER="-w $HC"

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

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

64+ - if [ "$TRAVIS_OS_NAME" = "osx" ]; then HADDOCK=$(echo $HADDOCK | sed "s:^/opt:$HOME/.ghc-install:"); fi

54 - HCPKG="$HC-pkg"

65 - HCPKG="$HC-pkg"

55 - unset CC

66 - unset CC

56 - CABAL=/opt/ghc/bin/cabal

67 - CABAL=/opt/ghc/bin/cabal

57 - CABALHOME=$HOME/.cabal

68 - CABALHOME=$HOME/.cabal

58 - export PATH="$CABALHOME/bin:$PATH"

69 - export PATH="$CABALHOME/bin:$PATH"

59 - TOP=$(pwd)

70 - TOP=$(pwd)

71+ - if [ "$TRAVIS_OS_NAME" = "osx" ]; then curl https://haskell.futurice.com/haskell-on-macos.py | python3 - --make-dirs --install-dir=$HOME/.ghc-install --cabal-alias=3.2.0.0 install cabal-install-3.2.0.0 ${TRAVIS_COMPILER}; fi

72+ - if [ "$TRAVIS_OS_NAME" = "osx" ]; then HC=$HOME/.ghc-install/ghc/bin/$TRAVIS_COMPILER; WITHCOMPILER="-w $HC"; HCPKG=${HC/ghc/ghc-pkg}; CABAL=$HOME/.ghc-install/ghc/bin/cabal; fi

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

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

61 - echo $HCNUMVER

74 - echo $HCNUMVER

62 - CABAL="$CABAL -vnormal+nowrap"

75 - CABAL="$CABAL -vnormal+nowrap"

@@ -64,6 +77,7 @@ before_install:

64 - TEST=--enable-tests

77 - TEST=--enable-tests

65 - BENCH=--enable-benchmarks

78 - BENCH=--enable-benchmarks

66 - HEADHACKAGE=false

79 - HEADHACKAGE=false

80+ - if [ $HCNUMVER -gt 81001 ] ; then HEADHACKAGE=true ; fi

67 - rm -f $CABALHOME/config

81 - rm -f $CABALHOME/config

68 - |

82 - |

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

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

@@ -81,33 +95,58 @@ before_install:

81 echo " prefix: $CABALHOME" >> $CABALHOME/config

95 echo " prefix: $CABALHOME" >> $CABALHOME/config

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

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

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

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

98+ - |

99+ if $HEADHACKAGE; then

100+ echo "allow-newer: $($HCPKG list --simple-output | sed -E 's/([a-zA-Z-]+)-[0-9.]+/*:\1/g')" >> $CABALHOME/config

101+ echo "repository head.hackage.ghc.haskell.org" >> $CABALHOME/config

102+ echo " url: https://ghc.gitlab.haskell.org/head.hackage/" >> $CABALHOME/config

103+ echo " secure: True" >> $CABALHOME/config

104+ echo " root-keys: 7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d" >> $CABALHOME/config

105+ echo " 26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329" >> $CABALHOME/config

106+ echo " f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89" >> $CABALHOME/config

107+ echo " key-threshold: 3" >> $CABALHOME/config

108+ fi

84install:

109install:

85 - ${CABAL} --version

110 - ${CABAL} --version

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

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

112+ - "echo 'jobs: 2' >> $CABALHOME/config"

113+ - GHCJOBS=-j2

87 - |

114 - |

88 echo "program-default-options" >> $CABALHOME/config

115 echo "program-default-options" >> $CABALHOME/config

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

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

90 - cat $CABALHOME/config

117 - cat $CABALHOME/config

91 - rm -fv cabal.project cabal.project.local cabal.project.freeze

118 - rm -fv cabal.project cabal.project.local cabal.project.freeze

92 - travis_retry ${CABAL} v2-update -v

119 - travis_retry ${CABAL} v2-update -v

120+ - ${CABAL} v2-install $WITHCOMPILER --ignore-project -j2 doctest --constraint='doctest ^>=0.16.3'

93 # Generate cabal.project

121 # Generate cabal.project

94 - rm -rf cabal.project cabal.project.local cabal.project.freeze

122 - rm -rf cabal.project cabal.project.local cabal.project.freeze

95 - touch cabal.project

123 - touch cabal.project

96 - |

124 - |

97 echo "packages: ." >> cabal.project

125 echo "packages: ." >> cabal.project

126+ echo "packages: cabal-install-parsers" >> cabal.project

98− - if [ $HCNUMVER -ge 80200 ] ; then echo 'package generic-arbitrary' >> cabal.project ; fi

127+ - echo 'package *' >> cabal.project

99− - "if [ $HCNUMVER -ge 80200 ] ; then echo ' ghc-options: -Werror=missing-methods' >> cabal.project ; fi"

128+ - "echo ' ghc-options: -Werror=missing-methods' >> cabal.project"

100 - |

129 - |

130+ echo "package haskell-ci" >> cabal.project

131+ echo " ghc-options: -Werror" >> cabal.project

132+ echo "" >> cabal.project

133+ echo "package cabal-install-parsers" >> cabal.project

134+ echo " ghc-options: -Werror" >> cabal.project

135+ echo "" >> cabal.project

136+ echo "keep-going: False" >> cabal.project

137+ echo "" >> cabal.project

138+ echo "package bytestring" >> cabal.project

139+ echo " tests: False" >> cabal.project

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

140+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(Cabal|cabal-install-parsers|haskell-ci)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"

102 - cat cabal.project || true

141 - cat cabal.project || true

103 - cat cabal.project.local || true

142 - cat cabal.project.local || true

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

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

144+ - if [ -f "cabal-install-parsers/configure.ac" ]; then (cd "cabal-install-parsers" && autoreconf -i); fi

105 - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH}

145 - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH}

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

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

107 - rm cabal.project.freeze

147 - rm cabal.project.freeze

108 - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all

148 - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all

109 - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all

149 - travis_wait 40 ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all

110− - travis_wait 40 ${CABAL} v2-install $WITHCOMPILER --disable-tests --disable-benchmarks -j2 tasty-discover

111script:

150script:

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

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

113 # Packaging...

152 # Packaging...

@@ -117,16 +156,28 @@ script:

117 - cd ${DISTDIR} || false

156 - cd ${DISTDIR} || false

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

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

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

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

120− - PKGDIR_generic_arbitrary="$(find . -maxdepth 1 -type d -regex '.*/generic-arbitrary-[0-9.]*')"

159+ - PKGDIR_haskell_ci="$(find . -maxdepth 1 -type d -regex '.*/haskell-ci-[0-9.]*')"

160+ - PKGDIR_cabal_install_parsers="$(find . -maxdepth 1 -type d -regex '.*/cabal-install-parsers-[0-9.]*')"

121 # Generate cabal.project

161 # Generate cabal.project

122 - rm -rf cabal.project cabal.project.local cabal.project.freeze

162 - rm -rf cabal.project cabal.project.local cabal.project.freeze

123 - touch cabal.project

163 - touch cabal.project

124 - |

164 - |

125− echo "packages: ${PKGDIR_generic_arbitrary}" >> cabal.project

165+ echo "packages: ${PKGDIR_haskell_ci}" >> cabal.project

166+ echo "packages: ${PKGDIR_cabal_install_parsers}" >> cabal.project

126− - if [ $HCNUMVER -ge 80200 ] ; then echo 'package generic-arbitrary' >> cabal.project ; fi

167+ - echo 'package *' >> cabal.project

127− - "if [ $HCNUMVER -ge 80200 ] ; then echo ' ghc-options: -Werror=missing-methods' >> cabal.project ; fi"

168+ - "echo ' ghc-options: -Werror=missing-methods' >> cabal.project"

128 - |

169 - |

170+ echo "package haskell-ci" >> cabal.project

171+ echo " ghc-options: -Werror" >> cabal.project

172+ echo "" >> cabal.project

173+ echo "package cabal-install-parsers" >> cabal.project

174+ echo " ghc-options: -Werror" >> cabal.project

175+ echo "" >> cabal.project

176+ echo "keep-going: False" >> cabal.project

177+ echo "" >> cabal.project

178+ echo "package bytestring" >> cabal.project

179+ echo " tests: False" >> cabal.project

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

180+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(Cabal|cabal-install-parsers|haskell-ci)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done"

130 - cat cabal.project || true

181 - cat cabal.project || true

131 - cat cabal.project.local || true

182 - cat cabal.project.local || true

132 # Building...

183 # Building...

@@ -135,13 +186,27 @@ script:

135 # Building with tests and benchmarks...

186 # Building with tests and benchmarks...

136 # build & run tests, build benchmarks

187 # build & run tests, build benchmarks

137 - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all

188 - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all

189+ # Testing...

190+ - ${CABAL} v2-test $WITHCOMPILER ${TEST} ${BENCH} all

191+ # Doctest...

192+ - perl -i -e 'while (<ARGV>) { print unless /package-id\s+(base-compat-batteries|bs-cmpt-bttrs)-\d+(\.\d+)*/; }' .ghc.environment.*

193+ - (cd ${PKGDIR_haskell_ci} && doctest --fast -XNoImplicitPrelude -XBangPatterns -XDeriveAnyClass -XDeriveFoldable -XDeriveFunctor -XDeriveGeneric -XDeriveTraversable -XDerivingStrategies -XGeneralizedNewtypeDeriving -XScopedTypeVariables src)

194+ - (cd ${PKGDIR_cabal_install_parsers} && doctest --fast src)

138 # cabal check...

195 # cabal check...

139− - (cd ${PKGDIR_generic_arbitrary} && ${CABAL} -vnormal check)

196+ - (cd ${PKGDIR_haskell_ci} && ${CABAL} -vnormal check)

197+ - (cd ${PKGDIR_cabal_install_parsers} && ${CABAL} -vnormal check)

140 # haddock...

198 # haddock...

141 - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all

199 - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all

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

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

143 - rm -f cabal.project.local

201 - rm -f cabal.project.local

144 - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all

202 - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all

203+ # Constraint sets

204+ - rm -rf cabal.project.local

205+ # Constraint set deepseq-1.4

206+ - echo 'Constraint set deepseq-1.4' && echo -en 'travis_fold:start:constraint-sets-deepseq-1.4\\r'

207+ - if [ $HCNUMVER -lt 80400 ] ; then ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --constraint='deepseq ==1.4.*' --constraint='binary installed' all ; fi

208+ - if [ $HCNUMVER -lt 80400 ] ; then ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK --disable-tests --disable-benchmarks --constraint='deepseq ==1.4.*' --constraint='binary installed' all ; fi

209+ - echo -en 'travis_fold:end:constraint-sets-deepseq-1.4\\r'

145

210

146−# REGENDATA ("0.9.20200406",["generic-arbitrary.cabal","--output",".travis.yml"])

211+# REGENDATA ["--config=cabal.haskell-ci","cabal.project"]

147−# EOF

212+# EOF

CHANGELOG.md−39

@@ -1,42 +1,3 @@

1−1.0.1.2

2−-------

3−

4−* Fix dependency bounds (including retroactively), and compilation with warnings.

5−

6−1.0.1.1

7−-------

8−

9−* Fix compilation with GHC 9.8.3

10−

11−1.0.1

12−-----

13−

14−* Compillability by GHC-9.2.4

15−* Fix cabal `tested-with` field

16−

17−1.0.0

18−-----

19−

20−* Fixed issue with too big terms in case of recursive types

21−* Recpect the `size` argument

22−* Types with parameters require `Arg` now

23−

24−0.2.2

25−-----

26−

27−* Resolved an issue where the size of the generators could become negative

28−

29−0.2.1

30−-----

31−

32−* Added compatibility with GHC 9.2.1

33−

34−0.2.0

35−-----

36−

37−* Added `GenericArbitrary` for use with the [DerivingVia](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_via.html) compiler extension.

38−* Minimum bound on QuickCheck changed to 2.14.

39−

400.1.0

10.1.0

41-----

2-----

README.md+1−138

@@ -1,140 +1,3 @@

1# generic-arbitrary

3−[![Haskell-CI](https://github.com/typeable/generic-arbitrary/actions/workflows/haskell-ci.yml/badge.svg)](https://github.com/typeable/generic-arbitrary/actions/workflows/haskell-ci.yml)

3+[![Build Status](https://travis-ci.org/typeable/generic-arbitrary.svg?branch=master)](https://travis-ci.org/typeable/generic-arbitrary)

4−

5−# What?

6−

7−Package for deriving `Arbitrary` via `Generic`.

8−

9−``` haskell

10−import GHC.Generics (Generic)

11−import Test.QuickCheck

12−import Test.QuickCheck.Arbitrary.Generic

13−

14−data Expr

15− = Lit Int

16− | Add Expr Expr

17− | Mul Expr Expr

18− deriving (Eq, Show, Generic)

19− deriving Arbitrary via (GenericArbitrary Expr)

20−```

21−

22−Older versions of this package had a problem with hanging `arbitrary`

23−method. Since `1.0.0` this problem almost solved.

24−

25−For `QuickCheck` older than `2.14.0` the `GenericArbitrary` is not available, so

26−you will need to write instances more verbosely

27−

28−``` haskell

29−data Expr

30− = Lit Int

31− | Add Expr Expr

32− | Mul Expr Expr

33− deriving (Eq, Show, Generic)

34−

35−instance Arbitrary Expr where

36− arbitrary = genericArbitrary

37− shrink = genericShrink

38−```

39−

40−Which is generally the same.

41−

42−# Infinite terms problem

43−

44−The `generic-arbitrary` can partially handle the problem with recursive

45−types. Assume the type `R`

46−

47−``` haskell

48−data R = R R

49− deriving Generic

50−```

51−

52−there is no instance

53−

54−``` haskell

55−instance Arbitrary R where

56− arbitrary = genericArbitrary

57− shrink = genericShrink

58−```

59−

60−If you try to compile this you will get a type level error

61−

62−> • R refers to itself in all constructors

63−

64−Which means that there is no finite term for `R` because it is recursive in all

65−it's constructors. But, if you correct the definition of `R` like this.

66−

67−``` haskell

68−data R = R R | F

69− deriving Generic

70−```

71−

72−Then it will compile. And the `arbitrary` generated will not hang forever,

73−because it respects the `size` parameter.

74−

75−## Limitation

76−

77−There is a limitation of recursion detection:

78−

79−``` haskell

80−data R1 = R1 R2

81− deriving (Eq, Ord, Show, Generic)

82− deriving anyclass NFData

83− deriving Arbitrary via (GenericArbitrary R1)

84−

85−data R2 = R2 R1

86− deriving (Eq, Ord, Show, Generic)

87− deriving anyclass NFData

88− deriving Arbitrary via (GenericArbitrary R2)

89−```

90−

91−This code will compile and the `arbitrary` generated will always hang. Yes,

92−there is a problem with mutually recursive types.

93−

94−# Type parameters

95−

96−Now let's see an example of datatype with parameters

97−

98−``` haskell

99−data A a = A a

100− deriving (Eq, Ord, Show)

101− deriving anyclass NFData

102− deriving (Generic)

103−

104−instance (Arbitrary a) => Arbitrary (A a) where

105− arbitrary = genericArbitrary

106− shrink = genericShrink

107−```

108−

109−It should work from first glance, but when compile it will throw an error:

110−

111−```

112−• Could not deduce (Test.QuickCheck.Arbitrary.Generic.GArbitrary

113− (A a)

114− (GHC.Generics.D1

115− ('GHC.Generics.MetaData "A" "ParametersTest" "main" 'False)

116− (GHC.Generics.C1

117− ('GHC.Generics.MetaCons "A" 'GHC.Generics.PrefixI 'False)

118− (GHC.Generics.S1

119− ('GHC.Generics.MetaSel

120− 'Nothing

121− 'GHC.Generics.NoSourceUnpackedness

122− 'GHC.Generics.NoSourceStrictness

123− 'GHC.Generics.DecidedLazy)

124− (GHC.Generics.Rec0 a))))

125− (TypesDiffer (A a) a))

126− arising from a use of ‘genericArbitrary’

127−```

128−

129−Here the `TypesDiffer` is a type familty dealing with recursive types and

130−helping us to eliminate inproper instances. To convince the compiller, that the

131−`a` parameter is not an `A a` we must fix the instance with additional

132−constraint `Arg (A a) a`

133−

134−``` haskell

135−instance (Arg (A a) a, Arbitrary a) => Arbitrary (A a) where

136− arbitrary = genericArbitrary

137− shrink = genericShrink

138−```

139−

140−Now everything compiles and works as expected.

generic-arbitrary.cabal+8−81

@@ -1,10 +1,10 @@

1name: generic-arbitrary

2−version: 1.0.1.2

2+version: 0.1.0

3synopsis: Generic implementation for QuickCheck's Arbitrary

4description:

5 Generic implementations of methods of the 'Arbitrary' class from the

6 QuickCheck library. The approach taken here can lead to diverging instances

7− for mutually recursive types but is safe for simply recursive ones and guarantees

7+ for recursive types but is safe for non-recursive ones and guarantees

8 flat distribution for constructors of sum-types.

10license: MIT

@@ -15,87 +15,14 @@ homepage: http://github.com/typeable/generic-arbitrary#readme

15category: Generic

16build-type: Simple

17extra-source-files: CHANGELOG.md

18− , README.md

19−cabal-version: 2.0

18+cabal-version: >=1.22

20−tested-with: GHC == 8.6.5

19+tested-with: GHC == 7.10.3

21− , GHC == 8.10.7

22− , GHC == 9.0.2

23− , GHC == 9.2.4

24− , GHC == 9.4.3

25− , GHC == 9.8.1

20+ , GHC == 8.0.2

26−

21+ , GHC == 8.2.2

27−source-repository head

22+ , GHC == 8.4.1

28− type: git

29− location: https://github.com/typeable/generic-arbitrary.git

31library

24library

32 exposed-modules: Test.QuickCheck.Arbitrary.Generic

25 exposed-modules: Test.QuickCheck.Arbitrary.Generic

33− build-depends: base >=4.8 && <5

26+ build-depends: QuickCheck >= 2.8, base >=4.8 && <5

34− , QuickCheck >=2.8

35 hs-source-dirs: src

27 hs-source-dirs: src

36 default-language: Haskell2010

28 default-language: Haskell2010

37− default-extensions: AllowAmbiguousTypes

38− , CPP

39− , ConstraintKinds

40− , DataKinds

41− , DeriveGeneric

42− , FlexibleContexts

43− , FlexibleInstances

44− , GeneralizedNewtypeDeriving

45− , LambdaCase

46− , MultiParamTypeClasses

47− , PolyKinds

48− , RankNTypes

49− , ScopedTypeVariables

50− , TypeFamilies

51− , TypeOperators

52− , TypeSynonymInstances

53− , UndecidableInstances

54− , ViewPatterns

55−

56−

57−test-suite test

58− type: exitcode-stdio-1.0

59− hs-source-dirs: test

60− main-is: Test.hs

61− default-language: Haskell2010

62− build-depends: base >=4.12 && <5

63− , QuickCheck >=2.10

64− , deepseq

65− , generic-arbitrary

66− , tasty >=1.4.2 || <1.4.0.1

67− , tasty-discover >= 2.0.0

68− , tasty-hunit >= 0.9.2

69− , tasty-quickcheck

70− other-modules: Auxiliary

71− , EnumTest

72− , LimitationDemo

73− , NoTypecheckTest

74− , ParametersTest

75− , RecursiveTest

76− default-extensions: AllowAmbiguousTypes

77− , CPP

78− , DataKinds

79− , DeriveAnyClass

80− , DeriveGeneric

81− , DerivingStrategies

82− , DerivingVia

83− , FlexibleContexts

84− , FlexibleInstances

85− , GeneralizedNewtypeDeriving

86− , LambdaCase

87− , MultiParamTypeClasses

88− , PolyKinds

89− , RankNTypes

90− , ScopedTypeVariables

91− , TypeApplications

92− , TypeFamilies

93− , TypeOperators

94− , TypeSynonymInstances

95− , UndecidableInstances

96− , ViewPatterns

97− build-tool-depends: tasty-discover:tasty-discover

98− ghc-options: -Wall

99− -threaded

100− -rtsopts

101− "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"

ghc-8.10.7.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: lts-18.18

ghc-8.10.7.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: 63539429076b7ebbab6daa7656cfb079393bf644971156dc349d7c0453694ac2

10− size: 586296

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/18.yaml

12− original: lts-18.18

ghc-8.6.5.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: lts-13.21

ghc-8.6.5.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: eff2de19a6d4691ccbf6edc1fba858f1918683047dce0f09adede874bbd2a8f3

10− size: 498180

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/13/21.yaml

12− original: lts-13.21

ghc-9.0.2.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: lts-19.20

ghc-9.0.2.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: be747117bed6d462806c883352c3206325b23480825103f5c87884e97e52819a

10− size: 619173

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/19/20.yaml

12− original: lts-19.20

ghc-9.2.4.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: nightly-2022-08-24

ghc-9.2.4.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: ff431937a638ebfaa5e6fec13c7ae575f01e02744d6ca5e5b1554f78cb5f88ad

10− size: 631953

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2022/8/24.yaml

12− original: nightly-2022-08-24

ghc-9.4.3.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: nightly-2022-12-26

ghc-9.4.3.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: bbe432b2abd6d866aa37f65a8129a5f858b7c6eaae9464f8bc2814ce92ac2d15

10− size: 573163

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2022/12/26.yaml

12− original: nightly-2022-12-26

ghc-9.8.1.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: nightly-2024-01-12

ghc-9.8.1.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: 8f06e87750f95bc8620644ea22344ad023c3c5aa6efa854747aa70093898fd79

10− size: 556465

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/1/12.yaml

12− original: nightly-2024-01-12

src/Test/QuickCheck/Arbitrary/Generic.hs+28−336

@@ -1,14 +1,8 @@

1−#if __GLASGOW_HASKELL__ >= 806

1+{-# LANGUAGE UndecidableInstances, TypeOperators, DataKinds, TypeFamilies, ScopedTypeVariables#-}

2−{-# OPTIONS_GHC -Wno-star-is-type #-}

3−#endif

4−#if __GLASGOW_HASKELL__ >= 800

5−{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}

6−#endif

8−{-|

3+{- |

10−This module is a generic implementation of the 'arbitrary' method. Example

5+Generic implementation of the 'arbitrary' method. Example usage:

11−usage:

13@

14data Foo = Foo

8data Foo = Foo

@@ -21,214 +15,38 @@ instance Arbitrary Foo where

21 shrink = genericShrink

15 shrink = genericShrink

22@

16@

24−This instance can also be derived using DerivingVia language extension

25−

26−@

27−data Foo = Foo

28− { _fooX :: X

29− , _fooY :: Y

30− } deriving (Generic)

31− deriving (Arbitrary) via GenericArbitrary Foo

32−@

33−

34The generated 'arbitrary' method is equivalent to

18The generated 'arbitrary' method is equivalent to

36−@

37−Foo '<$>' arbitrary '<*>' arbitrary

20+@Foo <$> arbitrary <*> arbitrary@.

38−@.

39−

40−It can also handle a recursive types problem. Assuming a type

41−

42−@

43−data R = R R

44− deriving Generic

45−@

46−

47−there is no instance

48−

49−@

50−instance Arbitrary R where

51− arbitrary = genericArbitrary

52− shrink = genericShrink

53−@

54−

55−If you try to compile this you will get a type level error

56−

57−> • R refers to itself in all constructors

58−

59−Which means that there is no finite term for @R@ because it is recursive. But,

60−if you correct the definition of @R@ like this.

61−

62−@

63−data R = R R | F

64− deriving Generic

65−@

66−

67−Then it will compile. And the @arbitrary@ generated will not hang forever, because

68−it respects the @size@ parameter.

69−

70−There is a limitation of recursion detection:

71−

72−@

73−data R1 = R1 R2

74− deriving (Eq, Ord, Show, Generic)

75− deriving anyclass NFData

76− deriving Arbitrary via (GenericArbitrary R1)

77−

78−data R2 = R2 R1

79− deriving (Eq, Ord, Show, Generic)

80− deriving anyclass NFData

81− deriving Arbitrary via (GenericArbitrary R2)

82−@

83−

84−This code will compile and the @arbitrary@ generated will always hang. Yes,

85−there is a problem with mutually recursive types.

86−

87−Now lets see an example of datatype with parameters

88−

89−@

90−data A a = A a

91− deriving (Eq, Ord, Show)

92− deriving anyclass NFData

93− deriving (Generic)

94−

95−instance (Arbitrary a) => Arbitrary (A a) where

96− arbitrary = genericArbitrary

97− shrink = genericShrink

98−@

99−

100−It should work from first glance, but when compile it will throw an error:

101−

102−@

103− • Could not deduce (Test.QuickCheck.Arbitrary.Generic.GArbitrary

104− (A a)

105− (GHC.Generics.D1

106− ('GHC.Generics.MetaData "A" "ParametersTest" "main" 'False)

107− (GHC.Generics.C1

108− ('GHC.Generics.MetaCons "A" 'GHC.Generics.PrefixI 'False)

109− (GHC.Generics.S1

110− ('GHC.Generics.MetaSel

111− 'Nothing

112− 'GHC.Generics.NoSourceUnpackedness

113− 'GHC.Generics.NoSourceStrictness

114− 'GHC.Generics.DecidedLazy)

115− (GHC.Generics.Rec0 a))))

116− (TypesDiffer (A a) a))

117− arising from a use of ‘genericArbitrary’

118−@

119−

120−Here the @TypesDiffer@ is a type familty dealing with recursive types and

121−helping us to eliminate inproper instances. To convince the compiller, that the

122−@a@ parameter is not an @A a@ we must fix the instance with additional constraint

123−

124−@

125−instance (Arg (A a) a, Arbitrary a) => Arbitrary (A a) where

126− arbitrary = genericArbitrary

127− shrink = genericShrink

128−@

129−

130−Now everything compiles and works as expected.

131

132-}

22-}

133

134module Test.QuickCheck.Arbitrary.Generic

24module Test.QuickCheck.Arbitrary.Generic

135− ( -- * Main

136− genericArbitrary

137−#if MIN_VERSION_QuickCheck(2, 14, 0)

138− , GenericArbitrary(..)

139−#endif

140− , Arg

141− -- * Internal

142− , GArbitrary

143− , FiniteSum

144− , FiniteSumElem

145− , Finite

146− , AllFieldsFinal

147− , TypesDiffer

148− , ArgumentsCount

149− , SumLen

150− -- * Reexports

151− , Arbitrary(..)

25+ ( Arbitrary(..)

26+ , genericArbitrary

152 , genericShrink

27 , genericShrink

153 ) where

28 ) where

154

155−import Control.Applicative

30+import Control.Applicative

156−import Data.Proxy

31+import Data.Proxy

157−import Data.Type.Bool

158−import GHC.Generics as G

32+import GHC.Generics as G

159−import GHC.TypeLits

33+import GHC.TypeLits

160−import Prelude

161−import Test.QuickCheck as QC

34+import Test.QuickCheck as QC

162−#if MIN_VERSION_QuickCheck(2, 14, 0)

163−import Data.Coerce (coerce)

164−import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)

165−

166−

167

168−-- | Newtype for @DerivingVia@

36+class GArbitrary a where

169−--

37+ gArbitrary :: QC.Gen (a x)

170−-- Usage:

171−--

172−-- @

173−-- data Foo = Foo

174−-- { _fooX :: X

175−-- , _fooY :: Y

176−-- } deriving (Generic)

177−-- deriving (Arbitrary) via GenericArbitrary Foo

178−-- @

179−--

180−-- @since 1.0.0

181−newtype GenericArbitrary a = GenericArbitrary { unGenericArbitrary :: a }

182− deriving (Show, Eq)

183

184−instance

39+instance GArbitrary G.U1 where

185− ( Generic a,

40+ gArbitrary = pure G.U1

186− GArbitrary a (Rep a) some,

187− RecursivelyShrink (Rep a),

188− GSubterms (Rep a) a

189− ) => Arbitrary (GenericArbitrary a) where

190− arbitrary = coerce (genericArbitrary :: Gen a)

191− shrink = coerce (genericShrink :: a -> [a])

192−#endif

193

194−-- | Constraint helper for types with parameters

195−--

196−-- Usage:

197−--

198−-- @

199−-- data A a = A a

200−-- deriving (Generic)

201−-- instance (Arg (A a) a, Arbitrary a) => Arbitrary (A a) where

42+instance Arbitrary c => GArbitrary (G.K1 i c) where

202−-- arbitrary = genericArbitrary

43+ gArbitrary = G.K1 <$> arbitrary

203−-- shrink = genericShrink

204−-- @

205−--

206−-- @since 1.0.0

207

208−type Arg self field = (TypesDiffer self field ~ 'True)

45+instance GArbitrary f => GArbitrary (G.M1 i c f) where

46+ gArbitrary = G.M1 <$> gArbitrary

209

210−type family TypesDiffer a b where

48+instance (GArbitrary a, GArbitrary b) => GArbitrary (a G.:*: b) where

211− TypesDiffer a a = 'False

49+ gArbitrary = liftA2 (G.:*:) gArbitrary gArbitrary

212− TypesDiffer a b = 'True

213−

214−type family AllFieldsFinal self (a :: * -> *) :: Bool where

215− AllFieldsFinal self U1 = 'True

216− AllFieldsFinal self (a :*: b) = AllFieldsFinal self a && AllFieldsFinal self b

217− AllFieldsFinal self (M1 S t (K1 R field)) = TypesDiffer self field

218−

219−type family Finite self (a :: * -> *) :: Bool where

220− Finite self U1 = 'True

221− Finite self (K1 R field) = TypesDiffer self field

222− Finite self (a :*: b) = Finite self a && Finite self b

223− Finite self (M1 D t f) = Finite self f

224− Finite self (a :+: b) = Finite self a || Finite self b

225− Finite self (M1 C c f) = AllFieldsFinal self f

226− Finite self (M1 S s f) = Finite self f

227−

228−type family ArgumentsCount (a :: * -> *) :: Nat where

229− ArgumentsCount U1 = 1

230− ArgumentsCount (M1 S s f) = 1

231− ArgumentsCount (a :*: b) = (ArgumentsCount a) + (ArgumentsCount b)

232

233-- | Calculates count of constructors encoded by particular ':+:'.

51-- | Calculates count of constructors encoded by particular ':+:'.

234-- Internal use only.

52-- Internal use only.

@@ -236,140 +54,14 @@ type family SumLen a :: Nat where

236 SumLen (a G.:+: b) = (SumLen a) + (SumLen b)

54 SumLen (a G.:+: b) = (SumLen a) + (SumLen b)

237 SumLen a = 1

55 SumLen a = 1

238

239−-- | Generic arbitrary.

240−--

241−-- Parameters are:

242−-- * self: the ADT we generating instance for

243−-- * a: some part of the `Rep self`

244−-- * finite: Is `a` finite? Infinite type has no finite values (like Stream)

245−class (Finite self a ~ finite) => GArbitrary self a (finite :: Bool) where

246− gArbitrary :: Proxy self -> QC.Gen (a x)

247−

248−instance

249− ( GArbitrary self (M1 C c f) 'True

250− ) => GArbitrary self (M1 D t (M1 C c f)) 'True where

251− gArbitrary _ = M1 <$> gArbitrary (Proxy :: Proxy self)

252−

253−-- | The constructor meta information

254−instance

255− ( GArbitrary self f some

256− , KnownNat (ArgumentsCount f)

257− , AllFieldsFinal self f ~ some

258− ) => GArbitrary self (M1 C c f) some where

259− gArbitrary _ = M1 <$> scale predNat (gArbitrary (Proxy :: Proxy self))

260− where

261− argumentsCount = fromIntegral $ natVal (Proxy :: Proxy (ArgumentsCount f))

262− predNat n = max 0 $ if argumentsCount > 1

263− then n `div` argumentsCount

264− else pred n

265−

266−-- | Unit type instance

267−instance GArbitrary self U1 'True where

268− gArbitrary _ = pure U1

269−

270−-- | Constructor field meta information

271−instance GArbitrary self f some => GArbitrary self (M1 S t f) some where

272− gArbitrary _ = M1 <$> gArbitrary (Proxy :: Proxy self)

273−

274−-- | Data of the constructor field

275−instance

276− ( Arbitrary t

277− , Finite self (K1 R t) ~ some

278− ) => GArbitrary self (K1 R t) some where

279− gArbitrary _ = K1 <$> arbitrary

280−

281−-- | Product

282−instance

283− ( GArbitrary self a af

284− , GArbitrary self b bf

285− , (af && bf) ~ some

286− ) => GArbitrary self (a :*: b) some where

287− gArbitrary _ = liftA2 (:*:)

288− (gArbitrary (Proxy :: Proxy self)) (gArbitrary (Proxy :: Proxy self))

289−

290−#if __GLASGOW_HASKELL__ >= 800

291−instance

292− ( TypeError (ShowType self :<>: Text " refers to itself in all constructors")

293− , AllFieldsFinal self f ~ 'False

294− ) => GArbitrary self (M1 D t (M1 C c f)) 'False where

295− gArbitrary _ = error "Unreachable"

296−#endif

297−

298−-- | ADT declaration with multiple constructors

299−instance

300− ( FiniteSum self a b af bf

301− , GArbitrary self (a :+: b) 'True

302− ) => GArbitrary self (M1 D t (a :+: b)) 'True where

303− gArbitrary _ = sized $ \s -> M1 <$>

304− if s > 1

305− then gArbitrary (Proxy :: Proxy self)

306− else oneof (finiteSum (Proxy :: Proxy self))

307−

308−-- | Any sum inside of declaration

309−instance

310− ( GArbitrary self a af, GArbitrary self b bf

311− , KnownNat (SumLen a), KnownNat (SumLen b)

57+instance (GArbitrary a, GArbitrary b, KnownNat (SumLen a), KnownNat (SumLen b)

312− , (af || bf) ~ some

313− ) => GArbitrary self (a :+: b) some where

58+ ) => GArbitrary (a G.:+: b) where

314− gArbitrary _ = frequency

59+ gArbitrary = frequency

315− [ (lfreq, G.L1 <$> gArbitrary (Proxy :: Proxy self))

60+ [ (lfreq, G.L1 <$> gArbitrary)

316− , (rfreq, G.R1 <$> gArbitrary (Proxy :: Proxy self)) ]

61+ , (rfreq, G.R1 <$> gArbitrary) ]

317 where

62 where

318 lfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen a))

63 lfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen a))

319 rfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen b))

64 rfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen b))

320

321−class

322− ( Finite self a ~ af, Finite self b ~ bf

323− ) => FiniteSum self (a :: * -> *) (b :: * -> *) af bf where

324− finiteSum :: Proxy self -> [Gen ((a :+: b) p)]

325−

326−instance

327− ( FiniteSumElem self a, FiniteSumElem self b

328− , Finite self a ~ 'True

329− , Finite self b ~ 'True

330− ) => FiniteSum self a b 'True 'True where

331− finiteSum _ = concat

332− [ fmap L1 <$> finiteElem (Proxy :: Proxy self)

333− , fmap R1 <$> finiteElem (Proxy :: Proxy self)]

334−

335−instance

336− ( FiniteSumElem self a

337− , Finite self a ~ 'True

338− , Finite self b ~ 'False

339− ) => FiniteSum self a b 'True 'False where

340− finiteSum _ = fmap L1 <$> finiteElem (Proxy :: Proxy self)

341−

342−instance

343− ( FiniteSumElem self b

344− , Finite self a ~ 'False

345− , Finite self b ~ 'True

346− ) => FiniteSum self a b 'False 'True where

347− finiteSum _ = fmap R1 <$> finiteElem (Proxy :: Proxy self)

348−

349−class FiniteSumElem self a where

350− finiteElem :: Proxy self -> [Gen (a p)]

351−

352−instance

353− ( FiniteSum self a b af bf

354− ) => FiniteSumElem self (a :+: b) where

355− finiteElem _ = finiteSum (Proxy :: Proxy self)

356−

357−instance

358− ( GArbitrary self (M1 C c f) 'True

359− ) => FiniteSumElem self (M1 C c f) where

360− finiteElem _ = [gArbitrary (Proxy :: Proxy self)]

361−

362−

363−#if __GLASGOW_HASKELL__ >= 800

364−instance

365− ( TypeError (ShowType self :<>: Text " refers to itself in all constructors")

366− , (Finite self a || Finite self b) ~ 'False

367− ) => GArbitrary self (M1 D t (a :+: b)) 'False where

368− gArbitrary _ = error "Unreachable"

369−#endif

370−

371−genericArbitrary

372− :: forall a ga some

373− . (Generic a, GArbitrary a ga some, ga ~ Rep a)

66+genericArbitrary :: (Generic a, GArbitrary ga, ga ~ G.Rep a) => Gen a

374− => Gen a

375−genericArbitrary = G.to <$> gArbitrary (Proxy :: Proxy a)

67+genericArbitrary = G.to <$> gArbitrary

stack.yaml+1−1

@@ -1 +1 @@

1−resolver: lts-19.2

1+resolver: lts-6.30

stack.yaml.lockdeleted−12

@@ -1,12 +0,0 @@

1−# This file was autogenerated by Stack.

2−# You should not edit this file by hand.

3−# For more information, please see the documentation at:

4−# https://docs.haskellstack.org/en/stable/lock_files

5−

6−packages: []

7−snapshots:

8−- completed:

9− sha256: e7e57649a12f6178d1158e4b6f1f1885ed56d210ae6174385271cecc9b1ea974

10− size: 617368

11− url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/19/2.yaml

12− original: lts-19.2

test/Auxiliary.hsdeleted−10

@@ -1,10 +0,0 @@

1−module Auxiliary where

2−

3−import Control.Exception

4−import Test.QuickCheck

5−

6−failGeneration :: forall a. (Arbitrary a, Show a) => IO ()

7−failGeneration = do

8− try (generate (arbitrary :: Gen a) >>= print) >>= \case

9− Left (_ :: SomeException) -> pure ()

10− Right _ -> error "Error expected"

test/EnumTest.hsdeleted−24

@@ -1,24 +0,0 @@

1−#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900

2−{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}

3−#elif __GLASGOW_HASKELL__ >= 902

4−{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}

5−#endif

6−

7−

8−

9−module EnumTest where

10−

11−import Control.DeepSeq

12−import GHC.Generics

13−import Test.QuickCheck

14−import Test.QuickCheck.Arbitrary.Generic

15−

16−data Country = PL | GB | RU | RO | CZ | HR | SK | DE | NL | ES | BR

17− deriving (Generic, NFData, Show)

18−

19−instance Arbitrary Country where

20− arbitrary = genericArbitrary

21− shrink = genericShrink

22−

23−prop_CountryTest :: Country -> Property

24−prop_CountryTest = total

test/LimitationDemo.hsdeleted−37

@@ -1,37 +0,0 @@

1−module LimitationDemo where

2−

3−import Control.DeepSeq

4−import GHC.Generics (Generic)

5−import Test.QuickCheck

6−import Test.QuickCheck.Arbitrary.Generic

7−

8−-- As you can see, we have this instance generated, but it will definitely lead

9−-- to generating an infinite term (and the only term). The recursion detection

10−-- doesn't work here

11−data R1 = R1 R2

12− deriving (Eq, Ord, Show, Generic)

13− deriving anyclass NFData

14−#if MIN_VERSION_QuickCheck(2, 14, 0)

15− deriving Arbitrary via (GenericArbitrary R1)

16−#else

17−instance Arbitrary R1 where

18− arbitrary = genericArbitrary

19− shrink = genericShrink

20−#endif

21−

22−data R2 = R2 R1

23− deriving (Eq, Ord, Show, Generic)

24− deriving anyclass NFData

25−#if MIN_VERSION_QuickCheck(2, 14, 0)

26− deriving Arbitrary via (GenericArbitrary R2)

27−#else

28−instance Arbitrary R2 where

29− arbitrary = genericArbitrary

30− shrink = genericShrink

31−#endif

32−

33−-- To force the instance realy be generated

34−usage :: IO ()

35−usage = do

36− r1 :: R1 <- generate arbitrary

37− print r1 -- haha

test/NoTypecheckTest.hsdeleted−23

@@ -1,23 +0,0 @@

1−{-# OPTIONS_GHC -fdefer-type-errors #-}

2−{-# OPTIONS_GHC -Wno-deferred-type-errors #-}

3−

4−-- | Test that infinite types has no Arbitrary instance

5−

6−module NoTypecheckTest where

7−

8−import Auxiliary

9−import GHC.Generics (Generic)

10−import Test.QuickCheck

11−import Test.QuickCheck.Arbitrary.Generic

12−

13−-- | Recursive infinite type which can not have valid Arbitrary instance

14−data R = R R

15− deriving (Eq, Show, Generic)

16−

17−-- | Instance which must not compile, but we are using deferred type errors

18−instance Arbitrary R where

19− arbitrary = genericArbitrary

20− shrink = genericShrink

21−

22−unit_mustFail :: IO ()

23−unit_mustFail = failGeneration @R

test/ParametersTest.hsdeleted−34

@@ -1,34 +0,0 @@

1−{-# OPTIONS_GHC -fdefer-type-errors #-}

2−{-# OPTIONS_GHC -Wno-deferred-type-errors #-}

3−

4−module ParametersTest where

5−

6−import Auxiliary

7−import Control.DeepSeq

8−import GHC.Generics (Generic)

9−import Test.QuickCheck

10−import Test.QuickCheck.Arbitrary.Generic

11−

12−data A a = A a

13− deriving (Eq, Ord, Show)

14− deriving anyclass NFData

15− deriving (Generic)

16−

17−instance (Arbitrary a) => Arbitrary (A a) where

18− arbitrary = genericArbitrary

19− shrink = genericShrink

20−

21−data B a = B a

22− deriving (Eq, Ord, Show)

23− deriving anyclass NFData

24− deriving (Generic)

25−

26−instance (Arg (B a) a, Arbitrary a) => Arbitrary (B a) where

27− arbitrary = genericArbitrary

28− shrink = genericShrink

29−

30−unit_argumentConstraintFail :: IO ()

31−unit_argumentConstraintFail = failGeneration @(A Int)

32−

33−prop_properArgumentConstraint :: B Int -> Property

34−prop_properArgumentConstraint = total

test/RecursiveTest.hsdeleted−138

@@ -1,138 +0,0 @@

1−{-# LANGUAGE DerivingStrategies #-}

2−{-# LANGUAGE DerivingVia #-}

3−{-# LANGUAGE DeriveAnyClass #-}

4−{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-} -- GHC-9.2.4

5−

6−-- | Testing that our Arbitrary instances do not get stuck and respect the

7−-- `size` parameter while generating.

8−

9−module RecursiveTest where

10−

11−import Control.DeepSeq (NFData)

12−import GHC.Generics (Generic)

13−import Test.QuickCheck

14−import Test.QuickCheck.Arbitrary.Generic

15−

16−data Unit = Unit

17− deriving (Eq, Show, Generic)

18− deriving anyclass NFData

19−#if MIN_VERSION_QuickCheck(2, 14, 0)

20− deriving Arbitrary via (GenericArbitrary Unit)

21−#else

22−instance Arbitrary Unit where

23− arbitrary = genericArbitrary

24− shrink = genericShrink

25−#endif

26−

27−prop_unitTotal :: Unit -> Property

28−prop_unitTotal = total

29−

30−data Single = Single Int

31− deriving (Eq, Show, Generic)

32− deriving anyclass NFData

33−#if MIN_VERSION_QuickCheck(2, 14, 0)

34− deriving Arbitrary via (GenericArbitrary Single)

35−#else

36−instance Arbitrary Single where

37− arbitrary = genericArbitrary

38− shrink = genericShrink

39−#endif

40−

41−prop_singleTotal :: Single -> Property

42−prop_singleTotal = total

43−

44−data Multiple = M1 | M2 | M3 Int

45− deriving (Eq, Show, Generic)

46− deriving anyclass NFData

47−#if MIN_VERSION_QuickCheck(2, 14, 0)

48− deriving Arbitrary via (GenericArbitrary Multiple)

49−#else

50−instance Arbitrary Multiple where

51− arbitrary = genericArbitrary

52− shrink = genericShrink

53−#endif

54−

55−prop_multipleTotal :: Multiple -> Property

56−prop_multipleTotal = total

57−

58−data Rec = Rec

59− { unit :: Unit

60− , single :: Single

61− , multiple :: Multiple

62− } deriving (Eq, Show, Generic)

63− deriving anyclass NFData

64−#if MIN_VERSION_QuickCheck(2, 14, 0)

65− deriving Arbitrary via (GenericArbitrary Rec)

66−#else

67−instance Arbitrary Rec where

68− arbitrary = genericArbitrary

69− shrink = genericShrink

70−#endif

71−

72−prop_recTotal :: Rec -> Property

73−prop_recTotal = total

74−

75−data Expr

76− = Lit Int

77− | Add Expr Expr

78− | Mul Expr Expr

79− deriving (Eq, Show, Generic)

80− deriving anyclass NFData

81−#if MIN_VERSION_QuickCheck(2, 14, 0)

82− deriving Arbitrary via (GenericArbitrary Expr)

83−#else

84−instance Arbitrary Expr where

85− arbitrary = genericArbitrary

86− shrink = genericShrink

87−#endif

88−

89−prop_exprTotal :: Expr -> Property

90−prop_exprTotal = total

91−

92−data Recursive

93− = R1 Recursive

94− | R2 Recursive Int

95− | N Int

96− | R3 Recursive

97− | R4 Recursive

98− | R5 Recursive String

99− deriving (Eq, Show, Generic)

100− deriving anyclass NFData

101−#if MIN_VERSION_QuickCheck(2, 14, 0)

102− deriving Arbitrary via (GenericArbitrary Recursive)

103−#else

104−instance Arbitrary Recursive where

105− arbitrary = genericArbitrary

106− shrink = genericShrink

107−#endif

108−

109−prop_recursiveTotal :: Recursive -> Property

110−prop_recursiveTotal = total

111−

112−data DeepRecursive

113− = Deep DeepRecursive DeepRecursive DeepRecursive DeepRecursive DeepRecursive

114− | Short

115− deriving (Eq, Show, Generic)

116− deriving anyclass NFData

117−#if MIN_VERSION_QuickCheck(2, 14, 0)

118− deriving Arbitrary via (GenericArbitrary DeepRecursive)

119−#else

120−instance Arbitrary DeepRecursive where

121− arbitrary = genericArbitrary

122− shrink = genericShrink

123−#endif

124−

125−prop_deepRecursiveTotal :: DeepRecursive -> Property

126−prop_deepRecursiveTotal = total

127−

128−data P p = NoP | P p

129− deriving (Eq, Show, Generic)

130− deriving anyclass NFData

131−

132−-- Note that deriving via doesn't work for case with arguments

133−instance (Arg (P p) p, Arbitrary p) => Arbitrary (P p) where

134− arbitrary = genericArbitrary

135− shrink = genericShrink

136−

137−prop_Ptotal :: P (P Int) -> Property

138−prop_Ptotal = total

test/Test.hsdeleted−1

@@ -1 +0,0 @@

1−{-# OPTIONS_GHC -F -pgmF tasty-discover #-}