e3f3d5c..master · typeable/generic-arbitrary

git.iko.soy/typeable/generic-arbitrary

on master help sign in

.github/workflows/haskell-ci.ymlnew file+29

since splitsnapshots

unifiedsplit

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

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,3 +3,5 @@ dist

3.stack-work

4.cabal-sandbox/

5cabal.sandbox.config

6+dist-newstyle

7+TAGS

.travis.yml+22−87

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

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

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

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

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

7+# version: 0.9.20200406

8+#

7version: ~> 1.0

9version: ~> 1.0

8language: c

10language: c

9os: linux

11os: linux

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

11git:

13git:

12 # whether to recursively clone submodules

14 # whether to recursively clone submodules

13 submodules: false

15 submodules: false

14−branches:

15− only:

16− - master

17cache:

16cache:

18 directories:

17 directories:

19 - $HOME/.cabal/packages

18 - $HOME/.cabal/packages

20 - $HOME/.cabal/store

19 - $HOME/.cabal/store

21 - $HOME/.hlint

20 - $HOME/.hlint

22− - $HOME/.ghc-install

23before_cache:

21before_cache:

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

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

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

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

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

34 - compiler: ghc-8.10.1

32 - compiler: ghc-8.10.1

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"]}}

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"]}}

36 os: linux

34 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

40 - compiler: ghc-8.6.5

35 - compiler: ghc-8.6.5

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"]}}

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"]}}

42 os: linux

37 os: linux

43− - compiler: ghc-8.4.4

38+ - compiler: ghc-8.4.1

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"]}}

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"]}}

45 os: linux

40 os: linux

46 - compiler: ghc-8.2.2

41 - compiler: ghc-8.2.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"]}}

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"]}}

48 os: linux

43 os: linux

49− - compiler: ghc-head

44+ - compiler: ghc-8.0.2

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"]}}

46+ os: linux

47+ - compiler: ghc-7.10.3

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"]}}

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"]}}

51 os: linux

49 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

60before_install:

50before_install:

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

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

62 - WITHCOMPILER="-w $HC"

52 - WITHCOMPILER="-w $HC"

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

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

65 - HCPKG="$HC-pkg"

54 - HCPKG="$HC-pkg"

66 - unset CC

55 - unset CC

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

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

68 - CABALHOME=$HOME/.cabal

57 - CABALHOME=$HOME/.cabal

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

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

70 - TOP=$(pwd)

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

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

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

74 - echo $HCNUMVER

61 - echo $HCNUMVER

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

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

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

77 - TEST=--enable-tests

64 - TEST=--enable-tests

78 - BENCH=--enable-benchmarks

65 - BENCH=--enable-benchmarks

79 - HEADHACKAGE=false

66 - HEADHACKAGE=false

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

81 - rm -f $CABALHOME/config

67 - rm -f $CABALHOME/config

82 - |

68 - |

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

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

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

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

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

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

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

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

83 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

109install:

84install:

110 - ${CABAL} --version

85 - ${CABAL} --version

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

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

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

113− - GHCJOBS=-j2

114 - |

87 - |

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

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

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

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

117 - cat $CABALHOME/config

90 - cat $CABALHOME/config

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

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

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

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

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

121 # Generate cabal.project

93 # Generate cabal.project

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

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

123 - touch cabal.project

95 - touch cabal.project

124 - |

96 - |

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

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

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

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

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

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

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

129 - |

100 - |

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

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"

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"

141 - cat cabal.project || true

102 - cat cabal.project || true

142 - cat cabal.project.local || true

103 - cat cabal.project.local || true

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

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

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

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

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

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

147 - rm cabal.project.freeze

107 - rm cabal.project.freeze

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

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

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

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

150script:

111script:

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

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

152 # Packaging...

113 # Packaging...

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

156 - cd ${DISTDIR} || false

117 - cd ${DISTDIR} || false

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

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

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

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

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

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

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

161 # Generate cabal.project

121 # Generate cabal.project

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

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

163 - touch cabal.project

123 - touch cabal.project

164 - |

124 - |

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

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

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

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

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

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

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

169 - |

128 - |

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

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"

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"

181 - cat cabal.project || true

130 - cat cabal.project || true

182 - cat cabal.project.local || true

131 - cat cabal.project.local || true

183 # Building...

132 # Building...

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

186 # Building with tests and benchmarks...

135 # Building with tests and benchmarks...

187 # build & run tests, build benchmarks

136 # build & run tests, build benchmarks

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

137 - ${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)

195 # cabal check...

138 # cabal check...

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

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

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

198 # haddock...

140 # haddock...

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

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

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

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

201 - rm -f cabal.project.local

143 - rm -f cabal.project.local

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

144 - ${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'

210

145

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

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

212−# EOF

147+# EOF

CHANGELOG.md+39

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

1+1.0.1.2

2+-------

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

6+1.0.1.1

7+-------

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+

10.1.0

400.1.0

2-----

41-----

README.md+138−1

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

1# generic-arbitrary

3−[![Build Status](https://travis-ci.org/typeable/generic-arbitrary.svg?branch=master)](https://travis-ci.org/typeable/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)

5+# What?

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

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+81−8

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

1name: generic-arbitrary

2−version: 0.1.0

2+version: 1.0.1.2

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 recursive types but is safe for non-recursive ones and guarantees

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

8 flat distribution for constructors of sum-types.

10license: MIT

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

15category: Generic

16build-type: Simple

17extra-source-files: CHANGELOG.md

18+ , README.md

18−cabal-version: >=1.22

19+cabal-version: 2.0

19−tested-with: GHC == 7.10.3

20+tested-with: GHC == 8.6.5

21+ , GHC == 8.10.7

22+ , GHC == 9.0.2

23+ , GHC == 9.2.4

24+ , GHC == 9.4.3

20− , GHC == 8.0.2

25+ , GHC == 9.8.1

21− , GHC == 8.2.2

26+

22− , GHC == 8.4.1

27+source-repository head

28+ type: git

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

24library

31library

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

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

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

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

34+ , QuickCheck >=2.8

27 hs-source-dirs: src

35 hs-source-dirs: src

28 default-language: Haskell2010

36 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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: lts-18.18

ghc-8.10.7.yaml.locknew file+12

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

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

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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: lts-13.21

ghc-8.6.5.yaml.locknew file+12

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

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

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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: lts-19.20

ghc-9.0.2.yaml.locknew file+12

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

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

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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: nightly-2022-08-24

ghc-9.2.4.yaml.locknew file+12

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

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

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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: nightly-2022-12-26

ghc-9.4.3.yaml.locknew file+12

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

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

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.yamlnew file+1

@@ -0,0 +1 @@

1+resolver: nightly-2024-01-12

ghc-9.8.1.yaml.locknew file+12

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

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

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+336−28

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

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

1+#if __GLASGOW_HASKELL__ >= 806

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

3+#endif

4+#if __GLASGOW_HASKELL__ >= 800

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

6+#endif

3−{- |

8+{-|

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

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

11+usage:

13@

8data Foo = Foo

14data Foo = Foo

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

15 shrink = genericShrink

21 shrink = genericShrink

16@

22@

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+

18The generated 'arbitrary' method is equivalent to

34The generated 'arbitrary' method is equivalent to

36+@

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

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

22-}

132-}

133

24module Test.QuickCheck.Arbitrary.Generic

134module Test.QuickCheck.Arbitrary.Generic

25− ( Arbitrary(..)

135+ ( -- * Main

26− , genericArbitrary

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(..)

27 , genericShrink

152 , genericShrink

28 ) where

153 ) where

154

30−import Control.Applicative

155+import Control.Applicative

31−import Data.Proxy

156+import Data.Proxy

157+import Data.Type.Bool

32−import GHC.Generics as G

158+import GHC.Generics as G

33−import GHC.TypeLits

159+import GHC.TypeLits

160+import Prelude

34−import Test.QuickCheck as QC

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

36−class GArbitrary a where

168+-- | Newtype for @DerivingVia@

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

169+--

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

39−instance GArbitrary G.U1 where

184+instance

40− gArbitrary = pure G.U1

185+ ( Generic a,

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)

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

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

43− gArbitrary = G.K1 <$> arbitrary

202+-- arbitrary = genericArbitrary

203+-- shrink = genericShrink

204+-- @

205+--

206+-- @since 1.0.0

207

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

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

46− gArbitrary = G.M1 <$> gArbitrary

209

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

210+type family TypesDiffer a b where

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

211+ TypesDiffer a a = 'False

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

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

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

52-- Internal use only.

234-- Internal use only.

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

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

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

55 SumLen a = 1

237 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

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

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

312+ , (af || bf) ~ some

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

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

59− gArbitrary = frequency

314+ gArbitrary _ = frequency

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

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

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

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

62 where

317 where

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

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

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

319 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

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

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

374+ => Gen a

67−genericArbitrary = G.to <$> gArbitrary

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

stack.yaml+1−1

@@ -1 +1 @@

1−resolver: lts-6.30

1+resolver: lts-19.2

stack.yaml.locknew file+12

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

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

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.hsnew file+10

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

1+module Auxiliary where

3+import Control.Exception

4+import Test.QuickCheck

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.hsnew file+24

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

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

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.hsnew file+37

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

1+module LimitationDemo where

3+import Control.DeepSeq

4+import GHC.Generics (Generic)

5+import Test.QuickCheck

6+import Test.QuickCheck.Arbitrary.Generic

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.hsnew file+23

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

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

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

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

6+module NoTypecheckTest where

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.hsnew file+34

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

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

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

4+module ParametersTest where

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.hsnew file+138

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

1+{-# LANGUAGE DerivingStrategies #-}

2+{-# LANGUAGE DerivingVia #-}

3+{-# LANGUAGE DeriveAnyClass #-}

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

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

7+-- `size` parameter while generating.

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.hsnew file+1

@@ -0,0 +1 @@

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