e71cbde..master · compaREST

.github/actions/common_setup/action.yamlnew file+42

since splitsnapshots

unifiedsplit

@@ -0,0 +1,42 @@

1+name: "Common setup"

2+description: "Common setup steps"

3+inputs:

4+ authToken:

5+ description: "Cachix auth token"

6+ required: true

7+runs:

8+ using: "composite"

9+ steps:

10+ - name: Increase swap if linux

11+ shell: bash

12+ run: |

13+ if [ "$RUNNER_OS" == "Linux" ]; then

14+

15+ echo "Is Linux"

16+

17+ free -h

18+

19+ sudo swapoff /mnt/swapfile

20+ sudo fallocate -l 12G /mnt/swapfile

21+ sudo mkswap /mnt/swapfile

22+ sudo swapon /mnt/swapfile

23+

24+ free -h

25+

26+ else

27+

28+ echo "Not Linux"

29+

30+ fi

31+

32+ - name: Install Nix

33+ uses: cachix/install-nix-action@v16

34+ with:

35+ extra_nix_config: |

36+ system-features = kvm

37+ trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=

38+ substituters = https://hydra.iohk.io https://cache.nixos.org/

39+ - uses: cachix/cachix-action@v10

40+ with:

41+ name: typeable

42+ authToken: "${{ inputs.authToken }}"

.github/workflows/github-actions-image.yaml+281−26

@@ -5,52 +5,307 @@ on:

5 branches: [master]

6 pull_request:

7 branches: [master]

8+ release:

9+ types: [prereleased]

8

10

9jobs:

11jobs:

10− build-github-action-image:

12+ check-formatting:

13+ name: Check Haskell formatting

11 runs-on: ubuntu-latest

14 runs-on: ubuntu-latest

15+ steps:

16+ - uses: actions/checkout@v2

17+

18+ - name: Common setup

19+ uses: ./.github/actions/common_setup

20+ with:

21+ authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

22+

23+ - name: Run fourmolu

24+ run: |

25+ nix-shell nix/ci.nix -j auto --run "git ls-files '*.hs' | xargs fourmolu -m inplace -o -XRecursiveDo -o -XTypeApplications -o -XPatternSynonyms -o -XBangPatterns"

26+ git diff --exit-code

27+

28+ policeman:

29+ runs-on: ubuntu-latest

30+ steps:

31+ - uses: actions/checkout@v2

32+ with:

33+ submodules: recursive

34+

35+ - name: Common setup

36+ uses: ./.github/actions/common_setup

37+ with:

38+ authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

39+

40+ - name: Run policeman

41+ run: |

42+ jq --argjson msg "$( $(nix-build ci/policeman.nix)/bin/policeman | grep -v "⚙" | jq -aRs . )" ".[0].message = \$msg" <policeman.json >message.json

43+ cat message.json

44+

45+ - name: Post notice

46+ uses: yuzutech/annotations-action@v0.4.0

47+ with:

48+ title: 👮 Policeman

49+ repo-token: "${{ secrets.GITHUB_TOKEN }}"

50+ input: "./message.json"

51+

52+ check_versions:

53+ runs-on: ubuntu-latest

54+ steps:

55+ - uses: actions/checkout@v2

56+ with:

57+ submodules: recursive

12

58

59+ - name: Check library version

60+ if: github.event_name == 'release'

61+ run: |

62+ if [ "$(awk -F ':' '/^version/ {gsub(/ /, "", $2); print $2}' compaREST.cabal)" != "${{ github.event.release.tag_name }}" ]; then

63+ echo "::error file=compaREST.cabal::Library version does not match release version."

64+ exit 1

65+ fi

66+

67+ - name: Check docker tag

68+ if: github.event_name == 'release'

69+ run: |

70+ if [ "$(yq eval '.runs.image' action.yaml | awk -F ':' '{print $NF}')" != "${{ github.event.release.tag_name }}" ]; then

71+ echo "::error file=action.yaml::Action docker tag does not match release tag."

72+ exit 1

73+ fi

74+

75+ - name: Check changelog

76+ if: github.event_name == 'release'

77+ run: |

78+ if ! grep '^## ${{ github.event.release.tag_name }}$' CHANGELOG.md; then

79+ echo "::error file=CHANGELOG.md::CHANGELOG.md does not contain an entry for this release."

80+ exit 1

81+ fi

82+

83+ Linux:

84+ needs: check_versions

85+ runs-on: ubuntu-latest

13 steps:

86 steps:

14 - uses: actions/checkout@v2

87 - uses: actions/checkout@v2

15 with:

88 with:

16 submodules: recursive

89 submodules: recursive

17− - name: Increase swap

90+

91+ - name: Common setup

92+ uses: ./.github/actions/common_setup

93+ with:

94+ authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

95+

96+ - name: Test

97+ shell: bash

98+ run: |

99+ $(nix-build -A test -j auto --no-out-link)/bin/compaREST-tests

100+

101+ - name: Build Linux static binary

102+ shell: bash

18 run: |

103 run: |

19− free -h

104+ cp $(nix-build -A compaRESTStaticBin -j auto --no-out-link)/bin/compaREST compaREST

20

105

21− sudo swapoff /mnt/swapfile

106+ - name: Upload compaREST Linux Binary

22− sudo fallocate -l 12G /mnt/swapfile

107+ uses: actions/upload-artifact@v2

23− sudo mkswap /mnt/swapfile

108+ with:

24− sudo swapon /mnt/swapfile

109+ name: compaREST-Linux

110+ path: compaREST

25

111

26− free -h

112+ - name: Build Docker Images

113+ shell: bash

114+ run: |

115+ cp $(nix-build -A compaRESTGithubAction -j auto --no-out-link) compaREST-Github-Action-image.tar.gz

116+ cp $(nix-build -A compaRESTImage -j auto --no-out-link) compaREST-image.tar.gz

27

117

28− - name: Install Nix

118+ - name: Upload compaREST Docker Github Action Image

29− uses: cachix/install-nix-action@v12

119+ uses: actions/upload-artifact@v2

30 with:

120 with:

31− extra_nix_config: |

121+ name: compaREST Github Action Docker Image

32− trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=

122+ path: compaREST-Github-Action-image.tar.gz

33− substituters = https://hydra.iohk.io https://cache.nixos.org/

34

123

35− - name: Login to Cachix

124+ - name: Upload compaREST Docker Image

36− uses: cachix/cachix-action@v8

125+ uses: actions/upload-artifact@v2

37 with:

126 with:

38− name: octopod

127+ name: compaREST Docker Image

39− signingKey: ${{ secrets.CACHIX_SIGNING_KEY }}

128+ path: compaREST-image.tar.gz

40

129

41− - name: Build Github Action Docker Image

130+ - name: Install skopeo

131+ if: github.event_name == 'release'

132+ shell: bash

42 run: |

133 run: |

43− nix-build -A compaRESTGithubAction -j auto -o image

134+ sudo apt-get -y update

135+ sudo apt-get -y install skopeo

44

136

45− - name: Log into Docker Hub

137+ - name: Login to DockerHub

46− if: github.ref == 'refs/heads/master'

47− uses: docker/login-action@v1

138+ uses: docker/login-action@v1.10.0

48 with:

139 with:

49 username: ${{ secrets.DOCKER_HUB_USERNAME }}

140 username: ${{ secrets.DOCKER_HUB_USERNAME }}

50 password: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}

141 password: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}

51

142

52− - name: Upload Image to Docker Hub

143+ - name: Push Nightly Docker Images to DockerHub

53− if: github.ref == 'refs/heads/master'

144+ if: github.ref == 'refs/heads/master' && github.event_name == 'push'

145+ shell: bash

146+ run: |

147+ skopeo copy docker-archive:$(nix-build -A compaRESTGithubAction -j auto --no-out-link) docker://ilyakooo0/comparest-github-action:nightly

148+ skopeo copy docker-archive:$(nix-build -A compaRESTImage -j auto --no-out-link) docker://ilyakooo0/comparest:nightly

149+

150+ - name: Push Release Docker Images to DockerHub

151+ if: github.event_name == 'release'

152+ shell: bash

153+ run: |

154+ skopeo copy docker-archive:$(nix-build -A compaRESTGithubAction -j auto --no-out-link) docker://ilyakooo0/comparest-github-action:${{ github.event.release.tag_name }}

155+ skopeo copy docker-archive:$(nix-build -A compaRESTImage -j auto --no-out-link) docker://ilyakooo0/comparest:${{ github.event.release.tag_name }}

156+

157+ - name: Zip Release Assets

158+ if: github.event_name == 'release'

159+ shell: bash

160+ run: |

161+ zip compaREST-Linux-x86.zip compaREST

162+

163+ - name: Upload compaREST Github Action Docker Image to release

164+ if: github.event_name == 'release'

165+ uses: svenstaro/upload-release-action@2.2.1

166+ with:

167+ repo_token: ${{ secrets.GITHUB_TOKEN }}

168+ file: compaREST-Github-Action-image.tar.gz

169+ tag: ${{ github.ref }}

170+

171+ - name: Upload compaREST Docker Image to release

172+ if: github.event_name == 'release'

173+ uses: svenstaro/upload-release-action@2.2.1

174+ with:

175+ repo_token: ${{ secrets.GITHUB_TOKEN }}

176+ file: compaREST-image.tar.gz

177+ tag: ${{ github.ref }}

178+

179+ - name: Upload compaREST binary – Linux – x86 to release

180+ if: github.event_name == 'release'

181+ uses: svenstaro/upload-release-action@2.2.1

182+ with:

183+ repo_token: ${{ secrets.GITHUB_TOKEN }}

184+ file: compaREST-Linux-x86.zip

185+ tag: ${{ github.ref }}

186+

187+ dist:

188+ needs: check_versions

189+ runs-on: ubuntu-latest

190+ steps:

191+ - uses: actions/checkout@v2

192+ with:

193+ submodules: recursive

194+

195+ - name: Cache

196+ uses: actions/cache@v1

197+ with:

198+ path: |

199+ ~/.stack

200+ .stack-work

201+ key: ${{ runner.os }}-stack-${{ hashFiles('stack.yaml') }}-${{ hashFiles('**.cabal') }}

202+ restore-keys: |

203+ ${{ runner.os }}-stack-${{ hashFiles('stack.yaml') }}

204+ ${{ runner.os }}-stack

205+

206+ - name: Upgrade stack

207+ shell: bash

208+ # Needed for Hackage token authorization

209+ run: stack upgrade --git

210+

211+ - name: Build dist

212+ run: |

213+ stack sdist --pvp-bounds both --test-tarball

214+ echo "distPath=$(stack path | awk -F ": " '/dist-dir/ {print $2}')" >> $GITHUB_ENV

215+

216+ - name: Upload compaREST sources artifact

217+ uses: actions/upload-artifact@v2

218+ with:

219+ name: compaREST sources

220+ path: ${{ env.distPath }}/*.tar.gz

221+

222+ - name: Upload compaREST sources to release

223+ if: github.event_name == 'release'

224+ uses: svenstaro/upload-release-action@2.2.1

225+ with:

226+ repo_token: ${{ secrets.GITHUB_TOKEN }}

227+ file_glob: true

228+ file: ${{ env.distPath }}/*.tar.gz

229+ tag: ${{ github.ref }}

230+

231+ - name: Publish compaREST candidate to Hackage

232+ shell: bash

233+ if: github.event_name == 'release'

234+ env:

235+ HACKAGE_KEY: ${{ secrets.HACKAGE_KEY }}

236+ run: |

237+ stack upload --pvp-bounds both --test-tarball --candidate .

238+

239+ macOS:

240+ needs: check_versions

241+ runs-on: macos-latest

242+ steps:

243+ - uses: actions/checkout@v2

244+ with:

245+ submodules: recursive

246+

247+ - name: Common setup

248+ uses: ./.github/actions/common_setup

249+ with:

250+ authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

251+

252+ - name: Build macOS binary bundle

253+ run: |

254+ cp -LR $(nix-build -A macOSCompaRESTBundle -j auto --no-out-link) compaREST

255+

256+ - name: Upload macOS compaREST bundle

257+ uses: actions/upload-artifact@v2

258+ with:

259+ name: compaREST binary – macOS – x86

260+ path: compaREST

261+

262+ - name: Zip Release Assets

263+ if: github.event_name == 'release'

264+ shell: bash

265+ run: |

266+ zip -r compaREST-macOS-x86.zip compaREST

267+

268+ - name: Upload compaREST binary – macOS – x86 to release

269+ if: github.event_name == 'release'

270+ uses: svenstaro/upload-release-action@2.2.1

271+ with:

272+ repo_token: ${{ secrets.GITHUB_TOKEN }}

273+ file: compaREST-macOS-x86.zip

274+ tag: ${{ github.ref }}

275+

276+ Linux-Windows:

277+ needs: check_versions

278+ runs-on: ubuntu-latest

279+ steps:

280+ - uses: actions/checkout@v2

281+ with:

282+ submodules: recursive

283+

284+ - name: Common setup

285+ uses: ./.github/actions/common_setup

286+ with:

287+ authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

288+

289+ - name: Build Windows binary

54 run: |

290 run: |

55− docker load -i image

291+ cp -LR $(nix-build -A WindowsCompaRESTBin -j auto --no-out-link)/bin compaREST

56− docker push typeable/comparest-github-action:latest

292+

293+ - name: Upload Windows compaREST bundle

294+ uses: actions/upload-artifact@v2

295+ with:

296+ name: compaREST binary – Windows

297+ path: compaREST

298+

299+ - name: Zip Release Assets

300+ if: github.event_name == 'release'

301+ shell: bash

302+ run: |

303+ zip -r compaREST-Windows.zip compaREST

304+

305+ - name: Upload compaREST binary – Windows to release

306+ if: github.event_name == 'release'

307+ uses: svenstaro/upload-release-action@2.2.1

308+ with:

309+ repo_token: ${{ secrets.GITHUB_TOKEN }}

310+ file: compaREST-Windows.zip

311+ tag: ${{ github.ref }}

.github/workflows/linux-binary.yamldeleted−54

@@ -1,54 +0,0 @@

1−name: Linux binary

2−

3−on:

4− push:

5− branches: [master]

6− pull_request:

7− branches: [master]

8−

9−jobs:

10− linux-build:

11− runs-on: ubuntu-latest

12−

13− steps:

14− - uses: actions/checkout@v2

15− with:

16− submodules: recursive

17− - name: Cache

18− uses: actions/cache@v1

19− with:

20− path: ~/.stack

21− key: ${{ runner.os }}-build-stack-${{ hashFiles('**/stack.yaml') }}-${{ hashFiles('**/*.cabal') }}

22− restore-keys: |

23− ${{ runner.os }}-build-stack-${{ hashFiles('**/stack.yaml') }}

24− ${{ runner.os }}-build-stack-

25− - name: Increase swap

26− run: |

27− free -h

28−

29− sudo swapoff /mnt/swapfile

30− sudo fallocate -l 13G /mnt/swapfile

31− sudo mkswap /mnt/swapfile

32− sudo swapon /mnt/swapfile

33−

34− free -h

35−

36− - name: Build

37− run: |

38− stack build --ghc-options=-O3 --local-bin-path comparest-linux --copy-bins --flag comparest:Static

39− - name: Test

40− run: stack test --ghc-options=-O3 --flag comparest:Static --test-arguments='--hide-successes --no-create'

41−

42− - name: Zip

43− if: github.ref == 'refs/heads/master'

44− run: |

45− zip comparest-linux comparest-linux/comparest

46− - uses: "marvinpinto/action-automatic-releases@latest"

47− if: github.ref == 'refs/heads/master'

48− with:

49− repo_token: "${{ secrets.GITHUB_TOKEN }}"

50− automatic_release_tag: "latest"

51− prerelease: false

52− title: "Pre-Release"

53− files: |

54− *.zip

.github/workflows/remove-artifacts.yamldeleted−17

@@ -1,17 +0,0 @@

1−name: Remove old artifacts

2−

3−on:

4− schedule:

5− - cron: '0 0 * * *'

6−jobs:

7− remove-old-artifacts:

8− runs-on: ubuntu-latest

9− timeout-minutes: 10

10−

11− steps:

12− - name: Remove old artifacts

13− uses: c-hive/gha-remove-artifacts@v1

14− with:

15− age: '7 days'

16− skip-tags: true

17− skip-recent: 10

action.yaml+6−6

@@ -10,10 +10,6 @@ inputs:

10 description: The owner of the repo in which to post the comment.

11 default: "${{ github.repository }}"

12 required: false

13− pull_request:

14− description: The pull request in which to post the comment.

15− default: "${{ github.event.pull_request.number }}"

16− required: false

17 project_name:

13 project_name:

18 description: The name of the project to which the API pertains.

14 description: The name of the project to which the API pertains.

19 required: true

15 required: true

@@ -27,18 +23,22 @@ inputs:

27 new:

23 new:

28 description: The path to new specification of the API.

24 description: The path to new specification of the API.

29 required: true

25 required: true

26+ sha:

27+ description: The sha of the commit to post the check for.

28+ required: false

29+ default: "${{ github.event.pull_request.head.sha }}"

30runs:

31 using: "docker"

32− image: "typeable/comparest-github-action:latest"

32+ image: "docker://typeable/comparest-github-action:0.0.0.0"

33 env:

34 GITHUB_TOKEN: "${{ inputs.GITHUB_TOKEN }}"

35 REPO: "${{ inputs.repo }}"

36− PR_NUMBER: "${{ inputs.pull_request }}"

37 PROJECT_NAME: "${{ inputs.project_name }}"

36 PROJECT_NAME: "${{ inputs.project_name }}"

38 FOOTER: "${{ inputs.footer }}"

37 FOOTER: "${{ inputs.footer }}"

39 ROOT: "/github/workspace"

38 ROOT: "/github/workspace"

40 OLD: "${{ inputs.old }}"

39 OLD: "${{ inputs.old }}"

41 NEW: "${{ inputs.new }}"

40 NEW: "${{ inputs.new }}"

41+ SHA: "${{ inputs.sha }}"

42 pre-entrypoint: "/bin/pre"

43 entrypoint: "/bin/run"

44

app/Data/OpenApi/Compare/Options.hs+91−72

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

1module Data.OpenApi.Compare.Options

2− ( Options (..)

2+ ( Options (..),

3− , OutputMode (..)

3+ OutputMode (..),

4− , parseOptions

4+ parseOptions,

5 )

6where

7

@@ -30,86 +30,105 @@ optionsParserInfo :: ParserInfo Options

30optionsParserInfo =

31 info

32 (helper <*> optionsParser)

33− (fullDesc

33+ ( fullDesc

34− <> header "CompaREST"

34+ <> header "CompaREST"

35− <> progDescDoc

35+ <> progDescDoc

36− (Just $

36+ ( Just $

37− par "A tool to check compatibility between two OpenAPI specifications."

37+ par "A tool to check compatibility between two OpenAPI specifications."

38− <$$> hardline <> par "Usage examples" <> hardline

38+ <$$> hardline <> par "Usage examples" <> hardline

39− <$$> indent

39+ <$$> indent

40− 4

40+ 4

41− (par "Compare files old.yaml with new.yaml and output the resulting report to stdout:"

41+ ( par "Compare files old.yaml with new.yaml and output the resulting report to stdout:"

42− <$$> hardline <> indent 4 "comparest -c old.yaml -s new.yaml"

42+ <$$> hardline <> indent 4 "comparest -c old.yaml -s new.yaml"

43− <$$> hardline <> par "Only output breaking changes and write a styled HTML report to file report.html:"

43+ <$$> hardline <> par "Only output breaking changes and write a styled HTML report to file report.html:"

44− <$$> hardline <> indent 4 "comparest -c old.yaml -s new.yaml --only-breaking -o report"

44+ <$$> hardline <> indent 4 "comparest -c old.yaml -s new.yaml --only-breaking -o report"

45− <$$> hardline <> par "Don't output anything, only fail if there are breaking changes:"

45+ <$$> hardline <> par "Don't output anything, only fail if there are breaking changes:"

46− <$$> hardline <> indent 4 "comparest -c old.json -s new.json --silent"

46+ <$$> hardline <> indent 4 "comparest -c old.json -s new.json --silent"

47− <$$> hardline <> par "Write full report suitable for embedding into a GitHub comment to report.html:"

47+ <$$> hardline <> par "Write full report suitable for embedding into a GitHub comment to report.html:"

48− <$$> hardline <> indent 4 "comparest -c old.json -s new.json --folding-block-quotes-style -o report.html")))

48+ <$$> hardline <> indent 4 "comparest -c old.json -s new.json --folding-block-quotes-style -o report.html"

49+ )

50+ )

51+ )

49

52

50optionsParser :: Parser Options

53optionsParser :: Parser Options

51optionsParser =

54optionsParser =

52 Options

55 Options

53 <$> strOption

56 <$> strOption

54− (short 'c'

57+ ( short 'c'

55− <> long "client"

58+ <> long "client"

56− <> help

59+ <> help

57− "A path to the file containing the specification that will be \

60+ "A path to the file containing the specification that will be \

58− \used for the client of the API. Can be either a YAML or JSON file.")

61+ \used for the client of the API. Can be either a YAML or JSON file."

62+ )

59 <*> strOption

63 <*> strOption

60− (short 's'

64+ ( short 's'

61− <> long "server"

65+ <> long "server"

62− <> help

66+ <> help

63− "A path to the file containing the specification that will be \

67+ "A path to the file containing the specification that will be \

64− \used for the server of the API. Can be either a YAML or JSON file.")

68+ \used for the server of the API. Can be either a YAML or JSON file."

69+ )

65− <*> (flag'

70+ <*> ( flag'

66− Nothing

71+ Nothing

67− (long "silent"

72+ ( long "silent"

68− <> help "Silence all output. Only makes sense in combination with --signal-exit-code.")

73+ <> help "Silence all output. Only makes sense in combination with --signal-exit-code."

74+ )

69− <|> flag'

75+ <|> flag'

70− (Just OnlyErrors)

76+ (Just OnlyErrors)

71− (long "only-breaking"

77+ ( long "only-breaking"

72− <> help "Only report breaking changes in the output.")

78+ <> help "Only report breaking changes in the output."

79+ )

73− <|> flag'

80+ <|> flag'

74− (Just All)

81+ (Just All)

75− (long "all"

82+ ( long "all"

76− <> help

83+ <> help

77− "Report both incompatible and compatible changes. \

84+ "Report both incompatible and compatible changes. \

78− \Compatible changes will not trigger a failure exit code.")

85+ \Compatible changes will not trigger a failure exit code."

86+ )

79− <|> pure (Just All))

87+ <|> pure (Just All)

88+ )

80− <*> ((FileMode

89+ <*> ( ( FileMode

81− <$> strOption

90+ <$> strOption

82− (short 'o' <> long "output"

91+ ( short 'o' <> long "output"

83− <> helpDoc

92+ <> helpDoc

84− (Just $

93+ ( Just $

85− par "The file path where the output should be written. If the option is omitted the result will be written to stdout."

94+ par "The file path where the output should be written. If the option is omitted the result will be written to stdout."

86− <$$> hardline <> par "The file extension is used to determine the type of the output file."

95+ <$$> hardline <> par "The file extension is used to determine the type of the output file."

87− <$$> hardline <> par "Supports many formats such as markdown, html, rtf, doc, txt, rst, and many more."

96+ <$$> hardline <> par "Supports many formats such as markdown, html, rtf, doc, txt, rst, and many more."

88− <$$> hardline <> par "Leave out the extension to produce a self-contained HTML report with styling.")))

97+ <$$> hardline <> par "Leave out the extension to produce a self-contained HTML report with styling."

98+ )

99+ )

100+ )

89− <|> pure StdoutMode)

101+ <|> pure StdoutMode

102+ )

90− <*> (flag'

103+ <*> ( flag'

91− FoldingBlockquotesTreeStyle

104+ FoldingBlockquotesTreeStyle

92− (long "folding-block-quotes-style"

105+ ( long "folding-block-quotes-style"

93− <> help

94− "The report tree is structured using \

95− \summary/detail HTML elements and indented using \

96− \block quotes. This style renders well on GitHub.\

97− \Intended for HTML output format. Markdown has rendering \

98− \bugs on GitHub.")

99− <|> flag'

100− HeadersTreeStyle

101− (long "header-style"

102 <> help

106 <> help

103 "The report tree is structured using \

107 "The report tree is structured using \

108+ \summary/detail HTML elements and indented using \

109+ \block quotes. This style renders well on GitHub.\

110+ \Intended for HTML output format. Markdown has rendering \

111+ \bugs on GitHub."

112+ )

113+ <|> flag'

114+ HeadersTreeStyle

115+ ( long "header-style"

116+ <> help

117+ "The report tree is structured using \

104− \increasing levels of headers.")

118+ \increasing levels of headers."

119+ )

105− <|> pure HeadersTreeStyle)

120+ <|> pure HeadersTreeStyle

121+ )

106− <*> switch

122+ <*> switch

107− (long "signal-exit-code"

123+ ( long "signal-exit-code"

108− <> helpDoc (Just $

124+ <> helpDoc

125+ ( Just $

109 par "Signal API compatibility with the exit code."

126 par "Signal API compatibility with the exit code."

110 <$$> hardline <> par "Exit with 0 if there are no breaking changes."

127 <$$> hardline <> par "Exit with 0 if there are no breaking changes."

111 <$$> par "Exit with 1 if there are breaking changes."

128 <$$> par "Exit with 1 if there are breaking changes."

112− <$$> par "Exit with 2 if could not determine compatibility."))

129+ <$$> par "Exit with 2 if could not determine compatibility."

130+ )

131+ )

113

132

114par :: String -> Doc

133par :: String -> Doc

115par = foldr1 (</>) . fmap string . words

134par = foldr1 (</>) . fmap string . words

app/FormatHeuristic.hs+1−1

@@ -2,7 +2,7 @@

2-- Originally based on:

3-- https://github.com/jgm/pandoc/blob/master/src/Text/Pandoc/App/FormatHeuristics.hs

4module FormatHeuristic

5− ( formatFromFilePath

5+ ( formatFromFilePath,

6 )

7where

8

ci/policeman.nixnew file+4

@@ -0,0 +1,4 @@

1+{ sources ? import ../nix/sources.nix

2+, pkgs ? import sources.nixpkgs { }

3+}:

4+pkgs.haskellPackages.policeman

comparest.cabal → compaREST.cabalrenamed+18−16

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

1cabal-version: 2.4

2−name: comparest

2+name: compaREST

3version: 0.0.0.0

4synopsis: Compatibility checker for OpenAPI

5description: Compatibility checker for OpenAPI.

6license: MIT

7license-file: LICENSE

8author: Typeable

9−maintainer: comparest@typeable.io

9+maintainer: compaREST@typeable.io

10copyright: 2021 Typeable

11category: Web

12build-type: Simple

@@ -14,16 +14,11 @@ extra-doc-files: README.md

14 CHANGELOG.md

15tested-with: GHC == 8.10.4

16extra-source-files: awsm-css/dist/awsm.min.css

17−

17+data-files:

18−Flag static

18+ test/golden/**/*.yaml

19− Default: False

19+ test/golden/**/*.md

20− Manual: True

21

20

22common common-options

21common common-options

23− if flag(static)

24− cc-options: -static

25− ld-options: -static -pthread

26− ghc-options: -static

27 ghc-options:

22 ghc-options:

28 -Weverything

23 -Weverything

29 -Wno-implicit-prelude

24 -Wno-implicit-prelude

@@ -40,6 +35,7 @@ common common-options

40 build-depends: base >= 4.12.0.0 && < 4.16

35 build-depends: base >= 4.12.0.0 && < 4.16

41 , text

36 , text

42

37

38+

43 default-extensions: ApplicativeDo

39 default-extensions: ApplicativeDo

44 , BangPatterns

40 , BangPatterns

45 , ConstraintKinds

41 , ConstraintKinds

@@ -81,6 +77,7 @@ common common-options

81 , QuantifiedConstraints

77 , QuantifiedConstraints

82 , DefaultSignatures

78 , DefaultSignatures

83

79

80+

84library

81library

85 import: common-options

82 import: common-options

86 build-depends:

83 build-depends:

@@ -151,12 +148,12 @@ library

151 other-modules: Data.HList

148 other-modules: Data.HList

152 , Data.OpenUnion.Extra

149 , Data.OpenUnion.Extra

153

150

154−executable comparest

151+executable compaREST

155 import: common-options

152 import: common-options

156 hs-source-dirs: app

153 hs-source-dirs: app

157 main-is: Main.hs

154 main-is: Main.hs

158 build-depends:

155 build-depends:

159− comparest

156+ compaREST

160 , pandoc

157 , pandoc

161 , data-default

158 , data-default

162 , bytestring

159 , bytestring

@@ -175,12 +172,12 @@ executable comparest

175 FormatHeuristic

172 FormatHeuristic

176 Data.OpenApi.Compare.Options

173 Data.OpenApi.Compare.Options

177

174

178−executable comparest-github-action

175+executable compaREST-GitHub-Action

179 import: common-options

176 import: common-options

180 hs-source-dirs: github-action

177 hs-source-dirs: github-action

181 main-is: Main.hs

178 main-is: Main.hs

182 build-depends:

179 build-depends:

183− comparest

180+ compaREST

184 , pandoc

181 , pandoc

185 , yaml

182 , yaml

186 , aeson

183 , aeson

@@ -190,6 +187,7 @@ executable comparest-github-action

190 , pandoc-types

187 , pandoc-types

191 , envy

188 , envy

192 , filepath

189 , filepath

190+ , bytestring

193 ghc-options: -threaded

191 ghc-options: -threaded

194 -rtsopts

192 -rtsopts

195 -with-rtsopts=-N

193 -with-rtsopts=-N

@@ -197,8 +195,10 @@ executable comparest-github-action

197 Control.Monad.Freer.GitHub

195 Control.Monad.Freer.GitHub

198 CompaREST.GitHub.API

196 CompaREST.GitHub.API

199 CompaREST.GitHub.Action.Config

197 CompaREST.GitHub.Action.Config

198+ GitHub.Data.Checks

199+ GitHub.Endpoints.Checks

200

201−test-suite comparest-tests

201+test-suite compaREST-tests

202 import: common-options

203 type: exitcode-stdio-1.0

204 hs-source-dirs: test

@@ -206,8 +206,10 @@ test-suite comparest-tests

206 other-modules:

207 Spec.Golden.Extra

208 Spec.Golden.TraceTree

209+ Paths_compaREST

210+ autogen-modules: Paths_compaREST

209 build-depends:

211 build-depends:

210− , comparest

212+ , compaREST

211 , tasty-golden

213 , tasty-golden

212 , tasty

214 , tasty

213 , bytestring

215 , bytestring

default.nix+55−12

@@ -5,6 +5,8 @@

5, nix-filter ? import sources.nix-filter

6}:

7let

8+ masterPkgs = import sources.nixpkgs { inherit system; };

9+

8 hsPkgs = pkgs.haskell-nix.stackProject {

10 hsPkgs = pkgs.haskell-nix.stackProject {

9 src = nix-filter {

11 src = nix-filter {

10 root = ./.;

12 root = ./.;

@@ -12,7 +14,7 @@ let

12 include = [

14 include = [

13 ./stack.yaml

15 ./stack.yaml

14 ./stack.yaml.lock

16 ./stack.yaml.lock

15− ./comparest.cabal

17+ ./compaREST.cabal

16 ];

18 ];

17 };

19 };

18

20

@@ -21,11 +23,17 @@ let

21 dontStrip = false;

23 dontStrip = false;

22 dontPatchELF = false;

24 dontPatchELF = false;

23 enableDeadCodeElimination = true;

25 enableDeadCodeElimination = true;

26+ ghcOptions = [

27+ "-O2"

28+ "-fexpose-all-unfoldings"

29+ "-fspecialise-aggressively"

30+ ];

31+ packages.pandoc.ghcOptions = [ "-O1" ];

24− packages.comparest.src = nix-filter {

32+ packages.compaREST.src = nix-filter {

25 root = ./.;

33 root = ./.;

26 name = "compaREST-src";

34 name = "compaREST-src";

27 include = with nix-filter; [

35 include = with nix-filter; [

28− (./comparest.cabal)

36+ (./compaREST.cabal)

29 (inDirectory ./test)

37 (inDirectory ./test)

30 (inDirectory ./src)

38 (inDirectory ./src)

31 (inDirectory ./app)

39 (inDirectory ./app)

@@ -45,27 +53,62 @@ let

45 ${pkgs.nukeReferences}/bin/nuke-refs $out/bin/*

53 ${pkgs.nukeReferences}/bin/nuke-refs $out/bin/*

46 '';

54 '';

47

55

56+ compaRESTBin = hsPkgs.compaREST.components.exes.compaREST;

57+ compaRESTStaticBin = (staticify "compaREST-static" hsPkgs.projectCross.musl64.hsPkgs.compaREST.components.exes.compaREST);

58+

59+

60+ # doesn't work

61+ armDarwinCompaREST = hsPkgs.projectCross.aarch64-darwin.hsPkgs.compaREST.components.exes.compaREST;

62+

48− compaREST = pkgs.dockerTools.buildImage {

63+ compaRESTImage = pkgs.dockerTools.buildImage {

49 name = "compaREST";

64 name = "compaREST";

50− contents = [ (staticify "compaREST-static" hsPkgs.projectCross.musl64.hsPkgs.comparest.components.exes.comparest) ];

65+ contents = [ compaRESTStaticBin ];

51 config = {

66 config = {

52− Entrypoint = [ "/bin/comparest" ];

67+ Entrypoint = [ "/bin/compaREST" ];

53 };

68 };

54 };

69 };

55

70

71+ macOSCompaRESTBundle = pkgs.runCommand "compaREST-macOS-bundled"

72+ {

73+ buildInputs = [ masterPkgs.macdylibbundler ];

74+ } ''

75+ mkdir -p $out/lib

76+ cp ${compaRESTBin}/bin/compaREST $out/compaREST

77+ chmod 755 $out/compaREST

78+ dylibbundler -b \

79+ -x $out/compaREST \

80+ -d $out/lib \

81+ -p '@executable_path/lib'

82+ '';

83+

84+

56 compaRESTGithubAction =

85 compaRESTGithubAction =

57 let

86 let

58− action = staticify "compaREST-github-action-static" hsPkgs.projectCross.musl64.hsPkgs.comparest.components.exes.comparest-github-action;

87+ action = staticify "compaREST-GitHub-Action-static" hsPkgs.projectCross.musl64.hsPkgs.compaREST.components.exes.compaREST-GitHub-Action;

59− wrapped = pkgs.runCommand "wrapped-compaREST-github-action" { buildInputs = [ pkgs.makeWrapper ]; } ''

88+ wrapped = pkgs.runCommand "wrapped-compaREST-GitHub-Action" { buildInputs = [ pkgs.makeWrapper ]; } ''

60− makeWrapper ${action}/bin/comparest-github-action $out/bin/pre --add-flags "pre"

89+ makeWrapper ${action}/bin/compaREST-GitHub-Action $out/bin/pre --add-flags "pre"

61− makeWrapper ${action}/bin/comparest-github-action $out/bin/run --add-flags "run"

90+ makeWrapper ${action}/bin/compaREST-GitHub-Action $out/bin/run --add-flags "run"

62 '';

91 '';

63 in

92 in

64 pkgs.dockerTools.buildImage {

93 pkgs.dockerTools.buildImage {

65− name = "typeable/comparest-github-action";

94+ name = "typeable/compaREST-GitHub-Action";

66 tag = "latest";

95 tag = "latest";

67 contents = [ wrapped pkgs.cacert ];

96 contents = [ wrapped pkgs.cacert ];

68 };

97 };

69

98

99+ WindowsCompaRESTBin = hsPkgs.projectCross.mingwW64.hsPkgs.compaREST.components.exes.compaREST;

70in

100in

101+{

102+ inherit

103+ compaRESTImage

71−{ inherit compaREST compaRESTGithubAction hsPkgs haskellNix; }

104+ compaRESTGithubAction

105+ compaRESTStaticBin

106+ compaRESTBin

107+ hsPkgs

108+ macOSCompaRESTBundle

109+ WindowsCompaRESTBin;

110+

111+ # We use the static version so that we don't have to rebuild everything on CI.

112+ # The only binaries build on CI are static.

113+ test = hsPkgs.projectCross.musl64.hsPkgs.compaREST.components.tests.compaREST-tests;

114+}

docs/Development_guide.mdnew file+149

@@ -0,0 +1,149 @@

1+CompaREST

2+=========

3+The tool works by simultaneously looking at a pair of nodes in OpenAPI schema

4+trees. At every place we try to understand whether one side (the producer) can

5+produce something that the other side (the consumer) cannot consume. This often

6+involves recursively running the same check on child sub-nodes. The necessary

7+criteria are implemented manually for all types of nodes that appear in the

8+schema. The `Subtree` class in `Data.OpenApi.Compare.Subtree` designates types

9+of nodes for which this compatibility checking is defined. The implementations

10+for various types reside in `Data.OpenApi.Compare.Validate.*`.

11+

12+Producer/Consumer

13+-----------------

14+Rather than looking at which schema is the server's and which is the client's,

15+in terms of compatibility checking it is more useful to track which side is the

16+"producer" and which is the "consumer". At the root of the schema the producer

17+is the client, but as we descend into an HTTP response, the direction flips and

18+the producer becomes the server.

19+

20+We deal with a lot of things in pairs, where one thing belongs to the producer

21+and another belongs to the consumer. The `ProdCons` datatype (in

22+`Data.OpenApi.Compare.Subtree`) is just a pair type that provides an Applicative

23+abstraction for working with two things simultaneously.

24+

25+Trees

26+-----

27+We directly use the datatypes defined in the `openapi3` library. For reasons of

28+identifiability and memoization we tag all nodes in the trees with a path from

29+the root. The tree is heterogeneous (nodes have different types), and every type

30+of node has a different arrangement of children. There is a `Step` data family

31+that defines all the possible children (of a specific type) of a node (of a

32+specific type).

33+

34+A `Trace` is a sequence of steps, except in a path the types of adjacent steps

35+have to agree. The `Paths` datatype achieves this. Together all paths form a

36+`Category`, and we often concatenate them using `>>>`. This is defined in

37+`Data.OpenApi.Compare.Paths`.

38+

39+We often keep a node and a path to it next to each other using an environment

40+comonad. `Traced` is a type alias around `Env` which ensures that the type of

41+the path matches the type of the node.

42+

43+Issues

44+------

45+The output of the tool is a list of compatibility issues that came up during

46+checking. The `Issue` data family describes the kinds of issues that can occur

47+at each type of node. An issue is supposed to characterize a set of interactions

48+(requests or responses) that demonstrate that the schemas are incompatible.

49+

50+Each issue is tagged with a `Behavior` that describes the path to reproducing

51+the issue. While a `Trace` describes a syntactic path down the schema tree, a

52+`Behavior` describes which part of an interaction needs to be focused on for the

53+issue to manifest itself.

54+

55+In most places where we keep multiple issues (e.g. the output), to store them we

56+use a prefix tree map, indexed by both types and values of `Behavior`s. See

57+`Data.OpenApi.Compare.PathsPrefixTree`.

58+

59+Report

60+------

61+The checker ultimately outputs a list of `Issue`s, together with `Behavior`s

62+that cause them. We run the checker twice: forwards and backwards -- to detect

63+non-breaking changes. All of this is then compiled into a report in

64+`Data.OpenApi.Compare.Report`. The tree structure of headings is computed from

65+`Behavior`s, using `Jet`s to collapse particular sequences of behavior steps

66+into a single human-readable header item. The text of each paragraph comes from

67+`describeIssue`.

68+

69+We then use the `pandoc` library to render the report in a variety of formats.

70+

71+Formulas

72+--------

73+The schema has references, so it can end up being recursive. Similarly the

74+process for establishing compatibility can end up being recursive. To keep track

75+of this, the checker actually manipulates *formulas* which can have variables in

76+them, defined in (`Data.OpenApi.Compare.Formula`).

77+

78+A formula represents a set of issues, with the empty set corresponding to a

79+successful compatibility check. A formula can have conjunctions, where we only

80+report success if all parts succeeded, and if not we take the union of all

81+issues. A formula can also have disjunctions, but there it's impossible to

82+guarantee that the issues for the parts also make sense as issues for the whole

83+thing. Due to this if all disjuncted parts have issues we instead return a

84+different issue (usually non-descriptive).

85+

86+The `FormulaF` datatype implements a functor that carries formulaic calculations

87+as well as a result value (a co-Yoneda extension of formulas for the most part).

88+The Applicative interface provides conjunction, and the Alternative interface

89+provides disjunction.

90+

91+When we detect recursion we introduce a variable, compute the compatibility

92+check as a formula with that variable, and then we solve a fixed point equation

93+(`maxFixpoint`) with the variable to obtain the answer.

94+

95+This `FomulaF` is further wrapped in a couple monad transformers

96+(`SemanticCompatFormula`, `StructuralCompatFormula`), and the whole checker is

97+then implemented in the resulting Applicative using ApplicativeDo.

98+

99+Memoization

100+-----------

101+The `Data.OpenApi.Compare.Memo` module contains utilities for stateful

102+memoization and recursion detection. The entire checking process is memoized,

103+and can detect, propagate, and resolve recursion.

104+

105+Structural/Semantic Compatibility

106+---------------------------------

107+When we encounter two nodes we first try to optimistically establish whether

108+they're structurally equal, i.e. the trees are exactly the same modulo reference

109+inlining. This check is also memoized and recursion-aware. If the check succeeds

110+we conclude that the schemas are compatible. Otherwise we fall back to the

111+"normal" semantic compatibility.

112+

113+

114+JSON Schema

115+-----------

116+The language that describes JSON payloads is probably the richest part of

117+OpenAPI schemas, and the checker for it also comes with a lot of moving parts.

118+

119+JSON schema allows arbitrary set arithmetic using `allOf`, `anyOf`, `not` and

120+`oneOf`. To fully check `not` and `oneOf` we would need to compare set

121+subtraction, which involves negating a comparison result. If recursion is

122+involved we would need to be able to solve equations with negation, which we

123+cannot do. So `not` is unsupported altogether, and `oneOf` is only supported

124+when it has disjoint branches and behaves like `anyOf`.

125+

126+With that in mind a JSON schema is first pre-processed into a Disjunctive Normal

127+Form (`DNF` in `Data.OpenApi.Compare.Validate.Schema.DNF`). This pre-processing

128+happens in `Data.OpenApi.Compare.Validate.Schema.Process`.

129+

130+The DNF contains elementary clauses that match on a specific aspect of a JSON

131+object (`Condition`). Most clauses only affect objects of a single type, so JSON

132+values and clauses are segregated by type (`JsonType`, `TypedValue` in

133+`Data.OpenApi.Compare.Validate.Schema.JsonFormula`)

134+

135+Then we reduce the problem of comparing two DNF's to the comparison of a

136+conjunction of clauses in the producer with a single clause in the consumer

137+(`checkFormulas` in `Data.OpenApi.Compare.Validate.Schema`).

138+

139+When we do disjunction in the formula we lose information, so we try to avoid

140+having disjunctions in the consumer DNF. This is done by the means of

141+partitioning. We look for factors that would let us partition the set of all

142+objects into several bins, in a way that hopefully corresponds only a single

143+consumer to each producer. This is implemented in

144+`Data.OpenApi.Compare.Validate.Schema.Partition`. Currently we can only

145+partition by an `enum` value that is accessible via a chain of `required`

146+fields.

147+

148+The same partitioning mechanism is used to test whether the branches of a

149+`oneOf` are disjoint, and emit a warning otherwise.

docs/Integration_guide.md+3−3

@@ -38,11 +38,11 @@ We can now run our action:

38 project_name: TEST

39```

40

41−This will create a comment on the pull request displaying the changes (if there are any) similar to this:

41+This will create a check on the pull request displaying the changes (if there are any) similar to this:

42

43−![](img/github-action-comment.png)

43+![](img/github-action-report.png)

44

45−Consecutive runs of the action will update the comment instead of creating new ones. This will prevent the pile-up of compaREST comments and save you from distracting notifications.

45+The check will show success when there are no breaking changes, and be neutral otherwise.

46

47## Integrating into something other than Github Actions

48

docs/User_guide.mdnew file+51

@@ -0,0 +1,51 @@

1+CompaREST User Guide

2+====================

3+

4+Running the Tool

5+----------------

6+The tool accepts two OpenAPI 3.0.0 schema files in either JSON or YAML format.

7+One is assumed to be the client version of the schema, and the other is the

8+server version.

9+

10+The tool will look for changes between the schemas and detect whether they are

11+breaking or not -- that is, if they prevent interoperability between the client

12+and the server.

13+

14+Running:

15+```

16+comparest -c client.json -s server.json

17+```

18+will output a markdown report of the changes to the standard output.

19+

20+Compatibility status can be signaled via the exit code using

21+`--signal-exit-code`. In case no report is needed, output can be suppressed with

22+`--silent`. For example:

23+```

24+comparest -c client.json -s server.json --signal-exit-code --silent

25+echo $?

26+```

27+If there were changes that the tool determined to be breaking, the exit code

28+will be 1. If there were some changes the tool couldn't understand, the exit

29+code will be 2. Otherwise if there were no breaking changes, the exit code will

30+be 0.

31+

32+Controlling the Report

33+----------------------

34+By default the report includes breaking changes, as well as non-breaking:

35+changes that would be considered breaking in the opposite direction. To only

36+include breaking changes in the report use `--only-breaking`. The `--all` option

37+restores the default behavior.

38+

39+The report can be formatted in a variety of ways supported by Pandoc. The `-o`

40+option causes the report to be written to a file. The format of the file is

41+determined from the extension. The supported extensions include:

42+ - `.md` for markdown

43+ - `.html` for an HTML snippet

44+ - `.rst` for restructured text

45+ - no extension for a self-contained HTML document with styles

46+

47+By default the report is split up into parts relating to different paths,

48+requests, responses, etc, using headers of various levels. Alternatively, the

49+report can use indended block-quotes to visualize the tree structure of the

50+report. The header style is enabled with `--header-style`, and the block-quote

51+style is enabled with `--folding-block-quotes-style`.

docs/img/github-action-comment.pngdeleted

Binary file not shown.

docs/img/github-action-report.pngnew file

Binary file not shown.

github-action/CompaREST/GitHub/API.hs+70−39

@@ -1,55 +1,86 @@

1module CompaREST.GitHub.API

2− ( mapComment,

2+ ( postStatus,

3− createOrUpdateComment,

3+ postStatusProcessing,

4 )

5where

6

7import CompaREST.GitHub.Action.Config

8−import Control.Monad

9import Control.Monad.Freer

8import Control.Monad.Freer

10import Control.Monad.Freer.GitHub

9import Control.Monad.Freer.GitHub

11import Control.Monad.Freer.Reader

10import Control.Monad.Freer.Reader

12−import Data.Foldable

11+import Control.Monad.IO.Class

12+import Data.Aeson

13+import qualified Data.ByteString.Lazy.Char8 as BSLC

14+import Data.OpenApi.Compare.Report

13import Data.Proxy

15import Data.Proxy

14import Data.Text (Text)

16import Data.Text (Text)

15−import qualified Data.Text as T

16−import qualified Data.Vector as V

17import GitHub

18−import qualified GitHub as GH

18+import GitHub.Data.Checks

19+import GitHub.Endpoints.Checks

19

20

21+postStatusProcessing ::

20−findComment :: Members '[GitHub, Reader Config] effs => Eff effs (Maybe GH.IssueComment)

22+ (Members '[GitHub, Reader Config] effs, MonadIO (Eff effs)) =>

21−findComment = do

23+ Eff effs ()

24+postStatusProcessing = do

22 Config {..} <- ask

25 Config {..} <- ask

23− comments <- sendGitHub $ GH.commentsR repoOwner repoName issue GH.FetchAll

26+ printJSON $

24− htmlComment <- getHTMLComment

27+ sendGitHub $

25− let tryStripPrefix :: GH.IssueComment -> Maybe GH.IssueComment

28+ checkR

26− tryStripPrefix c@GH.IssueComment {issueCommentBody = (T.stripSuffix htmlComment -> Just b)} =

29+ repoOwner

27− Just $ c {GH.issueCommentBody = b}

30+ repoName

28− tryStripPrefix _ = Nothing

31+ Check

29− pure . (V.!? 0) $ V.mapMaybe tryStripPrefix comments

32+ { checkName = mkName Proxy $ "compaREST – " <> projectName

33+ , checkSha = sha

34+ , checkDetailsURL = Nothing

35+ , checkExternalId = Nothing

36+ , checkStatus = Just CheckInProgress

37+ , checkStartedAt = Nothing

38+ , checkConclusion = Nothing

39+ , checkCompletedAt = Nothing

40+ , checkOutput = Nothing

41+ , checkActions = Nothing

42+ }

30

43

44+postStatus ::

31−mapComment :: Members '[GitHub, Reader Config] effs => (Text -> Text) -> Eff effs ()

45+ (Members '[GitHub, Reader Config] effs, MonadIO (Eff effs)) =>

32−mapComment f = do

46+ -- | 'Nothing' means that there were no changes at all

33− findComment

47+ Maybe (Text, ReportStatus) ->

34− >>= traverse_

48+ Eff effs ()

35− ( \comment -> do

49+postStatus x = do

36− Config {..} <- ask

50+ let (body, (title, conclusion)) = case x of

37− htmlComment <- getHTMLComment

51+ Just (b, s) -> (b,) $ case s of

38− sendGitHub $ editCommentR repoOwner repoName (GH.mkId Proxy $ GH.issueCommentId comment) ((<> htmlComment) . f $ GH.issueCommentBody comment)

52+ BreakingChanges -> ("⚠️ Breaking changes found!", CheckNeutral)

39− pure ()

53+ NoBreakingChanges -> ("No breaking changes found ✨", CheckSuccess)

40− )

54+ OnlyUnsupportedChanges -> ("🤷 Couldn't determine compatibility", CheckNeutral)

41−

55+ Nothing -> ("", ("✅ The API did not change", CheckSuccess))

42−createOrUpdateComment :: Members '[GitHub, Reader Config] effs => Text -> Eff effs ()

43−createOrUpdateComment body' = do

44 Config {..} <- ask

56 Config {..} <- ask

45− htmlComment <- getHTMLComment

57+ printJSON $

46− let body = body' <> htmlComment

58+ sendGitHub $

47− void $

59+ checkR

48− findComment >>= \case

60+ repoOwner

49− Just comment -> sendGitHub $ editCommentR repoOwner repoName (GH.mkId Proxy $ GH.issueCommentId comment) body

61+ repoName

50− Nothing -> sendGitHub $ createCommentR repoOwner repoName issue body

62+ Check

63+ { checkName = mkName Proxy $ "compaREST – " <> projectName

64+ , checkSha = sha

65+ , checkDetailsURL = Nothing

66+ , checkExternalId = Nothing

67+ , checkStatus = Just CheckCompleted

68+ , checkStartedAt = Nothing

69+ , checkConclusion = Just conclusion

70+ , checkCompletedAt = Nothing

71+ , checkOutput =

72+ Just $

73+ CheckOutput

74+ { checkTitle = title

75+ , checkSummary = body

76+ , checkText = Nothing

77+ , checkAnnotations = Nothing

78+ , checkImages = Nothing

79+ }

80+ , checkActions = Nothing

81+ }

51

82

52−getHTMLComment :: Member (Reader Config) effs => Eff effs Text

83+printJSON :: MonadIO (Eff effs) => Eff effs Value -> Eff effs ()

53−getHTMLComment = do

84+printJSON m = do

54− name <- asks projectName

85+ x <- m

55− pure $ "\n\n"

86+ liftIO . BSLC.putStrLn $ encode x

github-action/CompaREST/GitHub/Action/Config.hs+3−3

@@ -14,10 +14,10 @@ data Config = Config

14 { githubToken :: GH.Auth

15 , repoOwner :: GH.Name GH.Owner

16 , repoName :: GH.Name GH.Repo

17− , issue :: GH.IssueNumber

18 , projectName :: Text

17 , projectName :: Text

19 , footerText :: Text

18 , footerText :: Text

20 , root :: FilePath

19 , root :: FilePath

20+ , sha :: GH.Name GH.Commit

21 }

22

23instance FromEnv Config where

@@ -27,17 +27,17 @@ instance FromEnv Config where

27 T.split (== '/') <$> env "REPO" >>= \case

28 [owner, name] -> pure (owner, name)

29 _ -> fail "malformed repo"

30− issue <- GH.IssueNumber <$> env "PR_NUMBER"

31 projectName <- env "PROJECT_NAME"

30 projectName <- env "PROJECT_NAME"

32 footerText <- env "FOOTER"

31 footerText <- env "FOOTER"

33 root <- envMaybe "ROOT" .!= "."

32 root <- envMaybe "ROOT" .!= "."

33+ sha <- env "SHA"

34 pure $

35 Config

36 { githubToken = token

37 , repoOwner = GH.mkName Proxy owner

38 , repoName = GH.mkName Proxy repo

39− , issue = issue

40 , projectName = projectName

39 , projectName = projectName

41 , footerText = footerText

40 , footerText = footerText

42 , root = root

41 , root = root

42+ , sha = GH.mkName Proxy sha

43 }

github-action/GitHub/Data/Checks.hsnew file+173

@@ -0,0 +1,173 @@

1+module GitHub.Data.Checks

2+ ( Check (..),

3+ CheckStatus (..),

4+ CheckConclusion (..),

5+ CheckOutput (..),

6+ CheckAnnotation (..),

7+ CheckAnnotationLevel (..),

8+ CheckImage (..),

9+ CheckAction (..),

10+ )

11+where

12+

13+import Data.Aeson

14+import Data.Aeson.Types

15+import Data.Text (Text)

16+import Data.Vector (Vector)

17+import GHC.Generics (Generic)

18+import GitHub

19+import GitHub.Internal.Prelude (UTCTime)

20+

21+data Check = Check

22+ { checkName :: !(Name Check)

23+ , checkSha :: !(Name Commit)

24+ , checkDetailsURL :: !(Maybe URL)

25+ , checkExternalId :: !(Maybe (Id Check))

26+ , checkStatus :: !(Maybe CheckStatus)

27+ , checkStartedAt :: !(Maybe UTCTime)

28+ , checkConclusion :: !(Maybe CheckConclusion)

29+ , checkCompletedAt :: !(Maybe UTCTime)

30+ , checkOutput :: !(Maybe CheckOutput)

31+ , checkActions :: !(Maybe (Vector CheckAction))

32+ }

33+ deriving stock (Show, Eq, Ord, Generic)

34+

35+instance ToJSON Check where

36+ toJSON (Check n sha durl eid s sa c ca o a) =

37+ object'

38+ [ "name" .= n

39+ , "head_sha" .= sha

40+ , "details_url" .= durl

41+ , "external_id" .= eid

42+ , "status" .= s

43+ , "started_at" .= sa

44+ , "conclusion" .= c

45+ , "completed_at" .= ca

46+ , "output" .= o

47+ , "actions" .= a

48+ ]

49+

50+data CheckStatus

51+ = CheckQueued

52+ | CheckInProgress

53+ | CheckCompleted

54+ deriving stock (Show, Enum, Bounded, Eq, Ord, Generic)

55+

56+instance ToJSON CheckStatus where

57+ toJSON CheckQueued = String "queued"

58+ toJSON CheckInProgress = String "in_progress"

59+ toJSON CheckCompleted = String "completed"

60+

61+data CheckConclusion

62+ = CheckActionRequired

63+ | CheckCancelled

64+ | CheckFailure

65+ | CheckNeutral

66+ | CheckSuccess

67+ | CheckSkipped

68+ | CheckStale

69+ | CheckTimedOut

70+ deriving stock (Show, Enum, Bounded, Eq, Ord, Generic)

71+

72+instance ToJSON CheckConclusion where

73+ toJSON CheckActionRequired = String "action_required"

74+ toJSON CheckCancelled = String "cancelled"

75+ toJSON CheckFailure = String "failure"

76+ toJSON CheckNeutral = String "neutral"

77+ toJSON CheckSuccess = String "success"

78+ toJSON CheckSkipped = String "skipped"

79+ toJSON CheckStale = String "stale"

80+ toJSON CheckTimedOut = String "timed_out"

81+

82+data CheckOutput = CheckOutput

83+ { checkTitle :: !Text

84+ , checkSummary :: !Text

85+ , checkText :: !(Maybe Text)

86+ , checkAnnotations :: !(Maybe (Vector CheckAnnotation))

87+ , checkImages :: !(Maybe (Vector CheckImage))

88+ }

89+ deriving stock (Show, Eq, Ord, Generic)

90+

91+instance ToJSON CheckOutput where

92+ toJSON (CheckOutput t s txt a i) =

93+ object'

94+ [ "title" .= t

95+ , "summary" .= s

96+ , "text" .= txt

97+ , "annotations" .= a

98+ , "images" .= i

99+ ]

100+

101+data CheckAnnotation = CheckAnnotation

102+ { checkPath :: !Text

103+ , checkStartLine :: !Int

104+ , checkEndLine :: !Int

105+ , checkStartColumn :: !(Maybe Int)

106+ , checkEndColumn :: !(Maybe Int)

107+ , checkAnnotationLevel :: !CheckAnnotationLevel

108+ , checkMessage :: !Text

109+ , checkTitle :: !(Maybe Text)

110+ , checkRawDetails :: !(Maybe Text)

111+ }

112+ deriving stock (Show, Eq, Ord, Generic)

113+

114+instance ToJSON CheckAnnotation where

115+ toJSON (CheckAnnotation p sl el sc ec al m t rd) =

116+ object'

117+ [ "path" .= p

118+ , "start_line" .= sl

119+ , "end_line" .= el

120+ , "start_column" .= sc

121+ , "end_column" .= ec

122+ , "annotation_level" .= al

123+ , "message" .= m

124+ , "title" .= t

125+ , "raw_details" .= rd

126+ ]

127+

128+data CheckAnnotationLevel

129+ = NoticeAnnotation

130+ | WarningAnnotation

131+ | FailureAnnotation

132+ deriving stock (Show, Enum, Bounded, Eq, Ord, Generic)

133+

134+instance ToJSON CheckAnnotationLevel where

135+ toJSON NoticeAnnotation = String "notice"

136+ toJSON WarningAnnotation = String "warning"

137+ toJSON FailureAnnotation = String "failure"

138+

139+data CheckImage = CheckImage

140+ { checkImageAlt :: !Text

141+ , checkImageURL :: !URL

142+ , checkImageCaption :: !(Maybe Text)

143+ }

144+ deriving stock (Show, Eq, Ord, Generic)

145+

146+instance ToJSON CheckImage where

147+ toJSON (CheckImage a url c) =

148+ object'

149+ [ "alt" .= a

150+ , "image_url" .= url

151+ , "caption" .= c

152+ ]

153+

154+data CheckAction = CheckAction

155+ { checkActionLabel :: !Text

156+ , checkActionDescription :: !Text

157+ , checkActionIdentifier :: !Text

158+ }

159+ deriving stock (Show, Eq, Ord, Generic)

160+

161+instance ToJSON CheckAction where

162+ toJSON (CheckAction l d i) =

163+ object'

164+ [ "label" .= l

165+ , "description" .= d

166+ , "identifier" .= i

167+ ]

168+

169+object' :: [Pair] -> Value

170+object' = object . filter notNull

171+ where

172+ notNull (_, Null) = False

173+ notNull (_, _) = True

github-action/GitHub/Endpoints/Checks.hsnew file+12

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

1+module GitHub.Endpoints.Checks

2+ ( checkR,

3+ )

4+where

5+

6+import Data.Aeson

7+import GitHub

8+import GitHub.Data.Checks

9+

10+checkR :: Name Owner -> Name Repo -> Check -> Request 'RW Value

11+checkR user repo =

12+ command Post ["repos", toPathPart user, toPathPart repo, "check-runs"] . encode

github-action/Main.hs+7−28

@@ -37,10 +37,7 @@ runner cfg =

37 . runGitHub (githubToken cfg)

38

39runPre :: Config -> IO ()

40−runPre cfg =

40+runPre cfg = runner cfg postStatusProcessing

41− runner cfg $

42− mapComment

43− (markdown (header 4 "⏳ Report might not be accurate. Attempting to update." <> horizontalRule) <>)

44

41

45runRun :: Config -> FilePath -> FilePath -> IO ()

42runRun :: Config -> FilePath -> FilePath -> IO ()

46runRun cfg old' new' = runner cfg $ do

43runRun cfg old' new' = runner cfg $ do

@@ -53,31 +50,13 @@ runRun cfg old' new' = runner cfg $ do

53 }

50 }

54 (report, status) = runReport reportConfig (old, new)

51 (report, status) = runReport reportConfig (old, new)

55

52

56− summaryDetail s d =

53+ body = markdown report <> "\n\n" <> footerText cfg

57− rawHtml "<details>"

58− <> rawHtml "<summary>"

59− <> s

60− <> rawHtml "</summary>"

61− <> d

62− <> rawHtml "</details>"

63− where

64− rawHtml = rawBlock "html"

65

54

66− message =

55+ result =

67− header 3 (text $ "⛄ compaREST – " <> projectName cfg)

68− <> if old == new

56+ if old == new

69− then header 1 "✅ The API did not change"

57+ then Nothing

70− else

71− header

72− 1

73− ( case status of

58+ else Just (body, status)

74− BreakingChanges -> "⚠️ Breaking changes found!"

59+ postStatus result

75− NoBreakingChanges -> "No breaking changes found ✨"

76− OnlyUnsupportedChanges -> "🤷 Couldn't determine compatibility"

77− )

78− <> summaryDetail (plain "ℹ️ Details") report

79− messageBody = markdown message <> "\n\n" <> footerText cfg

80− createOrUpdateComment messageBody

81

60

82markdown :: Blocks -> Text

61markdown :: Blocks -> Text

83markdown =

62markdown =

nix/ci.nixnew file+6

@@ -0,0 +1,6 @@

1+{ sources ? import ./sources.nix

2+, pkgs ? import sources.nixpkgs { }

3+}:

4+pkgs.mkShell {

5+ packages = [ pkgs.haskellPackages.fourmolu ];

6+}

nix/sources.json+18−6

@@ -5,10 +5,10 @@

5 "homepage": "https://input-output-hk.github.io/haskell.nix",

6 "owner": "input-output-hk",

7 "repo": "haskell.nix",

8− "rev": "1992b910e9b4d880e1f4639f4fe7266bceb9a5ad",

8+ "rev": "c8a8f57de3c14fcf1c5cda045ed885fb6d06a00e",

9− "sha256": "15w3wixjnb52f7cj3s94fy0zc0l1gc94p3n2wyq3qqxj10hvirfw",

9+ "sha256": "0frzmvz8rhb4vgx20qms9xxqbkmg5pwivis4qis63ny5wxclzb34",

10 "type": "tarball",

11− "url": "https://github.com/input-output-hk/haskell.nix/archive/1992b910e9b4d880e1f4639f4fe7266bceb9a5ad.tar.gz",

11+ "url": "https://github.com/input-output-hk/haskell.nix/archive/c8a8f57de3c14fcf1c5cda045ed885fb6d06a00e.tar.gz",

12 "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"

13 },

14 "niv": {

@@ -17,10 +17,10 @@

17 "homepage": "https://github.com/nmattia/niv",

18 "owner": "nmattia",

19 "repo": "niv",

20− "rev": "e0ca65c81a2d7a4d82a189f1e23a48d59ad42070",

20+ "rev": "5830a4dd348d77e39a0f3c4c762ff2663b602d4c",

21− "sha256": "1pq9nh1d8nn3xvbdny8fafzw87mj7gsmp6pxkdl65w2g18rmcmzx",

21+ "sha256": "1d3lsrqvci4qz2hwjrcnd8h5vfkg8aypq3sjd4g3izbc8frwz5sm",

22 "type": "tarball",

23− "url": "https://github.com/nmattia/niv/archive/e0ca65c81a2d7a4d82a189f1e23a48d59ad42070.tar.gz",

23+ "url": "https://github.com/nmattia/niv/archive/5830a4dd348d77e39a0f3c4c762ff2663b602d4c.tar.gz",

24 "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"

25 },

26 "nix-filter": {

@@ -34,5 +34,17 @@

34 "type": "tarball",

35 "url": "https://github.com/numtide/nix-filter/archive/3c9e33ed627e009428197b07216613206f06ed80.tar.gz",

36 "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"

37+ },

38+ "nixpkgs": {

39+ "branch": "master",

40+ "description": "Nix Packages collection",

41+ "homepage": "",

42+ "owner": "NixOS",

43+ "repo": "nixpkgs",

44+ "rev": "f0fe5e9ba08e658474476317717aca7acacef4d4",

45+ "sha256": "1n5syynwmg3x8lj2kyb2ilbxw5nmw7f2kw6yxsi8qadx91hrvkwm",

46+ "type": "tarball",

47+ "url": "https://github.com/NixOS/nixpkgs/archive/f0fe5e9ba08e658474476317717aca7acacef4d4.tar.gz",

48+ "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"

37 }

49 }

38}

50}

policeman.jsonnew file+6

@@ -0,0 +1,6 @@

1+[{

2+ "file": "compaREST.cabal",

3+ "annotation_level": "notice",

4+ "end_line": 0,

5+ "start_line": 0

6+}]

src/Data/HList.hs+11−11

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

1module Data.HList

2− ( Has

2+ ( Has,

3− , HasAll

3+ HasAll,

4− , getH

4+ getH,

5− , HList (..)

5+ HList (..),

6− , singletonH

6+ singletonH,

7− , ReassembleHList

7+ ReassembleHList,

8− , reassemble

8+ reassemble,

9 )

10where

11

@@ -40,8 +40,8 @@ instance (Has' x xs t, HeadEq x (y : xs) ~ 'False) => Has' x (y ': xs) 'False wh

40 {-# INLINE getH #-}

41

42instance

43− TypeError ('ShowType x ':<>: 'Text " is not a part of the list.")

43+ TypeError ( 'ShowType x ':<>: 'Text " is not a part of the list.") =>

44− => Has' x '[] 'False

44+ Has' x '[] 'False

45 where

46 getH HNil = undefined

47 {-# INLINE getH #-}

@@ -74,8 +74,8 @@ instance ReassembleHList' (x ': xs) '[] 'False where

74 {-# INLINE reassemble #-}

75

76instance

77− (Has y xs, ReassembleHList' xs ys f, (xs == (y ': ys)) ~ 'False)

77+ (Has y xs, ReassembleHList' xs ys f, (xs == (y ': ys)) ~ 'False) =>

78− => ReassembleHList' xs (y ': ys) 'False

78+ ReassembleHList' xs (y ': ys) 'False

79 where

80 reassemble xs = getH @y xs `HCons` reassemble xs

81 {-# INLINE reassemble #-}

src/Data/OpenApi/Compare/Behavior.hs+11−11

@@ -1,15 +1,15 @@

1module Data.OpenApi.Compare.Behavior

2− ( BehaviorLevel (..)

2+ ( BehaviorLevel (..),

3− , Behavable (..)

3+ Behavable (..),

4− , IssueKind (..)

4+ IssueKind (..),

5− , Issuable (..)

5+ Issuable (..),

6− , Orientation (..)

6+ Orientation (..),

7− , toggleOrientation

7+ toggleOrientation,

8− , Behavior

8+ Behavior,

9− , AnIssue (..)

9+ AnIssue (..),

10− , withClass

10+ withClass,

11− , anIssueKind

11+ anIssueKind,

12− , relatedAnIssues

12+ relatedAnIssues,

13 )

14where

15

src/Data/OpenApi/Compare/Common.hs+1−1

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

1module Data.OpenApi.Compare.Common

2− ( zipAll

2+ ( zipAll,

3 )

4where

5

src/Data/OpenApi/Compare/Formula.hs+31−21

@@ -1,14 +1,15 @@

1module Data.OpenApi.Compare.Formula

2− ( FormulaF

2+ ( FormulaF,

3− , VarRef

3+ VarRef,

4− , variable

4+ variable,

5− , eitherOf

5+ eitherOf,

6− , anError

6+ anError,

7− , errors

7+ errors,

8− , calculate

8+ calculate,

9− , maxFixpoint

9+ maxFixpoint,

10− , mapErrors

10+ mapErrors,

11+ )

11− ) where

12+where

12

13

13import Data.Kind

14import Data.Kind

14import qualified Data.List.NonEmpty as NE

15import qualified Data.List.NonEmpty as NE

@@ -24,15 +25,24 @@ type VarRef = Int

24-- fixpoints always exist, i.e. that @x = f x@ has at least one solution.

25-- fixpoints always exist, i.e. that @x = f x@ has at least one solution.

25data FormulaF (q :: k -> k -> Type) (f :: k -> Type) (r :: k) (a :: Type) where

26data FormulaF (q :: k -> k -> Type) (f :: k -> Type) (r :: k) (a :: Type) where

26 Result :: a -> FormulaF q f r a

27 Result :: a -> FormulaF q f r a

28+ Errors ::

27− Errors :: !(P.PathsPrefixTree q f r) -> FormulaF q f r a

29+ !(P.PathsPrefixTree q f r) ->

28− -- ^ invariant: never empty

30+ -- | invariant: never empty

31+ FormulaF q f r a

32+ Apply ::

29− Apply :: FormulaF q f r (b -> c) -> FormulaF q f r b -> (c -> a) -> FormulaF q f r a

33+ FormulaF q f r (b -> c) ->

34+ FormulaF q f r b ->

35+ (c -> a) ->

30− -- ^ invariant: at least one of LHS and RHS is not 'Errors', and they are

36+ -- | invariant: at least one of LHS and RHS is not 'Errors', and they are

31 -- both not 'Result'

37 -- both not 'Result'

38+ FormulaF q f r a

39+ SelectFirst ::

32− SelectFirst :: NE.NonEmpty (SomeFormulaF b)

40+ NE.NonEmpty (SomeFormulaF b) ->

33− -> !(P.PathsPrefixTree q f r) -> (b -> a) -> FormulaF q f r a

41+ !(P.PathsPrefixTree q f r) ->

42+ (b -> a) ->

34− -- ^ invariant: the list doesn't contain any 'Result's, 'Errors' or

43+ -- | invariant: the list doesn't contain any 'Result's, 'Errors' or

35 -- 'SelectFirst'

44 -- 'SelectFirst'

45+ FormulaF q f r a

36 Variable :: !VarRef -> a -> FormulaF q f r a

46 Variable :: !VarRef -> a -> FormulaF q f r a

37

47

38mkApply :: FormulaF q f r (b -> c) -> FormulaF q f r b -> (c -> a) -> FormulaF q f r a

48mkApply :: FormulaF q f r (b -> c) -> FormulaF q f r b -> (c -> a) -> FormulaF q f r a

@@ -44,13 +54,13 @@ mkApply f x h = Apply f x h

44mkSelectFirst :: [SomeFormulaF b] -> P.PathsPrefixTree q f r -> (b -> a) -> FormulaF q f r a

54mkSelectFirst :: [SomeFormulaF b] -> P.PathsPrefixTree q f r -> (b -> a) -> FormulaF q f r a

45mkSelectFirst fs allE h = case foldMap check fs of

55mkSelectFirst fs allE h = case foldMap check fs of

46 (First (Just x), _) -> Result (h x)

56 (First (Just x), _) -> Result (h x)

47− (First Nothing, x:xs) -> SelectFirst (x NE.:| xs) allE h

57+ (First Nothing, x : xs) -> SelectFirst (x NE.:| xs) allE h

48 (First Nothing, []) -> Errors allE

58 (First Nothing, []) -> Errors allE

49 where

59 where

50 check (SomeFormulaF (Result x)) = (First (Just x), mempty)

60 check (SomeFormulaF (Result x)) = (First (Just x), mempty)

51 check (SomeFormulaF (Errors _)) = (mempty, mempty)

61 check (SomeFormulaF (Errors _)) = (mempty, mempty)

52− check (SomeFormulaF (SelectFirst xs _ h'))

62+ check (SomeFormulaF (SelectFirst xs _ h')) =

53− = (mempty, NE.toList (fmap (fmap h') xs))

63+ (mempty, NE.toList (fmap (fmap h') xs))

54 check x = (mempty, [x])

64 check x = (mempty, [x])

55

65

56data SomeFormulaF (a :: Type) where

66data SomeFormulaF (a :: Type) where

@@ -96,7 +106,7 @@ calculate (Apply f x h) = case calculate f of

96 Right x' -> Right (h (f' x'))

106 Right x' -> Right (h (f' x'))

97calculate (SelectFirst xs e h) = go (NE.toList xs)

107calculate (SelectFirst xs e h) = go (NE.toList xs)

98 where

108 where

99− go (SomeFormulaF r:rs) = case calculate r of

109+ go (SomeFormulaF r : rs) = case calculate r of

100 Left _ -> go rs

110 Left _ -> go rs

101 Right x -> Right (h x)

111 Right x -> Right (h x)

102 go [] = Left e

112 go [] = Left e

src/Data/OpenApi/Compare/Memo.hs+104−66

@@ -1,22 +1,24 @@

1{-# LANGUAGE AllowAmbiguousTypes #-}

2+

2-- | Utilities for effectfully memoizing other, more effectful functions.

3-- | Utilities for effectfully memoizing other, more effectful functions.

3module Data.OpenApi.Compare.Memo

4module Data.OpenApi.Compare.Memo

4− ( MonadMemo

5+ ( MonadMemo,

5− , MemoState

6+ MemoState,

6− , runMemo

7+ runMemo,

7− , modifyMemoNonce

8+ modifyMemoNonce,

8− , KnotTier(..)

9+ KnotTier (..),

9− , unknot

10+ unknot,

10− , memoWithKnot

11+ memoWithKnot,

11− , memoTaggedWithKnot

12+ memoTaggedWithKnot,

13+ )

12− ) where

14+where

13

15

14import Control.Monad.State

16import Control.Monad.State

15import Data.Dynamic

17import Data.Dynamic

16import qualified Data.Map as M

18import qualified Data.Map as M

17import Data.Tagged

19import Data.Tagged

18−import Data.Void

19import qualified Data.TypeRepMap as T

20import qualified Data.TypeRepMap as T

21+import Data.Void

20import Type.Reflection

22import Type.Reflection

21

23

22data Progress a = Finished a | Started | TyingKnot Dynamic

24data Progress a = Finished a | Started | TyingKnot Dynamic

@@ -29,16 +31,23 @@ data MemoState s = MemoState s (T.TypeRepMap MemoMap)

29-- | An effectful memoization monad.

31-- | An effectful memoization monad.

30type MonadMemo s m = MonadState (MemoState s) m

32type MonadMemo s m = MonadState (MemoState s) m

31

33

32−memoStateLookup

34+memoStateLookup ::

35+ forall k v s.

33− :: forall k v s. (Typeable k, Typeable v, Ord k)

36+ (Typeable k, Typeable v, Ord k) =>

37+ k ->

38+ MemoState s ->

34− => k -> MemoState s -> Maybe (Progress v)

39+ Maybe (Progress v)

35memoStateLookup k (MemoState _ t) = case T.lookup @(k, v) t of

40memoStateLookup k (MemoState _ t) = case T.lookup @(k, v) t of

36 Just (MemoMap m) -> M.lookup k m

41 Just (MemoMap m) -> M.lookup k m

37 Nothing -> Nothing

42 Nothing -> Nothing

38

43

39−memoStateInsert

44+memoStateInsert ::

45+ forall k v s.

40− :: forall k v s. (Typeable k, Typeable v, Ord k)

46+ (Typeable k, Typeable v, Ord k) =>

47+ k ->

48+ Progress v ->

41− => k -> Progress v -> MemoState s -> MemoState s

49+ MemoState s ->

50+ MemoState s

42memoStateInsert k x (MemoState s t) = MemoState s $ T.insert (MemoMap m'') t

51memoStateInsert k x (MemoState s t) = MemoState s $ T.insert (MemoMap m'') t

43 where

52 where

44 m'' = M.insert k x m'

53 m'' = M.insert k x m'

@@ -59,19 +68,23 @@ runMemo s = (`evalStateT` MemoState s T.empty)

59-- | A description of how to effectfully tie knots in type @v@, using the @m@

68-- | A description of how to effectfully tie knots in type @v@, using the @m@

60-- monad, and by sharing some @d@ data among the recursive instances.

69-- monad, and by sharing some @d@ data among the recursive instances.

61data KnotTier v d m = KnotTier

70data KnotTier v d m = KnotTier

62− { onKnotFound :: m d -- ^ Create some data that will be connected to this knot

71+ { -- | Create some data that will be connected to this knot

72+ onKnotFound :: m d

63− , onKnotUsed :: d -> m v -- ^ This is what the knot will look like as a value

73+ , -- | This is what the knot will look like as a value

64 -- to the inner computations

74 -- to the inner computations

75+ onKnotUsed :: d -> m v

65− , tieKnot :: d -> v -> m v -- ^ Once we're done and we're outside, tie the

76+ , -- | Once we're done and we're outside, tie the

66 -- knot using the datum

77 -- knot using the datum

78+ tieKnot :: d -> v -> m v

67 }

79 }

68

80

69unknot :: KnotTier v Void m

81unknot :: KnotTier v Void m

82+unknot =

70−unknot = KnotTier

83+ KnotTier

71− { onKnotFound = error "Recursion detected"

84+ { onKnotFound = error "Recursion detected"

72− , onKnotUsed = absurd

85+ , onKnotUsed = absurd

73− , tieKnot = absurd

86+ , tieKnot = absurd

74− }

87+ }

75

88

76-- | Run a potentially recursive computation. The provided key will be used to

89-- | Run a potentially recursive computation. The provided key will be used to

77-- refer to the result of this computation. If during the computation, another

90-- refer to the result of this computation. If during the computation, another

@@ -80,47 +93,72 @@ unknot = KnotTier

80--

93--

81-- If another attempt to run the computation with the same key is made

94-- If another attempt to run the computation with the same key is made

82-- *after we're done*, we will return the memoized value.

95-- *after we're done*, we will return the memoized value.

83−memoWithKnot

96+memoWithKnot ::

84− :: forall k v d m s.

97+ forall k v d m s.

85− (Typeable k, Typeable v, Typeable d, Ord k, MonadMemo s m)

98+ (Typeable k, Typeable v, Typeable d, Ord k, MonadMemo s m) =>

86− => KnotTier v d m

99+ KnotTier v d m ->

87− -> m v -- ^ the computation to memoize

100+ -- | the computation to memoize

101+ m v ->

88− -> k -- ^ key for memoization

102+ -- | key for memoization

103+ k ->

89− -> m v

104+ m v

105+memoWithKnot tier f k =

90−memoWithKnot tier f k = memoStateLookup @k @v k <$> get >>= \case

106+ memoStateLookup @k @v k <$> get >>= \case

91− Just (Finished v) -> pure v

107+ Just (Finished v) -> pure v

92− Just Started -> do

108+ Just Started -> do

93− d <- onKnotFound tier

109+ d <- onKnotFound tier

94− modify $ memoStateInsert @k @v k (TyingKnot $ toDyn d)

110+ modify $ memoStateInsert @k @v k (TyingKnot $ toDyn d)

95− onKnotUsed tier d

111+ onKnotUsed tier d

96− Just (TyingKnot dyn) -> case fromDynamic dyn of

112+ Just (TyingKnot dyn) -> case fromDynamic dyn of

97− Just d -> onKnotUsed tier d

113+ Just d -> onKnotUsed tier d

114+ Nothing ->

115+ error $

98− Nothing -> error $ "Type mismatch when examining the knot of "

116+ "Type mismatch when examining the knot of "

99− <> show (typeRep @(k -> v)) <> ": expected " <> show (typeRep @d)

117+ <> show (typeRep @(k -> v))

118+ <> ": expected "

119+ <> show (typeRep @d)

120+ <> ", got "

100− <> ", got " <> show (dynTypeRep dyn)

121+ <> show (dynTypeRep dyn)

101− Nothing -> do

122+ Nothing -> do

102− modify $ memoStateInsert @k @v k Started

123+ modify $ memoStateInsert @k @v k Started

103− v <- f

124+ v <- f

125+ v' <-

104− v' <- memoStateLookup @k @v k <$> get >>= \case

126+ memoStateLookup @k @v k <$> get >>= \case

105− Just Started -> pure v

127+ Just Started -> pure v

106− Just (TyingKnot dyn) -> case fromDynamic dyn of

128+ Just (TyingKnot dyn) -> case fromDynamic dyn of

107− Just d -> tieKnot tier d v

129+ Just d -> tieKnot tier d v

130+ Nothing ->

131+ error $

108− Nothing -> error $ "Type mismatch when tying the knot of "

132+ "Type mismatch when tying the knot of "

109− <> show (typeRep @(k -> v)) <> ": expected " <> show (typeRep @d)

133+ <> show (typeRep @(k -> v))

134+ <> ": expected "

135+ <> show (typeRep @d)

136+ <> ", got "

110− <> ", got " <> show (dynTypeRep dyn)

137+ <> show (dynTypeRep dyn)

138+ Just (Finished _) ->

139+ error $

111− Just (Finished _) -> error $ "Unexpected Finished when memoizing "

140+ "Unexpected Finished when memoizing "

112− <> show (typeRep @(k -> v))

141+ <> show (typeRep @(k -> v))

113− Nothing -> pure v

142+ Nothing -> pure v

114− -- Normally this would be an error, but the underlying monad can refuse

143+ -- Normally this would be an error, but the underlying monad can refuse

115− -- to remember memoization state

144+ -- to remember memoization state

116− modify $ memoStateInsert @k @v k (Finished v')

145+ modify $ memoStateInsert @k @v k (Finished v')

117− pure v'

146+ pure v'

118

147

119-- | Disambiguate memoized computations with an arbitrary tag.

148-- | Disambiguate memoized computations with an arbitrary tag.

120−memoTaggedWithKnot

149+memoTaggedWithKnot ::

121− :: forall t k v d m s.

150+ forall t k v d m s.

122− ( Typeable t, Typeable k, Typeable v, Typeable d

151+ ( Typeable t

152+ , Typeable k

153+ , Typeable v

154+ , Typeable d

155+ , Ord k

123− , Ord k, MonadMemo s m )

156+ , MonadMemo s m

157+ ) =>

124− => KnotTier v d m -> m v -> k -> m v

158+ KnotTier v d m ->

159+ m v ->

160+ k ->

161+ m v

162+memoTaggedWithKnot tier f k =

125−memoTaggedWithKnot tier f k = withTypeable (typeRepKind $ typeRep @t) $

163+ withTypeable (typeRepKind $ typeRep @t) $

126− memoWithKnot tier f (Tagged @t k)

164+ memoWithKnot tier f (Tagged @t k)

src/Data/OpenApi/Compare/Paths.hs+9−9

@@ -2,17 +2,17 @@

2-- collection of datatypes that "contain" eachother in some form of tree

3-- structure.

4module Data.OpenApi.Compare.Paths

5− ( NiceQuiver

5+ ( NiceQuiver,

6− , AdditionalQuiverConstraints

6+ AdditionalQuiverConstraints,

7− , Paths (..)

7+ Paths (..),

8− , DiffPaths (..)

8+ DiffPaths (..),

9− , catDiffPaths

9+ catDiffPaths,

10− , AnItem (..)

10+ AnItem (..),

11− , step

11+ step,

12

13 -- * Reexports

14− , (>>>)

14+ (>>>),

15− , (<<<)

15+ (<<<),

16 )

17where

18

src/Data/OpenApi/Compare/PathsPrefixTree.hs+37−37

@@ -1,22 +1,22 @@

1{-# LANGUAGE QuantifiedConstraints #-}

2

3module Data.OpenApi.Compare.PathsPrefixTree

4− ( PathsPrefixTree (PathsPrefixNode)

4+ ( PathsPrefixTree (PathsPrefixNode),

5− , AStep (..)

5+ AStep (..),

6− , empty

6+ empty,

7− , singleton

7+ singleton,

8− , fromList

8+ fromList,

9− , null

9+ null,

10− , foldWith

10+ foldWith,

11− , toList

11+ toList,

12− , filter

12+ filter,

13− , filterWithKey

13+ filterWithKey,

14− , takeSubtree

14+ takeSubtree,

15− , lookup

15+ lookup,

16− , embed

16+ embed,

17− , size

17+ size,

18− , partition

18+ partition,

19− , map

19+ map,

20 )

21where

22

@@ -35,7 +35,7 @@ import qualified Data.TypeRepMap as TRM

35import qualified Data.Vector as V

36import qualified GHC.Exts as Exts

37import Type.Reflection

38−import Prelude hiding (filter, map, null, lookup)

38+import Prelude hiding (filter, lookup, map, null)

39

40-- | A list of @AnItem r f@, but optimized into a prefix tree.

41data PathsPrefixTree (q :: k -> k -> Type) (f :: k -> Type) (r :: k) = PathsPrefixTree

@@ -102,11 +102,11 @@ deriving stock instance Eq (PathsPrefixTree q f a)

102

103-- Kind of orphan. Treat the map as an infinite tuple of @Maybe (f a)@'s, where

104-- the components are ordered by the @SomeTypeRep@ of the @a@.

105−compareTRM

105+compareTRM ::

106− :: (forall a. Typeable a => Ord (f a))

106+ (forall a. Typeable a => Ord (f a)) =>

107− => TRM.TypeRepMap f

107+ TRM.TypeRepMap f ->

108− -> TRM.TypeRepMap f

108+ TRM.TypeRepMap f ->

109− -> Ordering

109+ Ordering

110compareTRM s1 s2 =

111 foldMap (\k -> compareMaybe compareW (M.lookup k m1) (M.lookup k m2)) mKeys

112 where

@@ -116,11 +116,11 @@ compareTRM s1 s2 =

116 compareMaybe _ Nothing (Just _) = LT

117 compareMaybe _ (Just _) Nothing = GT

118 compareMaybe cmp (Just x) (Just y) = cmp x y

119− compareW

119+ compareW ::

120− :: (forall a. Typeable a => Ord (f a))

120+ (forall a. Typeable a => Ord (f a)) =>

121− => TRM.WrapTypeable f

121+ TRM.WrapTypeable f ->

122− -> TRM.WrapTypeable f

122+ TRM.WrapTypeable f ->

123− -> Ordering

123+ Ordering

124 compareW (TRM.WrapTypeable (x :: f a)) (TRM.WrapTypeable (y :: f b))

125 | Just Refl <- testEquality (typeRep @a) (typeRep @b) = compare x y

126 | otherwise = EQ -- unreachable

@@ -172,10 +172,10 @@ instance Monoid (ASet a) where

172 mempty = AnEmptySet

173

174data AStep (q :: k -> k -> Type) (f :: k -> Type) (r :: k) (a :: k) where

175− AStep

175+ AStep ::

176− :: NiceQuiver q r a =>

176+ NiceQuiver q r a =>

177− !(M.Map (q r a) (PathsPrefixTree q f a))

177+ !(M.Map (q r a) (PathsPrefixTree q f a)) ->

178− -> AStep q f r a

178+ AStep q f r a

179

180mapAStep :: (forall x. f x -> f x) -> AStep q f r a -> AStep q f r a

181mapAStep f (AStep m) = AStep $ M.map (map f) m

@@ -215,12 +215,12 @@ null :: PathsPrefixTree q f r -> Bool

215null (PathsPrefixTree AnEmptySet s) = all (\(TRM.WrapTypeable (AStep x)) -> all null x) (Exts.toList s)

216null _ = False

217

218−foldWith

218+foldWith ::

219− :: forall q f m r.

219+ forall q f m r.

220− Monoid m

220+ Monoid m =>

221− => (forall a. Ord (f a) => Paths q r a -> f a -> m)

221+ (forall a. Ord (f a) => Paths q r a -> f a -> m) ->

222− -> PathsPrefixTree q f r

222+ PathsPrefixTree q f r ->

223− -> m

223+ m

224foldWith k = goTPT Root

225 where

226 goTPT :: forall a. Paths q r a -> PathsPrefixTree q f a -> m

src/Data/OpenApi/Compare/References.hs+8−9

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.References

4− ( Step (..)

4+ ( Step (..),

5− , dereference

5+ dereference,

6− , Typeable

6+ Typeable,

7 )

8where

9

@@ -13,17 +13,16 @@ import Data.Maybe

13import Data.OpenApi

14import Data.OpenApi.Compare.Orphans ()

15import Data.OpenApi.Compare.Subtree

16−import Data.Typeable

17

16

18instance Typeable a => Steppable (Referenced a) a where

17instance Typeable a => Steppable (Referenced a) a where

19 data Step (Referenced a) a = InlineStep

18 data Step (Referenced a) a = InlineStep

20 deriving stock (Eq, Ord, Show)

19 deriving stock (Eq, Ord, Show)

21

20

22−dereference

21+dereference ::

23− :: Typeable a

22+ Typeable a =>

24− => Traced (Definitions a)

23+ Traced (Definitions a) ->

25− -> Traced (Referenced a)

24+ Traced (Referenced a) ->

26− -> Traced a

25+ Traced a

27dereference defs x = case extract x of

26dereference defs x = case extract x of

28 Inline a ->

27 Inline a ->

29 traced (ask x >>> step InlineStep) a

28 traced (ask x >>> step InlineStep) a

src/Data/OpenApi/Compare/Report.hs+140−120

@@ -1,13 +1,13 @@

1module Data.OpenApi.Compare.Report

2− ( generateReport

2+ ( generateReport,

3− , CheckerOutput(..)

3+ CheckerOutput (..),

4− , ReportInput (..)

4+ ReportInput (..),

5− , segregateIssues

5+ segregateIssues,

6− , ReportStatus (..)

6+ ReportStatus (..),

7− , Pandoc

7+ Pandoc,

8− , ReportConfig (..)

8+ ReportConfig (..),

9− , ReportTreeStyle (..)

9+ ReportTreeStyle (..),

10− , ReportMode (..)

10+ ReportMode (..),

11 )

12where

13

@@ -30,8 +30,8 @@ import qualified Data.OpenApi.Compare.PathsPrefixTree as P hiding (empty)

30import Data.OpenApi.Compare.Report.Jet

31import Data.OpenApi.Compare.Subtree (invertIssueOrientationP)

32import Data.OpenApi.Compare.Validate.OpenApi

33−import Data.OpenApi.Compare.Validate.Schema.TypedJson

34import Data.OpenApi.Compare.Validate.Schema.Issues

33import Data.OpenApi.Compare.Validate.Schema.Issues

34+import Data.OpenApi.Compare.Validate.Schema.TypedJson

35import Data.OpenUnion

36import Data.OpenUnion.Extra

37import Data.Set

@@ -54,22 +54,27 @@ data CheckerOutput = CheckerOutput

54 deriving anyclass (ToJSON)

55

56data ReportInput = ReportInput

57+ { -- | forward 'CertainIssue', 'ProbablyIssue' and 'Comment'

57− { breakingChanges :: Changes -- ^ forward 'CertainIssue', 'ProbablyIssue' and 'Comment'

58+ breakingChanges :: Changes

58− , nonBreakingChanges :: Changes -- ^ backward 'CertainIssue', 'ProbablyIssue' and 'Comment', except those shadowed by 'relatedIssues'

59+ , -- | backward 'CertainIssue', 'ProbablyIssue' and 'Comment', except those shadowed by 'relatedIssues'

60+ nonBreakingChanges :: Changes

61+ , -- | forward and backward 'Unsupported' (assumed to be the same anyway)

59− , unsupportedChanges :: Changes -- ^ forward and backward 'Unsupported' (assumed to be the same anyway)

62+ unsupportedChanges :: Changes

60− , schemaIssues :: Changes -- ^ forward and backward 'SchemaInvalid' (assumed to be the same anyway)

63+ , -- | forward and backward 'SchemaInvalid' (assumed to be the same anyway)

64+ schemaIssues :: Changes

61 }

65 }

62 deriving stock (Generic)

66 deriving stock (Generic)

63 deriving (Semigroup, Monoid) via (Generically ReportInput)

67 deriving (Semigroup, Monoid) via (Generically ReportInput)

64 deriving anyclass (ToJSON)

68 deriving anyclass (ToJSON)

65

69

66segregateIssues :: CheckerOutput -> ReportInput

70segregateIssues :: CheckerOutput -> ReportInput

67−segregateIssues CheckerOutput {forwardChanges = fwd, backwardChanges = bck} = ReportInput

71+segregateIssues CheckerOutput {forwardChanges = fwd, backwardChanges = bck} =

72+ ReportInput

68− { breakingChanges = P.filter isBreaking fwd

73+ { breakingChanges = P.filter isBreaking fwd

69− , nonBreakingChanges = invertIssueOrientationP $ P.filterWithKey isNonBreaking bck

74+ , nonBreakingChanges = invertIssueOrientationP $ P.filterWithKey isNonBreaking bck

70− , unsupportedChanges = P.filter isUnsupported fwd <> P.filter isUnsupported bck

75+ , unsupportedChanges = P.filter isUnsupported fwd <> P.filter isUnsupported bck

71− , schemaIssues = P.filter isSchemaIssue fwd <> P.filter isSchemaIssue bck

76+ , schemaIssues = P.filter isSchemaIssue fwd <> P.filter isSchemaIssue bck

72− }

77+ }

73 where

78 where

74 isBreaking i = anIssueKind i `elem` [CertainIssue, ProbablyIssue, Comment]

79 isBreaking i = anIssueKind i `elem` [CertainIssue, ProbablyIssue, Comment]

75 isNonBreaking :: Paths Behave 'APILevel a -> AnIssue a -> Bool

80 isNonBreaking :: Paths Behave 'APILevel a -> AnIssue a -> Bool

@@ -106,8 +111,7 @@ twoRowTable x = simpleTable (para . fst <$> x) [para . snd <$> x]

106

111

107generateReport :: ReportConfig -> ReportInput -> (Blocks, ReportStatus)

112generateReport :: ReportConfig -> ReportInput -> (Blocks, ReportStatus)

108generateReport cfg inp =

113generateReport cfg inp =

109− let

110− schemaIssuesPresent = not $ P.null $ schemaIssues inp

114+ let schemaIssuesPresent = not $ P.null $ schemaIssues inp

111 breakingChangesPresent = not $ P.null $ breakingChanges inp

115 breakingChangesPresent = not $ P.null $ breakingChanges inp

112 nonBreakingChangesPresent = not $ P.null $ nonBreakingChanges inp

116 nonBreakingChangesPresent = not $ P.null $ nonBreakingChanges inp

113 unsupportedChangesPresent = not $ P.null $ unsupportedChanges inp

117 unsupportedChangesPresent = not $ P.null $ unsupportedChanges inp

@@ -116,47 +120,55 @@ generateReport cfg inp =

116 OnlyErrors -> False

120 OnlyErrors -> False

117 builder = buildReport cfg

121 builder = buildReport cfg

118 report =

122 report =

119− header 1 "Summary"

123+ header 1 "Summary"

120− <> twoRowTable

124+ <> twoRowTable

121− (when'

125+ ( when'

122− schemaIssuesPresent

126+ schemaIssuesPresent

127+ [

123− [ ( refOpt schemaIssuesPresent schemaIssuesId "‼️ Schema issues"

128+ ( refOpt schemaIssuesPresent schemaIssuesId "‼️ Schema issues"

124− , show' $ P.size $ schemaIssues inp

129+ , show' $ P.size $ schemaIssues inp

125− )

130+ )

126− ]

131+ ]

127− ++

132+ ++ [

128− [ ( refOpt breakingChangesPresent breakingChangesId "❌ Breaking changes"

133+ ( refOpt breakingChangesPresent breakingChangesId "❌ Breaking changes"

129 , show' $ P.size $ breakingChanges inp

134 , show' $ P.size $ breakingChanges inp

130 )

135 )

131 ]

136 ]

132− ++ when'

137+ ++ when'

133− nonBreakingChangesShown

138+ nonBreakingChangesShown

139+ [

134− [ ( refOpt nonBreakingChangesPresent nonBreakingChangesId "⚠️ Non-breaking changes"

140+ ( refOpt nonBreakingChangesPresent nonBreakingChangesId "⚠️ Non-breaking changes"

135− , show' $ P.size $ nonBreakingChanges inp

141+ , show' $ P.size $ nonBreakingChanges inp

136− )

142+ )

137− ]

143+ ]

138− ++ when'

144+ ++ when'

139− unsupportedChangesPresent

145+ unsupportedChangesPresent

146+ [

140− [ ( refOpt unsupportedChangesPresent unsupportedChangesId "❓ Unsupported feature changes"

147+ ( refOpt unsupportedChangesPresent unsupportedChangesId "❓ Unsupported feature changes"

141− , show' $ P.size $ unsupportedChanges inp

148+ , show' $ P.size $ unsupportedChanges inp

142− )

149+ )

143− ])

150+ ]

151+ )

144− <> when'

152+ <> when'

145− schemaIssuesPresent

153+ schemaIssuesPresent

146− (header 1 (anchor schemaIssuesId <> "‼️ Schema issues")

154+ ( header 1 (anchor schemaIssuesId <> "‼️ Schema issues")

147− <> builder (showErrs $ schemaIssues inp))

155+ <> builder (showErrs $ schemaIssues inp)

156+ )

148− <> when'

157+ <> when'

149− breakingChangesPresent

158+ breakingChangesPresent

150− (header 1 (anchor breakingChangesId <> "❌ Breaking changes")

159+ ( header 1 (anchor breakingChangesId <> "❌ Breaking changes")

151− <> builder (showErrs $ breakingChanges inp))

160+ <> builder (showErrs $ breakingChanges inp)

161+ )

152− <> when'

162+ <> when'

153− (nonBreakingChangesPresent && nonBreakingChangesShown)

163+ (nonBreakingChangesPresent && nonBreakingChangesShown)

154− (header 1 (anchor nonBreakingChangesId <> "⚠️ Non-breaking changes")

164+ ( header 1 (anchor nonBreakingChangesId <> "⚠️ Non-breaking changes")

155− <> builder (showErrs $ nonBreakingChanges inp))

165+ <> builder (showErrs $ nonBreakingChanges inp)

166+ )

156− <> when'

167+ <> when'

157− unsupportedChangesPresent

168+ unsupportedChangesPresent

158− (header 1 (anchor unsupportedChangesId <> "❓ Unsupported feature changes")

169+ ( header 1 (anchor unsupportedChangesId <> "❓ Unsupported feature changes")

159− <> builder (showErrs $ unsupportedChanges inp))

170+ <> builder (showErrs $ unsupportedChanges inp)

171+ )

160 status =

172 status =

161 if

173 if

162 | breakingChangesPresent -> BreakingChanges

174 | breakingChangesPresent -> BreakingChanges

@@ -186,13 +198,14 @@ showErrs x@(P.PathsPrefixNode currentIssues _) =

186 let -- Extract this pattern if more cases like this arise

198 let -- Extract this pattern if more cases like this arise

187 ( removedPaths :: Maybe (Orientation, [Issue 'APILevel])

199 ( removedPaths :: Maybe (Orientation, [Issue 'APILevel])

188 , otherIssues :: Set (AnIssue a)

200 , otherIssues :: Set (AnIssue a)

189− ) = case eqT @a @'APILevel of

201+ ) = case eqT @a @ 'APILevel of

190 Just Refl

202 Just Refl

191 | (S.toList -> p@((AnIssue ori _) : _), o) <-

203 | (S.toList -> p@((AnIssue ori _) : _), o) <-

192 S.partition

204 S.partition

193− (\((AnIssue _ u)) -> case u of

205+ ( \((AnIssue _ u)) -> case u of

194− NoPathsMatched {} -> True

206+ NoPathsMatched {} -> True

195− AllPathsFailed {} -> True)

207+ AllPathsFailed {} -> True

208+ )

196 currentIssues ->

209 currentIssues ->

197 let p' = p <&> (\(AnIssue _ i) -> i)

210 let p' = p <&> (\(AnIssue _ i) -> i)

198 in (Just (ori, p'), o)

211 in (Just (ori, p'), o)

@@ -203,9 +216,10 @@ showErrs x@(P.PathsPrefixNode currentIssues _) =

203 paths = case removedPaths of

216 paths = case removedPaths of

204 Just (ori, ps) -> do

217 Just (ori, ps) -> do

205 singletonHeader

218 singletonHeader

206− (case ori of

219+ ( case ori of

207− Forward -> "Removed paths"

220+ Forward -> "Removed paths"

208− Backward -> "Added paths")

221+ Backward -> "Added paths"

222+ )

209 $ singletonBody $

223 $ singletonBody $

210 bulletList $

224 bulletList $

211 ps <&> \case

225 ps <&> \case

@@ -249,52 +263,54 @@ jets =

249 unwrapReportJetResult (Pure _) = error "There really shouldn't be any results here."

263 unwrapReportJetResult (Pure _) = error "There really shouldn't be any results here."

250 unwrapReportJetResult (Free f) = f

264 unwrapReportJetResult (Free f) = f

251

265

252− jsonPathJet

266+ jsonPathJet ::

253− :: NonEmpty

267+ NonEmpty

254− ( Union

268+ ( Union

255− '[ Behave 'SchemaLevel 'TypedSchemaLevel

269+ '[ Behave 'SchemaLevel 'TypedSchemaLevel

256− , Behave 'TypedSchemaLevel 'SchemaLevel

270+ , Behave 'TypedSchemaLevel 'SchemaLevel

257− ]

271+ ]

258− )

272+ ) ->

259− -> Inlines

273+ Inlines

260 jsonPathJet x = code $ "$" <> showParts (NE.toList x)

274 jsonPathJet x = code $ "$" <> showParts (NE.toList x)

261 where

275 where

262− showParts

276+ showParts ::

263− :: [ Union

277+ [ Union

264− '[ Behave 'SchemaLevel 'TypedSchemaLevel

278+ '[ Behave 'SchemaLevel 'TypedSchemaLevel

265− , Behave 'TypedSchemaLevel 'SchemaLevel

279+ , Behave 'TypedSchemaLevel 'SchemaLevel

266− ]

267− ]

280+ ]

281+ ] ->

268− -> Text

282+ Text

269 showParts [] = mempty

283 showParts [] = mempty

270 showParts (SingletonUnion (OfType Object) : xs@((SingletonUnion (InProperty _)) : _)) = showParts xs

284 showParts (SingletonUnion (OfType Object) : xs@((SingletonUnion (InProperty _)) : _)) = showParts xs

271 showParts (SingletonUnion (OfType Object) : xs@((SingletonUnion InAdditionalProperty) : _)) = showParts xs

285 showParts (SingletonUnion (OfType Object) : xs@((SingletonUnion InAdditionalProperty) : _)) = showParts xs

272 showParts (SingletonUnion (OfType Array) : xs@(SingletonUnion InItems : _)) = showParts xs

286 showParts (SingletonUnion (OfType Array) : xs@(SingletonUnion InItems : _)) = showParts xs

273 showParts (SingletonUnion (OfType Array) : xs@(SingletonUnion (InItem _) : _)) = showParts xs

287 showParts (SingletonUnion (OfType Array) : xs@(SingletonUnion (InItem _) : _)) = showParts xs

274 showParts (y : ys) =

288 showParts (y : ys) =

275− ((\(OfType t) -> "(" <> describeJSONType t <> ")")

289+ ( (\(OfType t) -> "(" <> describeJSONType t <> ")")

276− @@> (\case

290+ @@> ( \case

277− InItems -> "[*]"

291+ InItems -> "[*]"

278− InItem i -> "[" <> T.pack (show i) <> "]"

292+ InItem i -> "[" <> T.pack (show i) <> "]"

279− InProperty p -> "." <> p

293+ InProperty p -> "." <> p

280− InAdditionalProperty -> ".*")

294+ InAdditionalProperty -> ".*"

295+ )

281− @@> typesExhausted)

296+ @@> typesExhausted

297+ )

282 y

298 y

283 <> showParts ys

299 <> showParts ys

284

300

285−observeJetShowErrs

301+observeJetShowErrs ::

286− :: ReportJet' Behave (Maybe Inlines)

302+ ReportJet' Behave (Maybe Inlines) ->

287− -> P.PathsPrefixTree Behave AnIssue a

303+ P.PathsPrefixTree Behave AnIssue a ->

288− -> (Report, P.PathsPrefixTree Behave AnIssue a)

304+ (Report, P.PathsPrefixTree Behave AnIssue a)

289observeJetShowErrs jet p = case observeJetShowErrs' jet p of

305observeJetShowErrs jet p = case observeJetShowErrs' jet p of

290 Just m -> m

306 Just m -> m

291 Nothing -> (mempty, p)

307 Nothing -> (mempty, p)

292

308

293−observeJetShowErrs'

309+observeJetShowErrs' ::

294− :: forall a.

310+ forall a.

295− ReportJet' Behave (Maybe Inlines)

311+ ReportJet' Behave (Maybe Inlines) ->

296− -> P.PathsPrefixTree Behave AnIssue a

312+ P.PathsPrefixTree Behave AnIssue a ->

297− -> Maybe (Report, P.PathsPrefixTree Behave AnIssue a)

313+ Maybe (Report, P.PathsPrefixTree Behave AnIssue a)

298observeJetShowErrs' (ReportJet jet) (P.PathsPrefixNode currentIssues subIssues) =

314observeJetShowErrs' (ReportJet jet) (P.PathsPrefixNode currentIssues subIssues) =

299 let results =

315 let results =

300 subIssues >>= \(WrapTypeable (AStep m)) ->

316 subIssues >>= \(WrapTypeable (AStep m)) ->

@@ -302,21 +318,23 @@ observeJetShowErrs' (ReportJet jet) (P.PathsPrefixNode currentIssues subIssues)

302 maybe (Left $ embed (step bhv) subErrs) Right . listToMaybe $

318 maybe (Left $ embed (step bhv) subErrs) Right . listToMaybe $

303 jet @_ @_ @[] bhv

319 jet @_ @_ @[] bhv

304 & mapMaybe

320 & mapMaybe

305− (\case

321+ ( \case

306− Free jet' -> fmap (embed $ step bhv) <$> observeJetShowErrs' jet' subErrs

322+ Free jet' -> fmap (embed $ step bhv) <$> observeJetShowErrs' jet' subErrs

307− Pure (Just h) ->

323+ Pure (Just h) ->

308− if P.null subErrs

324+ if P.null subErrs

309− then Just mempty

325+ then Just mempty

310− else Just (singletonHeader h (showErrs subErrs), mempty)

326+ else Just (singletonHeader h (showErrs subErrs), mempty)

311− Pure Nothing -> Nothing)

327+ Pure Nothing -> Nothing

328+ )

312 in (fmap . fmap) (PathsPrefixNode currentIssues mempty <>) $

329 in (fmap . fmap) (PathsPrefixNode currentIssues mempty <>) $

313 if any isRight results

330 if any isRight results

314 then

331 then

315 Just $

332 Just $

316 foldMap

333 foldMap

317− (\case

334+ ( \case

318− Left e -> (mempty, e)

335+ Left e -> (mempty, e)

319− Right m -> m)

336+ Right m -> m

337+ )

320 results

338 results

321 else Nothing

339 else Nothing

322

340

@@ -339,8 +357,9 @@ buildReport cfg = case treeStyle cfg of

339 body rprt

357 body rprt

340 <> foldOMapWithKey

358 <> foldOMapWithKey

341 (headers rprt)

359 (headers rprt)

342− (\k v ->

360+ ( \k v ->

343− header level k <> subBuilder v)

361+ header level k <> subBuilder v

362+ )

344 where

363 where

345 subBuilder = headerStyleBuilder (level + 1)

364 subBuilder = headerStyleBuilder (level + 1)

346

365

@@ -349,16 +368,17 @@ buildReport cfg = case treeStyle cfg of

349 body rprt

368 body rprt

350 <> foldOMapWithKey

369 <> foldOMapWithKey

351 (headers rprt)

370 (headers rprt)

352− (\k v ->

371+ ( \k v ->

353− if (OM.size . headers $ rprt) < 2

372+ if (OM.size . headers $ rprt) < 2

354− then para k <> blockQuote (subBuilder v)

373+ then para k <> blockQuote (subBuilder v)

355− else

374+ else

356− rawHtml "<details>"

375+ rawHtml "<details>"

357− <> rawHtml "<summary>"

376+ <> rawHtml "<summary>"

358− <> plain k

377+ <> plain k

359− <> rawHtml "</summary>"

378+ <> rawHtml "</summary>"

360− <> blockQuote (subBuilder v)

379+ <> blockQuote (subBuilder v)

361− <> rawHtml "</details>")

380+ <> rawHtml "</details>"

381+ )

362 where

382 where

363 subBuilder = foldingStyleBuilder

383 subBuilder = foldingStyleBuilder

364

384

src/Data/OpenApi/Compare/Report/Html/Template.hs+1−1

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

1{-# LANGUAGE TemplateHaskell #-}

2

3module Data.OpenApi.Compare.Report.Html.Template

4− ( template

4+ ( template,

5 )

6where

7

src/Data/OpenApi/Compare/Report/Jet.hs+4−4

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

1module Data.OpenApi.Compare.Report.Jet

2− ( ReportJet (..)

2+ ( ReportJet (..),

3− , ReportJet'

3+ ReportJet',

4− , ConstructReportJet (..)

4+ ConstructReportJet (..),

5− , ReportJetResult

5+ ReportJetResult,

6 )

7where

8

src/Data/OpenApi/Compare/Run.hs+4−4

@@ -1,17 +1,17 @@

1module Data.OpenApi.Compare.Run

2− ( runChecker

2+ ( runChecker,

3− , runReport

3+ runReport,

4− , module Data.OpenApi.Compare.Report

4+ module Data.OpenApi.Compare.Report,

5 )

6where

7

8import Data.HList

9import Data.OpenApi (OpenApi)

10−import Text.Pandoc.Builder

11import Data.OpenApi.Compare.Paths

10import Data.OpenApi.Compare.Paths

12import Data.OpenApi.Compare.Report

11import Data.OpenApi.Compare.Report

13import Data.OpenApi.Compare.Subtree

12import Data.OpenApi.Compare.Subtree

14import Data.OpenApi.Compare.Validate.OpenApi ()

13import Data.OpenApi.Compare.Validate.OpenApi ()

14+import Text.Pandoc.Builder

15

16runChecker :: (OpenApi, OpenApi) -> CheckerOutput

17runChecker (client, server) =

src/Data/OpenApi/Compare/Subtree.hs+122−120

@@ -1,52 +1,52 @@

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Subtree

4− ( Steppable (..)

4+ ( Steppable (..),

5− , Step (..)

5+ Step (..),

6− , TraceRoot

6+ TraceRoot,

7− , Trace

7+ Trace,

8− , Traced

8+ Traced,

9− , Traced'

9+ Traced',

10− , pattern Traced

10+ pattern Traced,

11− , traced

11+ traced,

12− , retraced

12+ retraced,

13− , stepTraced

13+ stepTraced,

14− , Subtree (..)

14+ Subtree (..),

15− , checkCompatibility

15+ checkCompatibility,

16− , checkSubstructure

16+ checkSubstructure,

17− , CompatM (..)

17+ CompatM (..),

18− , CompatFormula'

18+ CompatFormula',

19− , SemanticCompatFormula

19+ SemanticCompatFormula,

20− , ProdCons (..)

20+ ProdCons (..),

21− , orientProdCons

21+ orientProdCons,

22− , swapProdCons

22+ swapProdCons,

23− , runCompatFormula

23+ runCompatFormula,

24− , issueAt

24+ issueAt,

25− , anItem

25+ anItem,

26− , anIssue

26+ anIssue,

27− , invertIssueOrientation

27+ invertIssueOrientation,

28− , invertIssueOrientationP

28+ invertIssueOrientationP,

29− , embedFormula

29+ embedFormula,

30− , anyOfAt

30+ anyOfAt,

31− , clarifyIssue

31+ clarifyIssue,

32− , structuralIssue

32+ structuralIssue,

33

34 -- * Structural helpers

35− , structuralMaybe

35+ structuralMaybe,

36− , structuralMaybeWith

36+ structuralMaybeWith,

37− , structuralEq

37+ structuralEq,

38− , iohmStructural

38+ iohmStructural,

39− , iohmStructuralWith

39+ iohmStructuralWith,

40− , structuralList

40+ structuralList,

41

42 -- * Reexports

43− , (>>>)

43+ (>>>),

44− , (<<<)

44+ (<<<),

45− , extract

45+ extract,

46− , ask

46+ ask,

47− , local

47+ local,

48− , step

48+ step,

49− , Typeable

49+ Typeable,

50 )

51where

52

@@ -115,10 +115,10 @@ orientProdCons :: Orientation -> ProdCons x -> ProdCons x

115orientProdCons Forward x = x

116orientProdCons Backward (ProdCons p c) = ProdCons c p

117

118−swapProdCons

118+swapProdCons ::

119− :: SwapEnvRoles xs

119+ SwapEnvRoles xs =>

120− => (HList xs -> ProdCons x -> CompatFormula' q AnIssue r a)

120+ (HList xs -> ProdCons x -> CompatFormula' q AnIssue r a) ->

121− -> (HList xs -> ProdCons x -> CompatFormula' q AnIssue r a)

121+ (HList xs -> ProdCons x -> CompatFormula' q AnIssue r a)

122swapProdCons f e (ProdCons p c) =

123 invertIssueOrientation $

124 f (swapEnvRoles e) (ProdCons c p)

@@ -153,8 +153,8 @@ instance Applicative ProdCons where

153 ProdCons fp fc <*> ProdCons xp xc = ProdCons (fp xp) (fc xc)

154

155newtype CompatM a = CompatM

156− { unCompatM

156+ { unCompatM ::

157− :: StateT (MemoState VarRef) Identity a

157+ StateT (MemoState VarRef) Identity a

158 }

159 deriving newtype

160 ( Functor

@@ -183,64 +183,64 @@ class (Typeable t, Issuable (SubtreeLevel t)) => Subtree (t :: Type) where

183 type CheckEnv t :: [Type]

184 type SubtreeLevel t :: BehaviorLevel

185

186− checkStructuralCompatibility

186+ checkStructuralCompatibility ::

187− :: HList (CheckEnv t)

187+ HList (CheckEnv t) ->

188− -> ProdCons (Traced t)

188+ ProdCons (Traced t) ->

189− -> StructuralCompatFormula ()

189+ StructuralCompatFormula ()

190

191− checkSemanticCompatibility

191+ checkSemanticCompatibility ::

192− :: HList (CheckEnv t)

192+ HList (CheckEnv t) ->

193− -> Behavior (SubtreeLevel t)

193+ Behavior (SubtreeLevel t) ->

194− -> ProdCons (Traced t)

194+ ProdCons (Traced t) ->

195− -> SemanticCompatFormula ()

195+ SemanticCompatFormula ()

196

197{-# WARNING checkStructuralCompatibility "You should not be calling this directly. Use 'checkSubstructure'" #-}

198

199{-# WARNING checkSemanticCompatibility "You should not be calling this directly. Use 'checkCompatibility'" #-}

200

201−checkCompatibility

201+checkCompatibility ::

202− :: forall t xs.

202+ forall t xs.

203− (ReassembleHList xs (CheckEnv t), Subtree t)

203+ (ReassembleHList xs (CheckEnv t), Subtree t) =>

204− => Behavior (SubtreeLevel t)

204+ Behavior (SubtreeLevel t) ->

205− -> HList xs

205+ HList xs ->

206− -> ProdCons (Traced t)

206+ ProdCons (Traced t) ->

207− -> SemanticCompatFormula ()

207+ SemanticCompatFormula ()

208checkCompatibility bhv e = memo bhv SemanticMemoKey $ \pc ->

209 case runCompatFormula $ checkSubstructure e pc of

210 Left _ -> checkSemanticCompatibility (reassemble e) bhv pc

211 Right () -> pure ()

212{-# INLINE checkCompatibility #-}

213

214−checkSubstructure

214+checkSubstructure ::

215− :: (ReassembleHList xs (CheckEnv t), Subtree t)

215+ (ReassembleHList xs (CheckEnv t), Subtree t) =>

216− => HList xs

216+ HList xs ->

217− -> ProdCons (Traced t)

217+ ProdCons (Traced t) ->

218− -> StructuralCompatFormula ()

218+ StructuralCompatFormula ()

219checkSubstructure e = memo Root StructuralMemoKey $ checkStructuralCompatibility (reassemble e)

220{-# INLINE checkSubstructure #-}

221

222−structuralMaybe

222+structuralMaybe ::

223− :: (Subtree a, ReassembleHList xs (CheckEnv a))

223+ (Subtree a, ReassembleHList xs (CheckEnv a)) =>

224− => HList xs

224+ HList xs ->

225− -> ProdCons (Maybe (Traced a))

225+ ProdCons (Maybe (Traced a)) ->

226− -> StructuralCompatFormula ()

226+ StructuralCompatFormula ()

227structuralMaybe e = structuralMaybeWith (checkSubstructure e)

228{-# INLINE structuralMaybe #-}

229

230−structuralMaybeWith

230+structuralMaybeWith ::

231− :: (ProdCons a -> StructuralCompatFormula ())

231+ (ProdCons a -> StructuralCompatFormula ()) ->

232− -> ProdCons (Maybe a)

232+ ProdCons (Maybe a) ->

233− -> StructuralCompatFormula ()

233+ StructuralCompatFormula ()

234structuralMaybeWith f (ProdCons (Just a) (Just b)) = f $ ProdCons a b

235structuralMaybeWith _ (ProdCons Nothing Nothing) = pure ()

236structuralMaybeWith _ _ = structuralIssue

237{-# INLINE structuralMaybeWith #-}

238

239−structuralList

239+structuralList ::

240− :: (Subtree a, ReassembleHList xs (CheckEnv a))

240+ (Subtree a, ReassembleHList xs (CheckEnv a)) =>

241− => HList xs

241+ HList xs ->

242− -> ProdCons [Traced a]

242+ ProdCons [Traced a] ->

243− -> StructuralCompatFormula ()

243+ StructuralCompatFormula ()

244structuralList _ (ProdCons [] []) = pure ()

245structuralList e (ProdCons (a : aa) (b : bb)) = do

246 checkSubstructure e $ ProdCons a b

@@ -253,11 +253,11 @@ structuralEq :: (Eq a, Comonad w) => ProdCons (w a) -> StructuralCompatFormula (

253structuralEq (ProdCons a b) = if extract a == extract b then pure () else structuralIssue

254{-# INLINE structuralEq #-}

255

256−iohmStructural

256+iohmStructural ::

257− :: (ReassembleHList (k ': xs) (CheckEnv v), Ord k, Subtree v, Hashable k, Typeable k, Show k)

257+ (ReassembleHList (k ': xs) (CheckEnv v), Ord k, Subtree v, Hashable k, Typeable k, Show k) =>

258− => HList xs

258+ HList xs ->

259− -> ProdCons (Traced (IOHM.InsOrdHashMap k v))

259+ ProdCons (Traced (IOHM.InsOrdHashMap k v)) ->

260− -> StructuralCompatFormula ()

260+ StructuralCompatFormula ()

261iohmStructural e =

262 iohmStructuralWith (\k -> checkSubstructure (k `HCons` e))

263{-# INLINE iohmStructural #-}

@@ -266,25 +266,26 @@ instance (Typeable k, Typeable v, Ord k, Show k) => Steppable (IOHM.InsOrdHashMa

266 data Step (IOHM.InsOrdHashMap k v) v = InsOrdHashMapKeyStep k

267 deriving stock (Eq, Ord, Show)

268

269−iohmStructuralWith

269+iohmStructuralWith ::

270− :: (Ord k, Hashable k, Typeable k, Typeable v, Show k)

270+ (Ord k, Hashable k, Typeable k, Typeable v, Show k) =>

271− => (k -> ProdCons (Traced v) -> StructuralCompatFormula ())

271+ (k -> ProdCons (Traced v) -> StructuralCompatFormula ()) ->

272− -> ProdCons (Traced (IOHM.InsOrdHashMap k v))

272+ ProdCons (Traced (IOHM.InsOrdHashMap k v)) ->

273− -> StructuralCompatFormula ()

273+ StructuralCompatFormula ()

274iohmStructuralWith f pc = do

275 let ProdCons pEKeys cEKeys = S.fromList . IOHM.keys . extract <$> pc

276 if pEKeys == cEKeys

277 then

278 for_

279 pEKeys

280− (\eKey ->

280+ ( \eKey ->

281− f eKey $ stepTraced (InsOrdHashMapKeyStep eKey) . fmap (IOHM.lookupDefault (error "impossible") eKey) <$> pc)

281+ f eKey $ stepTraced (InsOrdHashMapKeyStep eKey) . fmap (IOHM.lookupDefault (error "impossible") eKey) <$> pc

282+ )

282 else structuralIssue

283 else structuralIssue

283{-# INLINE iohmStructuralWith #-}

284{-# INLINE iohmStructuralWith #-}

284

285

285−runCompatFormula

286+runCompatFormula ::

286− :: CompatFormula' q f r a

287+ CompatFormula' q f r a ->

287− -> Either (P.PathsPrefixTree q f r) a

288+ Either (P.PathsPrefixTree q f r) a

288runCompatFormula (Compose f) =

289runCompatFormula (Compose f) =

289 calculate . runIdentity . runMemo 0 . unCompatM $ f

290 calculate . runIdentity . runMemo 0 . unCompatM $ f

290{-# INLINE runCompatFormula #-}

291{-# INLINE runCompatFormula #-}

@@ -314,27 +315,27 @@ invertIssueOrientationP = P.map (\(AnIssue ori i) -> AnIssue (toggleOrientation

314structuralIssue :: StructuralCompatFormula a

315structuralIssue :: StructuralCompatFormula a

315structuralIssue = Compose $ pure $ anError $ AnItem Root Proxy

316structuralIssue = Compose $ pure $ anError $ AnItem Root Proxy

316

317

317−anyOfAt

318+anyOfAt ::

318− :: Issuable l

319+ Issuable l =>

319− => Paths q r l

320+ Paths q r l ->

320− -> Issue l

321+ Issue l ->

321− -> [CompatFormula' q AnIssue r a]

322+ [CompatFormula' q AnIssue r a] ->

322− -> CompatFormula' q AnIssue r a

323+ CompatFormula' q AnIssue r a

323anyOfAt _ _ [x] = x

324anyOfAt _ _ [x] = x

324anyOfAt xs issue fs =

325anyOfAt xs issue fs =

325 Compose $ (`eitherOf` AnItem xs (anIssue issue)) <$> traverse getCompose fs

326 Compose $ (`eitherOf` AnItem xs (anIssue issue)) <$> traverse getCompose fs

326

327

327-- | If the given formula contains any issues, add another issue on top. Otherwise succeed.

328-- | If the given formula contains any issues, add another issue on top. Otherwise succeed.

328−clarifyIssue

329+clarifyIssue ::

329− :: AnItem q AnIssue r

330+ AnItem q AnIssue r ->

330− -> CompatFormula' q AnIssue r a

331+ CompatFormula' q AnIssue r a ->

331− -> CompatFormula' q AnIssue r a

332+ CompatFormula' q AnIssue r a

332clarifyIssue item f =

333clarifyIssue item f =

333 Compose ((`eitherOf` item) <$> pure <$> getCompose f) *> f

334 Compose ((`eitherOf` item) <$> pure <$> getCompose f) *> f

334

335

335−fixpointKnot

336+fixpointKnot ::

336− :: MonadState (MemoState VarRef) m

337+ MonadState (MemoState VarRef) m =>

337− => KnotTier (FormulaF q f r ()) VarRef m

338+ KnotTier (FormulaF q f r ()) VarRef m

338fixpointKnot =

339fixpointKnot =

339 KnotTier

340 KnotTier

340 { onKnotFound = modifyMemoNonce succ

341 { onKnotFound = modifyMemoNonce succ

@@ -342,19 +343,20 @@ fixpointKnot =

342 , tieKnot = \i x -> pure $ maxFixpoint i x

343 , tieKnot = \i x -> pure $ maxFixpoint i x

343 }

344 }

344

345

345−memo

346+memo ::

346− :: (Typeable (l :: k), Typeable q, Typeable f, Typeable k, Typeable a)

347+ (Typeable (l :: k), Typeable q, Typeable f, Typeable k, Typeable a) =>

347− => Paths q r l

348+ Paths q r l ->

348− -> MemoKey

349+ MemoKey ->

349− -> (ProdCons (Traced a) -> CompatFormula' q f r ())

350+ (ProdCons (Traced a) -> CompatFormula' q f r ()) ->

350− -> (ProdCons (Traced a) -> CompatFormula' q f r ())

351+ (ProdCons (Traced a) -> CompatFormula' q f r ())

351memo bhv k f pc = Compose $ do

352memo bhv k f pc = Compose $ do

352 formula' <-

353 formula' <-

353 memoWithKnot

354 memoWithKnot

354 fixpointKnot

355 fixpointKnot

355− (do

356+ ( do

356− formula <- getCompose $ f pc

357+ formula <- getCompose $ f pc

357− pure $ mapErrors (P.takeSubtree bhv) formula)

358+ pure $ mapErrors (P.takeSubtree bhv) formula

359+ )

358 (k, ask <$> pc)

360 (k, ask <$> pc)

359 pure $ mapErrors (P.embed bhv) formula'

361 pure $ mapErrors (P.embed bhv) formula'

360

362

src/Data/OpenApi/Compare/Validate/MediaTypeObject.hs+2−2

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.MediaTypeObject

4− ( Issue (..)

4+ ( Issue (..),

5− , Behave (..)

5+ Behave (..),

6 )

7where

8

src/Data/OpenApi/Compare/Validate/OAuth2Flows.hs+13−13

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.OAuth2Flows

4− ( Step (..)

4+ ( Step (..),

5− , Issue (..)

5+ Issue (..),

6− , Behave (..)

6+ Behave (..),

7 )

8where

9

@@ -26,11 +26,11 @@ instance Subtree OAuth2Flows where

26 type SubtreeLevel OAuth2Flows = 'SecuritySchemeLevel

27 checkStructuralCompatibility _ = structuralEq

28 checkSemanticCompatibility env bhv pc = do

29− let supportFlow

29+ let supportFlow ::

30− :: (Subtree t, SubtreeLevel t ~ SubtreeLevel OAuth2Flows, CheckEnv OAuth2Flows ~ CheckEnv t)

30+ (Subtree t, SubtreeLevel t ~ SubtreeLevel OAuth2Flows, CheckEnv OAuth2Flows ~ CheckEnv t) =>

31− => Issue 'SecuritySchemeLevel

31+ Issue 'SecuritySchemeLevel ->

32− -> ProdCons (Maybe (Traced t))

32+ ProdCons (Maybe (Traced t)) ->

33− -> SemanticCompatFormula ()

33+ SemanticCompatFormula ()

34 supportFlow i x = case x of

35 -- producer will not attempt this flow

36 (ProdCons Nothing _) -> pure ()

@@ -38,11 +38,11 @@ instance Subtree OAuth2Flows where

38 (ProdCons (Just _) Nothing) -> issueAt bhv i

39 (ProdCons (Just p) (Just c)) ->

40 checkCompatibility bhv env $ ProdCons p c

41− getFlow

41+ getFlow ::

42− :: Typeable x

42+ Typeable x =>

43− => (OAuth2Flows -> Maybe (OAuth2Flow x))

43+ (OAuth2Flows -> Maybe (OAuth2Flow x)) ->

44− -> Traced OAuth2Flows

44+ Traced OAuth2Flows ->

45− -> Maybe (Traced (OAuth2Flow x))

45+ Maybe (Traced (OAuth2Flow x))

46 getFlow f (Traced t a) = Traced (t >>> step (OAuth2FlowsFlow Proxy)) <$> f a

47 supportFlow ConsumerDoesNotSupportImplicitFlow $ getFlow _oAuth2FlowsImplicit <$> pc

48 supportFlow ConsumerDoesNotSupportPasswordFlow $ getFlow _oAuth2FlowsPassword <$> pc

src/Data/OpenApi/Compare/Validate/OpenApi.hs+13−12

@@ -3,8 +3,8 @@

3{-# OPTIONS_GHC -fconstraint-solver-iterations=0 #-}

4

5module Data.OpenApi.Compare.Validate.OpenApi

6− ( Behave (..)

6+ ( Behave (..),

7− , Issue (..)

7+ Issue (..),

8 )

9where

10

@@ -79,16 +79,17 @@ instance Subtree OpenApi where

79 checkSemanticCompatibility _ beh prodCons = do

80 checkCompatibility @ProcessedPathItems

81 beh

82− ((tracedRequestBodies <$> prodCons)

82+ ( (tracedRequestBodies <$> prodCons)

83− `HCons` (tracedParameters <$> prodCons)

83+ `HCons` (tracedParameters <$> prodCons)

84− `HCons` (tracedSecuritySchemes <$> prodCons)

84+ `HCons` (tracedSecuritySchemes <$> prodCons)

85− `HCons` (tracedResponses <$> prodCons)

85+ `HCons` (tracedResponses <$> prodCons)

86− `HCons` (tracedHeaders <$> prodCons)

86+ `HCons` (tracedHeaders <$> prodCons)

87− `HCons` (tracedSchemas <$> prodCons)

87+ `HCons` (tracedSchemas <$> prodCons)

88− `HCons` (_openApiServers . extract <$> prodCons)

88+ `HCons` (_openApiServers . extract <$> prodCons)

89− `HCons` (tracedLinks <$> prodCons)

89+ `HCons` (tracedLinks <$> prodCons)

90− `HCons` (tracedCallbacks <$> prodCons)

90+ `HCons` (tracedCallbacks <$> prodCons)

91− `HCons` HNil)

91+ `HCons` HNil

92+ )

92 (tracedPaths <$> prodCons)

93 (tracedPaths <$> prodCons)

93

94

94instance Steppable OpenApi ProcessedPathItems where

95instance Steppable OpenApi ProcessedPathItems where

src/Data/OpenApi/Compare/Validate/Operation.hs+26−24

@@ -4,17 +4,17 @@

4

5module Data.OpenApi.Compare.Validate.Operation

6 ( -- * Operation

7− MatchedOperation (..)

7+ MatchedOperation (..),

8− , OperationMethod (..)

8+ OperationMethod (..),

9− , pathItemMethod

9+ pathItemMethod,

10

11 -- * ProcessedPathItem

12− , ProcessedPathItem (..)

12+ ProcessedPathItem (..),

13− , ProcessedPathItems (..)

13+ ProcessedPathItems (..),

14− , processPathItems

14+ processPathItems,

15− , Step (..)

15+ Step (..),

16− , Behave (..)

16+ Behave (..),

17− , Issue (..)

17+ Issue (..),

18 )

19where

20

@@ -87,10 +87,11 @@ tracedCallbacks (Traced t oper) =

87 ]

88

89-- FIXME: #28

90−getServers

90+getServers ::

91− :: [Server] -- ^ Servers from env

91+ -- | Servers from env

92+ [Server] ->

92− -> MatchedOperation

93+ MatchedOperation ->

93− -> [Server]

94+ [Server]

94getServers env oper =

95getServers env oper =

95 case _operationServers . operation $ oper of

96 case _operationServers . operation $ oper of

96 [] -> env

97 [] -> env

@@ -337,9 +338,10 @@ instance Issuable 'APILevel where

337 deriving stock (Eq, Ord, Show)

338 deriving stock (Eq, Ord, Show)

338 issueKind = \case

339 issueKind = \case

339 _ -> CertainIssue

340 _ -> CertainIssue

340− relatedIssues = (==) `withClass` \case

341+ relatedIssues =

342+ (==) `withClass` \case

341− NoPathsMatched fp -> Just fp

343+ NoPathsMatched fp -> Just fp

342− AllPathsFailed fp -> Just fp

344+ AllPathsFailed fp -> Just fp

343 describeIssue Forward (NoPathsMatched p) = para $ "The path " <> (code . T.pack) p <> " has been removed."

345 describeIssue Forward (NoPathsMatched p) = para $ "The path " <> (code . T.pack) p <> " has been removed."

344 describeIssue Backward (NoPathsMatched p) = para $ "The path " <> (code . T.pack) p <> " has been added."

346 describeIssue Backward (NoPathsMatched p) = para $ "The path " <> (code . T.pack) p <> " has been added."

345 describeIssue Forward (AllPathsFailed p) = para $ "The path " <> (code . T.pack) p <> " has been removed."

347 describeIssue Forward (AllPathsFailed p) = para $ "The path " <> (code . T.pack) p <> " has been removed."

@@ -434,10 +436,10 @@ tracedFragments mpi =

434 | (i, x) <- L.zip [0 ..] $ pathFragments $ extract mpi

436 | (i, x) <- L.zip [0 ..] $ pathFragments $ extract mpi

435 ]

437 ]

436

438

437−tracedMethod

439+tracedMethod ::

438− :: OperationMethod

440+ OperationMethod ->

439− -> Traced MatchedPathItem

441+ Traced MatchedPathItem ->

440− -> Maybe (Traced' MatchedOperation Operation)

442+ Maybe (Traced' MatchedOperation Operation)

441tracedMethod s mpi = env (ask mpi >>> step (OperationMethodStep s)) <$> (pathItemMethod s . pathItem . extract $ mpi)

443tracedMethod s mpi = env (ask mpi >>> step (OperationMethodStep s)) <$> (pathItemMethod s . pathItem . extract $ mpi)

442

444

443instance Issuable 'PathLevel where

445instance Issuable 'PathLevel where

@@ -485,10 +487,10 @@ instance Subtree MatchedPathItem where

485 checkSemanticCompatibility env beh prodCons = do

487 checkSemanticCompatibility env beh prodCons = do

486 let paramDefs = getH @(ProdCons (Traced (Definitions Param))) env

488 let paramDefs = getH @(ProdCons (Traced (Definitions Param))) env

487 pathTracedParams = getPathParams <$> paramDefs <*> prodCons

489 pathTracedParams = getPathParams <$> paramDefs <*> prodCons

488− getPathParams

490+ getPathParams ::

489− :: Traced (Definitions Param)

491+ Traced (Definitions Param) ->

490− -> Traced MatchedPathItem

492+ Traced MatchedPathItem ->

491− -> [Traced Param]

493+ [Traced Param]

492 getPathParams defs mpi = do

494 getPathParams defs mpi = do

493 paramRef <- tracedMatchedPathItemParameters mpi

495 paramRef <- tracedMatchedPathItemParameters mpi

494 pure $ dereference defs paramRef

496 pure $ dereference defs paramRef

src/Data/OpenApi/Compare/Validate/Param.hs+9−7

@@ -2,8 +2,8 @@

2{-# OPTIONS_GHC -fno-warn-name-shadowing #-}

3

4module Data.OpenApi.Compare.Validate.Param

5− ( Behave (..)

5+ ( Behave (..),

6− , Issue (..)

6+ Issue (..),

7 )

8where

9

@@ -79,7 +79,7 @@ instance Issuable 'PathFragmentLevel where

79 describeIssue _ ParamPlaceIncompatible = para "Parameters in incompatible locations."

80 describeIssue _ ParamStyleMismatch = para "Different parameter styles (encodings)."

81 describeIssue _ ParamSchemaMismatch = para "Expected a schema, but didn't find one."

82− describeIssue ori (PathFragmentsDontMatch (orientProdCons ori -> ProdCons e a)) =

82+ describeIssue ori (PathFragmentsDontMatch (orientProdCons ori -> ProdCons e a)) =

83 para $ "Parameter changed from " <> code e <> " to " <> code a <> "."

84

85instance Behavable 'PathFragmentLevel 'SchemaLevel where

@@ -106,15 +106,17 @@ instance Subtree Param where

106 when (_paramName (extract p) /= _paramName (extract c)) $

107 issueAt beh ParamNameMismatch

108 when

109− ((fromMaybe False . _paramRequired . extract $ c)

109+ ( (fromMaybe False . _paramRequired . extract $ c)

110− && not (fromMaybe False . _paramRequired . extract $ p))

110+ && not (fromMaybe False . _paramRequired . extract $ p)

111+ )

111 $ issueAt beh ParamRequired

112 $ issueAt beh ParamRequired

112 case (_paramIn . extract $ p, _paramIn . extract $ c) of

113 case (_paramIn . extract $ p, _paramIn . extract $ c) of

113 (ParamQuery, ParamQuery) -> do

114 (ParamQuery, ParamQuery) -> do

114 -- Emptiness is only for query params

115 -- Emptiness is only for query params

115 when

116 when

116− ((fromMaybe False . _paramAllowEmptyValue . extract $ p)

117+ ( (fromMaybe False . _paramAllowEmptyValue . extract $ p)

117− && not (fromMaybe False . _paramAllowEmptyValue . extract $ c))

118+ && not (fromMaybe False . _paramAllowEmptyValue . extract $ c)

119+ )

118 $ issueAt beh ParamEmptinessIncompatible

120 $ issueAt beh ParamEmptinessIncompatible

119 (a, b) | a == b -> pure ()

121 (a, b) | a == b -> pure ()

120 _ -> issueAt beh ParamPlaceIncompatible

122 _ -> issueAt beh ParamPlaceIncompatible

src/Data/OpenApi/Compare/Validate/PathFragment.hs+3−4

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

1module Data.OpenApi.Compare.Validate.PathFragment

2− ( parsePath

2+ ( parsePath,

3− , PathFragment (..)

3+ PathFragment (..),

4− , PathFragmentParam

4+ PathFragmentParam,

5 )

6where

7

@@ -12,7 +12,6 @@ import Data.OpenApi.Compare.Subtree

12import Data.OpenApi.Compare.Validate.Param

13import Data.Text (Text)

14import qualified Data.Text as T

15−import Data.Typeable

16

15

17-- TODO: templates can be only part of the PathFragment. Currently only supports templates as full PathFragment.

16-- TODO: templates can be only part of the PathFragment. Currently only supports templates as full PathFragment.

18-- #23

17-- #23

src/Data/OpenApi/Compare/Validate/Products.hs+27−28

@@ -1,21 +1,21 @@

1−{- | Checks product-like entities. The key is some identificator for the product

1+-- | Checks product-like entities. The key is some identificator for the product

2−element. Each element may be required or optional.

2+--element. Each element may be required or optional.

3−

3+--

4−One example of product is request parameters. There are optional and required

4+--One example of product is request parameters. There are optional and required

5−parameters. The client and server have possibly different set of

5+--parameters. The client and server have possibly different set of

6−parameters. What we must check is if server requires some request parameter,

6+--parameters. What we must check is if server requires some request parameter,

7−then this parameter must be presented by client and their schemas must match.

7+--then this parameter must be presented by client and their schemas must match.

8−

8+--

9−So when we checking products we are checking from the server's (consumer)

9+--So when we checking products we are checking from the server's (consumer)

10−perspective, ensuring that all parameters are provided by the client (producer)

10+--perspective, ensuring that all parameters are provided by the client (producer)

11−and their schemas match.

11+--and their schemas match.

12−

12+--

13−This module abstracts this logic for arbitrary elements -}

13+--This module abstracts this logic for arbitrary elements

14−

15module Data.OpenApi.Compare.Validate.Products

14module Data.OpenApi.Compare.Validate.Products

16− ( checkProducts

15+ ( checkProducts,

17− , ProductLike(..)

16+ ProductLike (..),

17+ )

18− ) where

18+where

19

20import Data.Foldable

21import Data.Map.Strict (Map)

@@ -30,20 +30,19 @@ data ProductLike a = ProductLike

30 , required :: Bool

31 }

32

33−checkProducts

33+checkProducts ::

34− :: (Ord k, Issuable l)

34+ (Ord k, Issuable l) =>

35− => Paths q r l

35+ Paths q r l ->

36− -> (k -> Issue l)

37− -- ^ No required element found

36+ -- | No required element found

37+ (k -> Issue l) ->

38− -> (k -> ProdCons t -> CompatFormula' q AnIssue r ())

38+ (k -> ProdCons t -> CompatFormula' q AnIssue r ()) ->

39− -> ProdCons (Map k (ProductLike t))

39+ ProdCons (Map k (ProductLike t)) ->

40− -> CompatFormula' q AnIssue r ()

40+ CompatFormula' q AnIssue r ()

41checkProducts xs noElt check (ProdCons p c) = for_ (M.toList c) $ \(key, consElt) ->

42 case M.lookup key p of

43 Nothing -> case required consElt of

44− True -> issueAt xs $ noElt key

44+ True -> issueAt xs $ noElt key

45 False -> pure ()

46 Just prodElt -> do

47− let

48− elts = ProdCons prodElt consElt

47+ let elts = ProdCons prodElt consElt

49 check key (productValue <$> elts)

48 check key (productValue <$> elts)

src/Data/OpenApi/Compare/Validate/RequestBody.hs+2−2

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.RequestBody

4− ( Issue (..)

4+ ( Issue (..),

5− , Behave (..)

5+ Behave (..),

6 )

7where

8

src/Data/OpenApi/Compare/Validate/Responses.hs+1−1

@@ -2,7 +2,7 @@

2{-# OPTIONS_GHC -fno-warn-name-shadowing #-}

3

4module Data.OpenApi.Compare.Validate.Responses

5− ( Behave (..)

5+ ( Behave (..),

6 )

7where

8

src/Data/OpenApi/Compare/Validate/Schema.hs+76−97

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2+

2module Data.OpenApi.Compare.Validate.Schema

3module Data.OpenApi.Compare.Validate.Schema

3 (

4 (

4 )

5 )

@@ -10,9 +11,9 @@ import Data.Coerce

10import Data.Foldable (for_, toList)

11import Data.Foldable (for_, toList)

11import Data.Functor

12import Data.Functor

12import Data.HList

13import Data.HList

14+import Data.List (genericIndex, genericLength, group)

13import qualified Data.List.NonEmpty as NE

15import qualified Data.List.NonEmpty as NE

14import qualified Data.Map as M

16import qualified Data.Map as M

15−import Data.List (group, genericLength, genericIndex)

16import Data.Maybe

17import Data.Maybe

17import Data.OpenApi

18import Data.OpenApi

18import Data.OpenApi.Compare.Behavior

19import Data.OpenApi.Compare.Behavior

@@ -22,24 +23,24 @@ import Data.OpenApi.Compare.Subtree

22import Data.OpenApi.Compare.Validate.Schema.DNF

23import Data.OpenApi.Compare.Validate.Schema.DNF

23import Data.OpenApi.Compare.Validate.Schema.Issues

24import Data.OpenApi.Compare.Validate.Schema.Issues

24import Data.OpenApi.Compare.Validate.Schema.JsonFormula

25import Data.OpenApi.Compare.Validate.Schema.JsonFormula

25−import Data.OpenApi.Compare.Validate.Schema.Traced

26−import Data.OpenApi.Compare.Validate.Schema.TypedJson

27import Data.OpenApi.Compare.Validate.Schema.Partition

26import Data.OpenApi.Compare.Validate.Schema.Partition

28import Data.OpenApi.Compare.Validate.Schema.Process

27import Data.OpenApi.Compare.Validate.Schema.Process

28+import Data.OpenApi.Compare.Validate.Schema.Traced

29+import Data.OpenApi.Compare.Validate.Schema.TypedJson

29import Data.Ord

30import Data.Ord

30import Data.Ratio

31import Data.Ratio

31import Data.Semigroup

32import Data.Semigroup

32import qualified Data.Set as S

33import qualified Data.Set as S

33import Data.Text (Text)

34import Data.Text (Text)

34

35

35−checkFormulas

36+checkFormulas ::

36− :: (ReassembleHList xs (CheckEnv (Referenced Schema)))

37+ (ReassembleHList xs (CheckEnv (Referenced Schema))) =>

37− => HList xs

38+ HList xs ->

38− -> Behavior 'SchemaLevel

39+ Behavior 'SchemaLevel ->

39− -> ProdCons (Trace Schema)

40+ ProdCons (Trace Schema) ->

40− -> ProdCons (Traced (Definitions Schema))

41+ ProdCons (Traced (Definitions Schema)) ->

41− -> ProdCons (ForeachType JsonFormula, P.PathsPrefixTree Behave AnIssue 'SchemaLevel)

42+ ProdCons (ForeachType JsonFormula, P.PathsPrefixTree Behave AnIssue 'SchemaLevel) ->

42− -> SemanticCompatFormula ()

43+ SemanticCompatFormula ()

43checkFormulas env beh trs defs (ProdCons (fp, ep) (fc, ec)) =

44checkFormulas env beh trs defs (ProdCons (fp, ep) (fc, ec)) =

44 case P.toList ep ++ P.toList ec of

45 case P.toList ep ++ P.toList ec of

45 issues@(_ : _) -> for_ issues $ embedFormula beh . anItem

46 issues@(_ : _) -> for_ issues $ embedFormula beh . anItem

@@ -144,21 +145,21 @@ checkFormulas env beh trs defs (ProdCons (fp, ep) (fc, ec)) =

144 EnumDoesntSatisfy $ untypeValue e -- what does this look like when partitioned?

145 EnumDoesntSatisfy $ untypeValue e -- what does this look like when partitioned?

145 issueFromDisjunct mPart ps = NoMatchingCondition mPart $ SomeCondition <$> S.toList ps

146 issueFromDisjunct mPart ps = NoMatchingCondition mPart $ SomeCondition <$> S.toList ps

146

147

147−checkContradiction

148+checkContradiction ::

148− :: Behavior 'TypedSchemaLevel

149+ Behavior 'TypedSchemaLevel ->

149− -> Maybe Partition

150+ Maybe Partition ->

150− -> S.Set (Condition t)

151+ S.Set (Condition t) ->

151− -> SemanticCompatFormula ()

152+ SemanticCompatFormula ()

152checkContradiction beh mPart _ = issueAt beh $ maybe TypeBecomesEmpty PartitionBecomesEmpty mPart -- TODO #70

153checkContradiction beh mPart _ = issueAt beh $ maybe TypeBecomesEmpty PartitionBecomesEmpty mPart -- TODO #70

153

154

154−checkImplication

155+checkImplication ::

155− :: (ReassembleHList xs (CheckEnv (Referenced Schema)))

156+ (ReassembleHList xs (CheckEnv (Referenced Schema))) =>

156− => HList xs

157+ HList xs ->

157− -> Behavior 'TypedSchemaLevel

158+ Behavior 'TypedSchemaLevel ->

158− -> ProdCons (Trace Schema) -- the traces of the root schemas used in this comparison

159+ ProdCons (Trace Schema) -> -- the traces of the root schemas used in this comparison

159− -> S.Set (Condition t)

160+ S.Set (Condition t) ->

160− -> Condition t

161+ Condition t ->

161− -> SemanticCompatFormula ()

162+ SemanticCompatFormula ()

162checkImplication env beh trs prods cons = case findExactly prods of

163checkImplication env beh trs prods cons = case findExactly prods of

163 Just e

164 Just e

164 | all (satisfiesTyped e) prods ->

165 | all (satisfiesTyped e) prods ->

@@ -166,124 +167,104 @@ checkImplication env beh trs prods cons = case findExactly prods of

166 then pure ()

167 then pure ()

167 else issueAt beh (EnumDoesntSatisfy $ untypeValue e)

168 else issueAt beh (EnumDoesntSatisfy $ untypeValue e)

168 | otherwise -> pure () -- vacuously true

169 | otherwise -> pure () -- vacuously true

169−

170 Nothing -> case cons of

171 -- the above code didn't catch it, so there's no Exactly condition on the lhs

172 Exactly e -> issueAt beh (NoMatchingEnum $ untypeValue e)

173−

174 Maximum m -> foldCheck min m NoMatchingMaximum MatchingMaximumWeak $ \case

173 Maximum m -> foldCheck min m NoMatchingMaximum MatchingMaximumWeak $ \case

175 Maximum m' -> Just m'

174 Maximum m' -> Just m'

176 _ -> Nothing

175 _ -> Nothing

177−

178 Minimum m -> foldCheck max m (NoMatchingMinimum . coerce) (MatchingMinimumWeak . coerce) $ \case

176 Minimum m -> foldCheck max m (NoMatchingMinimum . coerce) (MatchingMinimumWeak . coerce) $ \case

179 Minimum m' -> Just m'

177 Minimum m' -> Just m'

180 _ -> Nothing

178 _ -> Nothing

181−

182 MultipleOf m -> foldCheck lcmScientific m NoMatchingMultipleOf MatchingMultipleOfWeak $ \case

179 MultipleOf m -> foldCheck lcmScientific m NoMatchingMultipleOf MatchingMultipleOfWeak $ \case

183 MultipleOf m' -> Just m'

180 MultipleOf m' -> Just m'

184 _ -> Nothing

181 _ -> Nothing

185−

186 NumberFormat f -> case flip any prods $ \case

182 NumberFormat f -> case flip any prods $ \case

187− NumberFormat f' -> f == f'

183+ NumberFormat f' -> f == f'

188− _ -> False

184+ _ -> False of

189− of

190 True -> pure ()

185 True -> pure ()

191 False -> issueAt beh (NoMatchingFormat f)

186 False -> issueAt beh (NoMatchingFormat f)

192−

193 MaxLength m -> foldCheck min m NoMatchingMaxLength MatchingMaxLengthWeak $ \case

187 MaxLength m -> foldCheck min m NoMatchingMaxLength MatchingMaxLengthWeak $ \case

194 MaxLength m' -> Just m'

188 MaxLength m' -> Just m'

195 _ -> Nothing

189 _ -> Nothing

196−

197 MinLength m -> foldCheck max m NoMatchingMinLength MatchingMinLengthWeak $ \case

190 MinLength m -> foldCheck max m NoMatchingMinLength MatchingMinLengthWeak $ \case

198 MinLength m' -> Just m'

191 MinLength m' -> Just m'

199 _ -> Nothing

192 _ -> Nothing

200−

201 Pattern p -> case flip any prods $ \case

193 Pattern p -> case flip any prods $ \case

202− Pattern p' -> p == p'

194+ Pattern p' -> p == p'

203− _ -> False

195+ _ -> False of

204− of

205 True -> pure ()

196 True -> pure ()

206 False -> issueAt beh (NoMatchingPattern p) -- TODO: regex comparison #32

197 False -> issueAt beh (NoMatchingPattern p) -- TODO: regex comparison #32

207−

208 StringFormat f -> case flip any prods $ \case

198 StringFormat f -> case flip any prods $ \case

209− StringFormat f' -> f == f'

199+ StringFormat f' -> f == f'

210− _ -> False

200+ _ -> False of

211− of

212 True -> pure ()

201 True -> pure ()

213 False -> issueAt beh (NoMatchingFormat f)

202 False -> issueAt beh (NoMatchingFormat f)

214−

215 Items _ cons' -> case foldSome (<>) prods $ \case

203 Items _ cons' -> case foldSome (<>) prods $ \case

216− Items _ rs -> Just (Just (rs NE.:| []), mempty)

204+ Items _ rs -> Just (Just (rs NE.:| []), mempty)

217− TupleItems (map snd -> fs) -> Just (mempty, Just (fs NE.:| []))

205+ TupleItems (map snd -> fs) -> Just (mempty, Just (fs NE.:| []))

218− _ -> Nothing

206+ _ -> Nothing of

219− of

220 Just (mItems, Just pfs)

207 Just (mItems, Just pfs)

221 | not $ allSame (length <$> pfs) -> pure () -- vacuously

208 | not $ allSame (length <$> pfs) -> pure () -- vacuously

222− | let plen = genericLength (NE.head pfs)

209+ | let plen = genericLength (NE.head pfs) ->

223− -> clarifyIssue (AnItem beh (anIssue TupleToArray)) $ for_ [0 .. plen - 1] $ \i -> do

210+ clarifyIssue (AnItem beh (anIssue TupleToArray)) $

211+ for_ [0 .. plen - 1] $ \i -> do

224− let prod' = tracedConjunct $ case mItems of

212+ let prod' = tracedConjunct $ case mItems of

225− Just prods' -> ((`genericIndex` i) <$> pfs) <> prods'

213+ Just prods' -> ((`genericIndex` i) <$> pfs) <> prods'

226− Nothing -> (`genericIndex` i) <$> pfs

214+ Nothing -> (`genericIndex` i) <$> pfs

227− checkCompatibility (beh >>> step (InItem i)) env $ ProdCons prod' cons'

215+ checkCompatibility (beh >>> step (InItem i)) env $ ProdCons prod' cons'

228 Just (Just prods', Nothing) -> do

216 Just (Just prods', Nothing) -> do

229 let prod' = tracedConjunct prods'

217 let prod' = tracedConjunct prods'

230 checkCompatibility (beh >>> step InItems) env $ ProdCons prod' cons'

218 checkCompatibility (beh >>> step InItems) env $ ProdCons prod' cons'

231 _ -> clarifyIssue (AnItem beh (anIssue NoMatchingItems)) $ do

219 _ -> clarifyIssue (AnItem beh (anIssue NoMatchingItems)) $ do

232 checkCompatibility (beh >>> step InItems) env $ ProdCons prodTopSchema cons'

220 checkCompatibility (beh >>> step InItems) env $ ProdCons prodTopSchema cons'

233−

234 TupleItems (map snd -> fs) -> case foldSome (<>) prods $ \case

221 TupleItems (map snd -> fs) -> case foldSome (<>) prods $ \case

235− TupleItems (map snd -> fs') -> Just (Just $ fs' NE.:| [], Just . Max $ genericLength fs', Just . Min $ genericLength fs', mempty)

222+ TupleItems (map snd -> fs') -> Just (Just $ fs' NE.:| [], Just . Max $ genericLength fs', Just . Min $ genericLength fs', mempty)

236− MinItems m' -> Just (mempty, Just . Max $ m', mempty, mempty)

223+ MinItems m' -> Just (mempty, Just . Max $ m', mempty, mempty)

237− MaxItems m' -> Just (mempty, mempty, Just . Min $ m', mempty)

224+ MaxItems m' -> Just (mempty, mempty, Just . Min $ m', mempty)

238− Items _ rs -> Just (mempty, mempty, mempty, Just (rs NE.:| []))

225+ Items _ rs -> Just (mempty, mempty, mempty, Just (rs NE.:| []))

239− _ -> Nothing

226+ _ -> Nothing of

240− of

241− -- if the length constraints in the producer are contradictory:

227+ -- if the length constraints in the producer are contradictory:

242− Just (_, Just (Max lowest), Just (Min highest), _) | lowest > highest -> pure ()

228+ Just (_, Just (Max lowest), Just (Min highest), _) | lowest > highest -> pure ()

243− -- We have an explicit tuple items clause...

229+ -- We have an explicit tuple items clause...

244− Just (Just pfs, Just (Max plen), _, _)

230+ Just (Just pfs, Just (Max plen), _, _)

245− | plen /= genericLength fs -- ...of wrong length

231+ | plen /= genericLength fs -> -- ...of wrong length

246− -> issueAt beh (TupleItemsLengthChanged ProdCons {producer = plen, consumer = genericLength fs})

232+ issueAt beh (TupleItemsLengthChanged ProdCons {producer = plen, consumer = genericLength fs})

247− | otherwise

233+ | otherwise ->

248− -> for_ [0 .. plen - 1] $ \i -> do

234+ for_ [0 .. plen - 1] $ \i -> do

249 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons (tracedConjunct $ (`genericIndex` i) <$> pfs) (fs `genericIndex` i)

235 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons (tracedConjunct $ (`genericIndex` i) <$> pfs) (fs `genericIndex` i)

250− -- We have a fixed length array in the producer...

236+ -- We have a fixed length array in the producer...

251− Just (Nothing, Just (Max plen), Just (Min plen'), mProd)

237+ Just (Nothing, Just (Max plen), Just (Min plen'), mProd)

252− | plen == plen'

238+ | plen == plen' ->

253− -> clarifyIssue (AnItem beh (anIssue ArrayToTuple)) $ case mProd of

239+ clarifyIssue (AnItem beh (anIssue ArrayToTuple)) $ case mProd of

240+ _

254− _ | plen /= genericLength fs -> -- ...of wrong length

241+ | plen /= genericLength fs -> -- ...of wrong length

255− issueAt beh (TupleItemsLengthChanged ProdCons {producer = plen, consumer = genericLength fs})

242+ issueAt beh (TupleItemsLengthChanged ProdCons {producer = plen, consumer = genericLength fs})

256 Just rs -> for_ [0 .. plen - 1] $ \i -> do

243 Just rs -> for_ [0 .. plen - 1] $ \i -> do

257 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons (tracedConjunct rs) (fs `genericIndex` i)

244 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons (tracedConjunct rs) (fs `genericIndex` i)

258 -- ...and no "items" schema

245 -- ...and no "items" schema

259 Nothing -> clarifyIssue (AnItem beh (anIssue NoMatchingTupleItems)) $ do

246 Nothing -> clarifyIssue (AnItem beh (anIssue NoMatchingTupleItems)) $ do

260 for_ [0 .. plen - 1] $ \i -> do

247 for_ [0 .. plen - 1] $ \i -> do

261 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons prodTopSchema (fs `genericIndex` i)

248 checkCompatibility (beh >>> step (InItem i)) env $ ProdCons prodTopSchema (fs `genericIndex` i)

262− _ -> issueAt beh NoMatchingTupleItems

249+ _ -> issueAt beh NoMatchingTupleItems

263−

264 MaxItems m -> foldCheck min m NoMatchingMaxItems MatchingMaxItemsWeak $ \case

250 MaxItems m -> foldCheck min m NoMatchingMaxItems MatchingMaxItemsWeak $ \case

265 MaxItems m' -> Just m'

251 MaxItems m' -> Just m'

266 TupleItems fs -> Just $ toInteger $ length fs

252 TupleItems fs -> Just $ toInteger $ length fs

267 _ -> Nothing

253 _ -> Nothing

268−

269 MinItems m -> foldCheck max m NoMatchingMinItems MatchingMinItemsWeak $ \case

254 MinItems m -> foldCheck max m NoMatchingMinItems MatchingMinItemsWeak $ \case

270 MinItems m' -> Just m'

255 MinItems m' -> Just m'

271 TupleItems fs -> Just $ toInteger $ length fs

256 TupleItems fs -> Just $ toInteger $ length fs

272 _ -> Nothing

257 _ -> Nothing

273−

274 UniqueItems -> case flip any prods $ \case

258 UniqueItems -> case flip any prods $ \case

275− UniqueItems -> True

259+ UniqueItems -> True

276− MaxItems 1 -> True

260+ MaxItems 1 -> True

277− TupleItems fs | length fs == 1 -> True

261+ TupleItems fs | length fs == 1 -> True

278− _ -> False

262+ _ -> False of

279− of

280 True -> pure ()

263 True -> pure ()

281 False -> issueAt beh NoMatchingUniqueItems

264 False -> issueAt beh NoMatchingUniqueItems

282−

283 Properties props _ madd -> case foldSome (<>) prods $ \case

265 Properties props _ madd -> case foldSome (<>) prods $ \case

284− Properties props' _ madd' -> Just $ (props', madd') NE.:| []

266+ Properties props' _ madd' -> Just $ (props', madd') NE.:| []

285− _ -> Nothing

267+ _ -> Nothing of

286− of

287 Just pm ->

268 Just pm ->

288 anyOfAt beh NoMatchingProperties $ -- TODO: could first "concat" the lists

269 anyOfAt beh NoMatchingProperties $ -- TODO: could first "concat" the lists

289 NE.toList pm <&> \(props', madd') -> do

270 NE.toList pm <&> \(props', madd') -> do

@@ -314,11 +295,9 @@ checkImplication env beh trs prods cons = case findExactly prods of

314 (Just add', Just add) -> checkCompatibility (beh >>> step InAdditionalProperty) env (ProdCons add' add)

295 (Just add', Just add) -> checkCompatibility (beh >>> step InAdditionalProperty) env (ProdCons add' add)

315 pure ()

296 pure ()

316 Nothing -> issueAt beh NoMatchingProperties

297 Nothing -> issueAt beh NoMatchingProperties

317−

318 MaxProperties m -> foldCheck min m NoMatchingMaxProperties MatchingMaxPropertiesWeak $ \case

298 MaxProperties m -> foldCheck min m NoMatchingMaxProperties MatchingMaxPropertiesWeak $ \case

319 MaxProperties m' -> Just m'

299 MaxProperties m' -> Just m'

320 _ -> Nothing

300 _ -> Nothing

321−

322 MinProperties m -> foldCheck max m NoMatchingMinProperties MatchingMinPropertiesWeak $ \case

301 MinProperties m -> foldCheck max m NoMatchingMinProperties MatchingMinPropertiesWeak $ \case

323 MinProperties m' -> Just m'

302 MinProperties m' -> Just m'

324 _ -> Nothing

303 _ -> Nothing

@@ -326,14 +305,14 @@ checkImplication env beh trs prods cons = case findExactly prods of

326 lcmScientific (toRational -> a) (toRational -> b) =

305 lcmScientific (toRational -> a) (toRational -> b) =

327 fromRational $ lcm (numerator a) (numerator b) % gcd (denominator a) (denominator b)

306 fromRational $ lcm (numerator a) (numerator b) % gcd (denominator a) (denominator b)

328

307

329− foldCheck

308+ foldCheck ::

330− :: Eq a

309+ Eq a =>

331− => (a -> a -> a)

310+ (a -> a -> a) ->

332− -> a

311+ a ->

333− -> (a -> Issue 'TypedSchemaLevel)

312+ (a -> Issue 'TypedSchemaLevel) ->

334− -> (ProdCons a -> Issue 'TypedSchemaLevel)

313+ (ProdCons a -> Issue 'TypedSchemaLevel) ->

335− -> (forall t. Condition t -> Maybe a)

314+ (forall t. Condition t -> Maybe a) ->

336− -> SemanticCompatFormula ()

315+ SemanticCompatFormula ()

337 foldCheck f m missing weak extr = case foldSome f prods extr of

316 foldCheck f m missing weak extr = case foldSome f prods extr of

338 Just m'

317 Just m'

339 | f m' m == m' -> pure ()

318 | f m' m == m' -> pure ()

src/Data/OpenApi/Compare/Validate/Schema/DNF.hs+8−8

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

1module Data.OpenApi.Compare.Validate.Schema.DNF

2− ( DNF (..)

2+ ( DNF (..),

3− , Disjunct (..)

3+ Disjunct (..),

4− , pattern SingleDisjunct

4+ pattern SingleDisjunct,

5− , pattern TopDNF

5+ pattern TopDNF,

6− , pattern BottomDNF

6+ pattern BottomDNF,

7− , pattern LiteralDNF

7+ pattern LiteralDNF,

8− , foldDNF

8+ foldDNF,

9− , forDNF

9+ forDNF,

10 )

11where

12

src/Data/OpenApi/Compare/Validate/Schema/Issues.hs+53−51

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.Schema.Issues

4− ( Issue (..)

4+ ( Issue (..),

5− , Behave (..)

5+ Behave (..),

6 )

7where

8

@@ -100,53 +100,54 @@ instance Issuable 'TypedSchemaLevel where

100 TypeBecomesEmpty -> ProbablyIssue -- TODO: #70

101 PartitionBecomesEmpty _ -> ProbablyIssue -- ditto

102 _ -> CertainIssue

103− relatedIssues = (==) `withClass` \case

103+ relatedIssues =

104+ (==) `withClass` \case

104 EnumDoesntSatisfy v -> Just v

105 EnumDoesntSatisfy v -> Just v

105 NoMatchingEnum v -> Just v

106 NoMatchingEnum v -> Just v

106 _ -> Nothing

107 _ -> Nothing

107− `withClass` \case

108+ `withClass` \case

108− NoMatchingMaximum _ -> Just ()

109+ NoMatchingMaximum _ -> Just ()

109− MatchingMaximumWeak _ -> Just ()

110+ MatchingMaximumWeak _ -> Just ()

110− _ -> Nothing

111+ _ -> Nothing

111− `withClass` \case

112+ `withClass` \case

112− NoMatchingMinimum _ -> Just ()

113+ NoMatchingMinimum _ -> Just ()

113− MatchingMinimumWeak _ -> Just ()

114+ MatchingMinimumWeak _ -> Just ()

114− _ -> Nothing

115+ _ -> Nothing

115− `withClass` \case

116+ `withClass` \case

116− NoMatchingMultipleOf _ -> Just ()

117+ NoMatchingMultipleOf _ -> Just ()

117− MatchingMultipleOfWeak _ -> Just ()

118+ MatchingMultipleOfWeak _ -> Just ()

118− _ -> Nothing

119+ _ -> Nothing

119− `withClass` \case

120+ `withClass` \case

120− NoMatchingMaxLength _ -> Just ()

121+ NoMatchingMaxLength _ -> Just ()

121− MatchingMaxLengthWeak _ -> Just ()

122+ MatchingMaxLengthWeak _ -> Just ()

122− _ -> Nothing

123+ _ -> Nothing

123− `withClass` \case

124+ `withClass` \case

124− NoMatchingMinLength _ -> Just ()

125+ NoMatchingMinLength _ -> Just ()

125− MatchingMinLengthWeak _ -> Just ()

126+ MatchingMinLengthWeak _ -> Just ()

126− _ -> Nothing

127+ _ -> Nothing

127− `withClass` \case

128+ `withClass` \case

128− NoMatchingItems -> Just ()

129+ NoMatchingItems -> Just ()

129− ArrayToTuple -> Just ()

130+ ArrayToTuple -> Just ()

130− TupleToArray -> Just ()

131+ TupleToArray -> Just ()

131− NoMatchingTupleItems -> Just ()

132+ NoMatchingTupleItems -> Just ()

132− TupleItemsLengthChanged _ -> Just ()

133+ TupleItemsLengthChanged _ -> Just ()

133− _ -> Nothing

134+ _ -> Nothing

134− `withClass` \case

135+ `withClass` \case

135− NoMatchingMaxItems _ -> Just ()

136+ NoMatchingMaxItems _ -> Just ()

136− MatchingMaxItemsWeak _ -> Just ()

137+ MatchingMaxItemsWeak _ -> Just ()

137− _ -> Nothing

138+ _ -> Nothing

138− `withClass` \case

139+ `withClass` \case

139− NoMatchingMinItems _ -> Just ()

140+ NoMatchingMinItems _ -> Just ()

140− MatchingMinItemsWeak _ -> Just ()

141+ MatchingMinItemsWeak _ -> Just ()

141− _ -> Nothing

142+ _ -> Nothing

142− `withClass` \case

143+ `withClass` \case

143− NoMatchingMaxProperties _ -> Just ()

144+ NoMatchingMaxProperties _ -> Just ()

144− MatchingMaxPropertiesWeak _ -> Just ()

145+ MatchingMaxPropertiesWeak _ -> Just ()

145− _ -> Nothing

146+ _ -> Nothing

146− `withClass` \case

147+ `withClass` \case

147− NoMatchingMinProperties _ -> Just ()

148+ NoMatchingMinProperties _ -> Just ()

148− MatchingMinPropertiesWeak _ -> Just ()

149+ MatchingMinPropertiesWeak _ -> Just ()

149− _ -> Nothing

150+ _ -> Nothing

150 describeIssue Forward (EnumDoesntSatisfy v) = para "The following enum value was removed:" <> showJSONValue v

151 describeIssue Forward (EnumDoesntSatisfy v) = para "The following enum value was removed:" <> showJSONValue v

151 describeIssue Backward (EnumDoesntSatisfy v) = para "The following enum value was added:" <> showJSONValue v

152 describeIssue Backward (EnumDoesntSatisfy v) = para "The following enum value was added:" <> showJSONValue v

152 describeIssue Forward (NoMatchingEnum v) = para "The following enum value has been added:" <> showJSONValue v

153 describeIssue Forward (NoMatchingEnum v) = para "The following enum value has been added:" <> showJSONValue v

@@ -254,14 +255,15 @@ instance Issuable 'SchemaLevel where

254 PropertyToAdditional -> Comment

255 PropertyToAdditional -> Comment

255 TypesRestricted _ -> ProbablyIssue -- TODO: #70

256 TypesRestricted _ -> ProbablyIssue -- TODO: #70

256 _ -> CertainIssue

257 _ -> CertainIssue

257− relatedIssues = (==) `withClass` \case

258+ relatedIssues =

259+ (==) `withClass` \case

258 AdditionalToProperty -> Just ()

260 AdditionalToProperty -> Just ()

259 PropertyToAdditional -> Just ()

261 PropertyToAdditional -> Just ()

260 _ -> Nothing

262 _ -> Nothing

261− `withClass` \case

263+ `withClass` \case

262− PropertyNowRequired -> Just ()

264+ PropertyNowRequired -> Just ()

263− UnexpectedProperty -> Just ()

265+ UnexpectedProperty -> Just ()

264− _ -> Nothing

266+ _ -> Nothing

265 describeIssue _ (NotSupported i) =

267 describeIssue _ (NotSupported i) =

266 para (emph "Encountered a feature that CompaREST does not support: " <> text i <> ".")

268 para (emph "Encountered a feature that CompaREST does not support: " <> text i <> ".")

267 describeIssue _ OneOfNotDisjoint =

269 describeIssue _ OneOfNotDisjoint =

src/Data/OpenApi/Compare/Validate/Schema/JsonFormula.hs+50−43

@@ -1,18 +1,18 @@

1module Data.OpenApi.Compare.Validate.Schema.JsonFormula

2− ( Bound (..)

2+ ( Bound (..),

3− , showBound

3+ showBound,

4− , Property (..)

4+ Property (..),

5− , Condition (..)

5+ Condition (..),

6− , showCondition

6+ showCondition,

7− , satisfiesTyped

7+ satisfiesTyped,

8− , checkStringFormat

8+ checkStringFormat,

9− , checkNumberFormat

9+ checkNumberFormat,

10− , SomeCondition (..)

10+ SomeCondition (..),

11− , JsonFormula (..)

11+ JsonFormula (..),

12− , satisfiesFormula

12+ satisfiesFormula,

13− , satisfies

13+ satisfies,

14− , showJSONValue

14+ showJSONValue,

15− , showJSONValueInline

15+ showJSONValueInline,

16 )

17where

18

@@ -20,8 +20,8 @@ import Algebra.Lattice

20import qualified Data.Aeson as A

21import qualified Data.ByteString.Lazy as BSL

22import qualified Data.Foldable as F

23−import qualified Data.HashMap.Strict as HM

24import Data.Functor

23import Data.Functor

24+import qualified Data.HashMap.Strict as HM

25import Data.Int

26import Data.Kind

27import qualified Data.Map as M

@@ -67,30 +67,33 @@ data Property = Property

67data Condition :: JsonType -> Type where

68 Exactly :: TypedValue t -> Condition t

69 Maximum :: !(Bound Scientific) -> Condition 'Number

70− Minimum

70+ Minimum ::

71− :: !(Down (Bound (Down Scientific)))

71+ !(Down (Bound (Down Scientific))) ->

72− -> Condition 'Number -- ^ this has the right Ord

72+ -- | this has the right Ord

73+ Condition 'Number

73 MultipleOf :: !Scientific -> Condition 'Number

74 MultipleOf :: !Scientific -> Condition 'Number

74 NumberFormat :: !Format -> Condition 'Number

75 NumberFormat :: !Format -> Condition 'Number

75 MaxLength :: !Integer -> Condition 'String

76 MaxLength :: !Integer -> Condition 'String

76 MinLength :: !Integer -> Condition 'String

77 MinLength :: !Integer -> Condition 'String

77 Pattern :: !Pattern -> Condition 'String

78 Pattern :: !Pattern -> Condition 'String

78 StringFormat :: !Format -> Condition 'String

79 StringFormat :: !Format -> Condition 'String

79− Items

80+ Items ::

80− :: !(ForeachType JsonFormula)

81+ !(ForeachType JsonFormula) ->

81− -> !(Traced (Referenced Schema))

82+ !(Traced (Referenced Schema)) ->

82− -> Condition 'Array

83+ Condition 'Array

83− TupleItems

84+ TupleItems ::

84− :: ![(ForeachType JsonFormula, Traced (Referenced Schema))]

85+ ![(ForeachType JsonFormula, Traced (Referenced Schema))] ->

85− -> Condition 'Array

86+ Condition 'Array

86 MaxItems :: !Integer -> Condition 'Array

87 MaxItems :: !Integer -> Condition 'Array

87 MinItems :: !Integer -> Condition 'Array

88 MinItems :: !Integer -> Condition 'Array

88 UniqueItems :: Condition 'Array

89 UniqueItems :: Condition 'Array

89− Properties

90+ Properties ::

90− :: !(M.Map Text Property)

91+ !(M.Map Text Property) ->

92+ -- | formula for additional properties

91− -> !(ForeachType JsonFormula) -- ^ formula for additional properties

93+ !(ForeachType JsonFormula) ->

92− -> !(Maybe (Traced (Referenced Schema))) -- ^ schema for additional properties, Nothing means bottom

94+ -- | schema for additional properties, Nothing means bottom

95+ !(Maybe (Traced (Referenced Schema))) ->

93− -> Condition 'Object

96+ Condition 'Object

94 MaxProperties :: !Integer -> Condition 'Object

97 MaxProperties :: !Integer -> Condition 'Object

95 MinProperties :: !Integer -> Condition 'Object

98 MinProperties :: !Integer -> Condition 'Object

96

99

@@ -118,13 +121,15 @@ showCondition = \case

118 UniqueItems -> para "The elements in the array should be unique."

121 UniqueItems -> para "The elements in the array should be unique."

119 (Properties props additional _) ->

122 (Properties props additional _) ->

120 bulletList $

123 bulletList $

121− (M.toList props

124+ ( M.toList props

122− <&> (\(k, p) ->

125+ <&> ( \(k, p) ->

123− para (code k)

126+ para (code k)

124− <> para (strong $ if propRequired p then "Required" else "Optional")

127+ <> para (strong $ if propRequired p then "Required" else "Optional")

125− <> showForEachJsonFormula (propFormula p)))

128+ <> showForEachJsonFormula (propFormula p)

129+ )

130+ )

126 <> [ para (emph "Additional properties")

131 <> [ para (emph "Additional properties")

127− <> showForEachJsonFormula additional

132+ <> showForEachJsonFormula additional

128 ]

133 ]

129 (MaxProperties n) -> para $ "The maximum number of fields should be " <> show' n <> "."

134 (MaxProperties n) -> para $ "The maximum number of fields should be " <> show' n <> "."

130 (MinProperties n) -> para $ "The minimum number of fields should be " <> show' n <> "."

135 (MinProperties n) -> para $ "The minimum number of fields should be " <> show' n <> "."

@@ -133,15 +138,17 @@ showCondition = \case

133 showForEachJsonFormula i =

138 showForEachJsonFormula i =

134 bulletList $

139 bulletList $

135 foldType

140 foldType

136− (\t f -> case getJsonFormula $ f i of

141+ ( \t f -> case getJsonFormula $ f i of

137− BottomDNF -> mempty

142+ BottomDNF -> mempty

138− (DNF conds) ->

143+ (DNF conds) ->

139 [ para (describeJSONType t)

144 [ para (describeJSONType t)

140 <> bulletList

145 <> bulletList

141− (S.toList conds <&> \case

146+ ( S.toList conds <&> \case

142− Disjunct (S.toList -> []) -> para "Empty"

147+ Disjunct (S.toList -> []) -> para "Empty"

143− Disjunct (S.toList -> cond) -> bulletList (showCondition <$> cond))

148+ Disjunct (S.toList -> cond) -> bulletList (showCondition <$> cond)

149+ )

144− ])

150+ ]

151+ )

145

152

146showJSONValue :: A.Value -> Blocks

153showJSONValue :: A.Value -> Blocks

147showJSONValue v = codeBlockWith ("", ["json"], mempty) (T.decodeUtf8 . BSL.toStrict . A.encode $ v)

154showJSONValue v = codeBlockWith ("", ["json"], mempty) (T.decodeUtf8 . BSL.toStrict . A.encode $ v)

src/Data/OpenApi/Compare/Validate/Schema/Partition.hs+30−29

@@ -1,15 +1,15 @@

1module Data.OpenApi.Compare.Validate.Schema.Partition

2− ( partitionSchema

2+ ( partitionSchema,

3− , partitionRefSchema

3+ partitionRefSchema,

4− , selectPartition

4+ selectPartition,

5− , runPartitionM

5+ runPartitionM,

6− , tryPartition

6+ tryPartition,

7− , showPartition

7+ showPartition,

8− , intersectSchema

8+ intersectSchema,

9− , intersectRefSchema

9+ intersectRefSchema,

10− , IntersectionResult (..)

10+ IntersectionResult (..),

11− , runIntersectionM

11+ runIntersectionM,

12− , Partition

12+ Partition,

13 )

14where

15

@@ -143,10 +143,11 @@ partitionCondition = \case

143 Just _ -> top

144 Nothing ->

145 singletonPart $

146− DByProperties $ LiteralDNF

146+ DByProperties $

147+ LiteralDNF

147− ( M.keysSet $ M.filter (not . propRequired) props

148+ ( M.keysSet $ M.filter (not . propRequired) props

148− , M.keysSet $ M.filter propRequired props

149+ , M.keysSet $ M.filter propRequired props

149− )

150+ )

150 inProps <- forM (M.toList $ M.filter propRequired props) $ \(k, prop) -> do

151 inProps <- forM (M.toList $ M.filter propRequired props) $ \(k, prop) -> do

151 f <- partitionRefSchema $ propRefSchema prop

152 f <- partitionRefSchema $ propRefSchema prop

152 pure $ fmap (\(Partitions m) -> Partitions $ M.mapKeysMonotonic (PInProperty k) m) f

153 pure $ fmap (\(Partitions m) -> Partitions $ M.mapKeysMonotonic (PInProperty k) m) f

@@ -156,10 +157,10 @@ partitionCondition = \case

156runPartitionM :: Traced (Definitions Schema) -> PartitionM a -> a

157runPartitionM :: Traced (Definitions Schema) -> PartitionM a -> a

157runPartitionM defs = runIdentity . runMemo () . (`runReaderT` defs)

158runPartitionM defs = runIdentity . runMemo () . (`runReaderT` defs)

158

159

159−partitionJsonFormulas

160+partitionJsonFormulas ::

160− :: ProdCons (Traced (Definitions Schema))

161+ ProdCons (Traced (Definitions Schema)) ->

161− -> ProdCons (JsonFormula t)

162+ ProdCons (JsonFormula t) ->

162− -> Lifted Partitions

163+ Lifted Partitions

163partitionJsonFormulas defs pc = producer pcPart \/ consumer pcPart

164partitionJsonFormulas defs pc = producer pcPart \/ consumer pcPart

164 where

165 where

165 pcPart = partitionFormula <$> defs <*> pc

166 pcPart = partitionFormula <$> defs <*> pc

@@ -211,11 +212,11 @@ runIntersectionM defs act = case runWriterT $ runReaderT act defs of

211 Just (x, Any False) -> Same x

212 Just (x, Any False) -> Same x

212 Just (x, Any True) -> New x

213 Just (x, Any True) -> New x

213

214

214−intersectSchema

215+intersectSchema ::

215− :: PartitionLocation

216+ PartitionLocation ->

216− -> PartitionChoice

217+ PartitionChoice ->

217− -> Traced Schema

218+ Traced Schema ->

218− -> IntersectionM Schema

219+ IntersectionM Schema

219intersectSchema loc part sch = do

220intersectSchema loc part sch = do

220 allOf' <- forM (tracedAllOf sch) $ \rss ->

221 allOf' <- forM (tracedAllOf sch) $ \rss ->

221 -- Assuming i ranges over a nonempty set (checked in processSchema)

222 -- Assuming i ranges over a nonempty set (checked in processSchema)

@@ -258,11 +259,11 @@ intersectSchema loc part sch = do

258 pure $ sch' {_schemaEnum = Just enum'}

259 pure $ sch' {_schemaEnum = Just enum'}

259 CByProperties {} -> error "CByProperties not implemented"

260 CByProperties {} -> error "CByProperties not implemented"

260

261

261−intersectRefSchema

262+intersectRefSchema ::

262− :: PartitionLocation

263+ PartitionLocation ->

263− -> PartitionChoice

264+ PartitionChoice ->

264− -> Traced (Referenced Schema)

265+ Traced (Referenced Schema) ->

265− -> IntersectionM (Referenced Schema)

266+ IntersectionM (Referenced Schema)

266intersectRefSchema loc part rs = do

267intersectRefSchema loc part rs = do

267 defs <- R.ask

268 defs <- R.ask

268 Inline <$> intersectSchema loc part (dereference defs rs)

269 Inline <$> intersectSchema loc part (dereference defs rs)

src/Data/OpenApi/Compare/Validate/Schema/Process.hs+35−34

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

1module Data.OpenApi.Compare.Validate.Schema.Process

2− ( schemaToFormula

2+ ( schemaToFormula,

3 )

4where

5

6import Algebra.Lattice

7−import qualified Control.Monad.Reader as R

8import Control.Monad.Reader hiding (ask)

7import Control.Monad.Reader hiding (ask)

8+import qualified Control.Monad.Reader as R

9import Control.Monad.State

10import Control.Monad.Writer

11import qualified Data.Aeson as A

@@ -71,10 +71,10 @@ warnKnot =

71 , tieKnot = \_ -> pure

72 }

73

74−processRefSchema

74+processRefSchema ::

75− :: MonadProcess m

75+ MonadProcess m =>

76− => Traced (Referenced Schema)

76+ Traced (Referenced Schema) ->

77− -> m (ForeachType JsonFormula)

77+ m (ForeachType JsonFormula)

78processRefSchema x = do

79 defs <- R.ask

80 memoWithKnot warnKnot (processSchema $ dereference defs x) (ask x)

@@ -82,10 +82,10 @@ processRefSchema x = do

82-- | Turn a schema into a tuple of 'JsonFormula's that describes the condition

83-- for every possible type of a JSON value. The conditions are independent, and

84-- are thus checked independently.

85−processSchema

85+processSchema ::

86− :: MonadProcess m

86+ MonadProcess m =>

87− => Traced Schema

87+ Traced Schema ->

88− -> m (ForeachType JsonFormula)

88+ m (ForeachType JsonFormula)

89processSchema sch@(extract -> Schema {..}) = do

90 let singletonFormula :: Condition t -> JsonFormula t

91 singletonFormula = JsonFormula . LiteralDNF

@@ -331,26 +331,27 @@ processSchema sch@(extract -> Schema {..}) = do

331 pure $

332 nullableClause

333 \/ meets

334− (allClauses

334+ ( allClauses

335− <> [ anyClause

335+ <> [ anyClause

336− , oneClause

336+ , oneClause

337− , typeClause

337+ , typeClause

338− , enumClause

338+ , enumClause

339− , maximumClause

339+ , maximumClause

340− , minimumClause

340+ , minimumClause

341− , multipleOfClause

341+ , multipleOfClause

342− , formatClause

342+ , formatClause

343− , maxLengthClause

343+ , maxLengthClause

344− , minLengthClause

344+ , minLengthClause

345− , patternClause

345+ , patternClause

346− , itemsClause

346+ , itemsClause

347− , maxItemsClause

347+ , maxItemsClause

348− , minItemsClause

348+ , minItemsClause

349− , uniqueItemsClause

349+ , uniqueItemsClause

350− , propertiesClause

350+ , propertiesClause

351− , maxPropertiesClause

351+ , maxPropertiesClause

352− , minPropertiesClause

352+ , minPropertiesClause

353− ])

353+ ]

354+ )

354

355

355{- TODO: ReadOnly/WriteOnly #68 -}

356{- TODO: ReadOnly/WriteOnly #68 -}

356

357

@@ -369,8 +370,8 @@ checkOneOfDisjoint schs = do

369runProcessM :: Traced (Definitions Schema) -> ProcessM a -> (a, P.PathsPrefixTree Behave AnIssue 'SchemaLevel)

370runProcessM :: Traced (Definitions Schema) -> ProcessM a -> (a, P.PathsPrefixTree Behave AnIssue 'SchemaLevel)

370runProcessM defs = runWriter . (`runReaderT` defs) . runMemo ()

371runProcessM defs = runWriter . (`runReaderT` defs) . runMemo ()

371

372

372−schemaToFormula

373+schemaToFormula ::

373− :: Traced (Definitions Schema)

374+ Traced (Definitions Schema) ->

374− -> Traced Schema

375+ Traced Schema ->

375− -> (ForeachType JsonFormula, P.PathsPrefixTree Behave AnIssue 'SchemaLevel)

376+ (ForeachType JsonFormula, P.PathsPrefixTree Behave AnIssue 'SchemaLevel)

376schemaToFormula defs rs = runProcessM defs $ processSchema rs

377schemaToFormula defs rs = runProcessM defs $ processSchema rs

src/Data/OpenApi/Compare/Validate/Schema/Traced.hs+12−12

@@ -1,18 +1,18 @@

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.Schema.Traced

4− ( Step (..)

4+ ( Step (..),

5− , tracedAllOf

5+ tracedAllOf,

6− , tracedAnyOf

6+ tracedAnyOf,

7− , tracedOneOf

7+ tracedOneOf,

8− , tracedItems

8+ tracedItems,

9− , tracedAdditionalProperties

9+ tracedAdditionalProperties,

10− , tracedDiscriminator

10+ tracedDiscriminator,

11− , tracedProperties

11+ tracedProperties,

12− , tracedConjunct

12+ tracedConjunct,

13− , PartitionLocation (..)

13+ PartitionLocation (..),

14− , PartitionChoice (..)

14+ PartitionChoice (..),

15− , Partition

15+ Partition,

16 )

17where

18

src/Data/OpenApi/Compare/Validate/Schema/TypedJson.hs+25−23

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

1module Data.OpenApi.Compare.Validate.Schema.TypedJson

2− ( JsonType (..)

2+ ( JsonType (..),

3− , describeJSONType

3+ describeJSONType,

4− , TypedValue (..)

4+ TypedValue (..),

5− , untypeValue

5+ untypeValue,

6− , ForeachType (..)

6+ ForeachType (..),

7− , foldType

7+ foldType,

8− , forType_

8+ forType_,

9 )

10where

11

@@ -88,24 +88,26 @@ forType_ :: Applicative m => (forall x. Typeable x => JsonType -> (ForeachType f

88forType_ k = getAp $ foldType (\ty proj -> Ap $ k ty proj)

89

90broadcastType :: (forall x. Typeable x => f x) -> ForeachType f

91−broadcastType k = ForeachType

91+broadcastType k =

92+ ForeachType

92− { forNull = k

93+ { forNull = k

93− , forBoolean = k

94+ , forBoolean = k

94− , forNumber = k

95+ , forNumber = k

95− , forString = k

96+ , forString = k

96− , forArray = k

97+ , forArray = k

97− , forObject = k

98+ , forObject = k

98− }

99+ }

99

100

100zipType :: (forall x. Typeable x => f x -> g x -> h x) -> ForeachType f -> ForeachType g -> ForeachType h

101zipType :: (forall x. Typeable x => f x -> g x -> h x) -> ForeachType f -> ForeachType g -> ForeachType h

101−zipType k f1 f2 = ForeachType

102+zipType k f1 f2 =

103+ ForeachType

102− { forNull = k (forNull f1) (forNull f2)

104+ { forNull = k (forNull f1) (forNull f2)

103− , forBoolean = k (forBoolean f1) (forBoolean f2)

105+ , forBoolean = k (forBoolean f1) (forBoolean f2)

104− , forNumber = k (forNumber f1) (forNumber f2)

106+ , forNumber = k (forNumber f1) (forNumber f2)

105− , forString = k (forString f1) (forString f2)

107+ , forString = k (forString f1) (forString f2)

106− , forArray = k (forArray f1) (forArray f2)

108+ , forArray = k (forArray f1) (forArray f2)

107− , forObject = k (forObject f1) (forObject f2)

109+ , forObject = k (forObject f1) (forObject f2)

108− }

110+ }

109

111

110instance (forall x. Lattice (f x)) => Lattice (ForeachType f) where

112instance (forall x. Lattice (f x)) => Lattice (ForeachType f) where

111 (\/) = zipType (\/)

113 (\/) = zipType (\/)

src/Data/OpenApi/Compare/Validate/SecurityRequirement.hs+9−8

@@ -2,7 +2,7 @@

2{-# OPTIONS_GHC -Wno-orphans #-}

3

4module Data.OpenApi.Compare.Validate.SecurityRequirement

5− ( Issue (..)

5+ ( Issue (..),

6 )

7where

8

@@ -41,18 +41,19 @@ instance Subtree SecurityRequirement where

41 for (IOHM.toList $ getSecurityRequirement sec) $ \(key, scopes) ->

42 (,scopes) <$> lookupScheme key defs

43 structuralMaybeWith

44− (\pc' -> do

44+ ( \pc' -> do

45− let ProdCons pScopes cScopes = fmap snd <$> pc'

45+ let ProdCons pScopes cScopes = fmap snd <$> pc'

46− unless (pScopes == cScopes) structuralIssue

46+ unless (pScopes == cScopes) structuralIssue

47− structuralList env $ fmap fst <$> pc'

47+ structuralList env $ fmap fst <$> pc'

48− pure ())

48+ pure ()

49+ )

49 normalized

50 normalized

50 pure ()

51 pure ()

51 checkSemanticCompatibility env bhv' pc = do

52 checkSemanticCompatibility env bhv' pc = do

52 let schemes = getH @(ProdCons (Traced (Definitions SecurityScheme))) env

53 let schemes = getH @(ProdCons (Traced (Definitions SecurityScheme))) env

53 ( ProdCons pErrs cErrs

54 ( ProdCons pErrs cErrs

54− , (ProdCons pSchemes cSchemes)

55+ , (ProdCons pSchemes cSchemes) ::

55− :: ProdCons [(Behavior 'SecuritySchemeLevel, Traced SecurityScheme, [Text])]

56+ ProdCons [(Behavior 'SecuritySchemeLevel, Traced SecurityScheme, [Text])]

56 ) =

57 ) =

57 NE.unzip $

58 NE.unzip $

58 partitionEithers <$> do

59 partitionEithers <$> do

src/Data/OpenApi/Compare/Validate/Server.hs+10−9

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

1{-# OPTIONS_GHC -Wno-orphans #-}

2

3module Data.OpenApi.Compare.Validate.Server

4− ( Issue (..)

4+ ( Issue (..),

5 )

6where

7

@@ -31,9 +31,9 @@ import Data.Traversable

31import Text.Pandoc.Builder

32import Prelude as P

33

34−tracedParsedServerUrlParts

34+tracedParsedServerUrlParts ::

35− :: Server

35+ Server ->

36− -> Either (Issue 'ServerLevel) ProcessedServer

36+ Either (Issue 'ServerLevel) ProcessedServer

37tracedParsedServerUrlParts s =

38 let parsedUrl = parseServerUrl $ _serverUrl s

39 lookupVar var = case IOHM.lookup var (_serverVariables s) of

@@ -63,11 +63,12 @@ instance Subtree [Server] where

63 pcServer

64 <&> partitionEithers

65 . fmap

66− (\(Traced t s) ->

66+ ( \(Traced t s) ->

67− let bhv = beh >>> step (InServer $ _serverUrl s)

67+ let bhv = beh >>> step (InServer $ _serverUrl s)

68− in case tracedParsedServerUrlParts s of

68+ in case tracedParsedServerUrlParts s of

69− Left e -> Left $ issueAt bhv e

69+ Left e -> Left $ issueAt bhv e

70− Right u -> Right (bhv, Traced (t >>> step (ServerStep $ _serverUrl s)) u))

70+ Right u -> Right (bhv, Traced (t >>> step (ServerStep $ _serverUrl s)) u)

71+ )

71 . sequence

72 . sequence

72 sequenceA_ pErrs

73 sequenceA_ pErrs

73 sequenceA_ cErrs

74 sequenceA_ cErrs

src/Data/OpenApi/Compare/Validate/Sums.hs+12−11

@@ -1,24 +1,25 @@

1module Data.OpenApi.Compare.Validate.Sums

2− ( checkSums

2+ ( checkSums,

3+ )

3− ) where

4+where

4

5

5import Data.Foldable

6import Data.Foldable

6import Data.Map.Strict (Map)

7import Data.Map.Strict (Map)

7import qualified Data.Map.Strict as M

8import qualified Data.Map.Strict as M

8import Data.OpenApi.Compare.Behavior

9import Data.OpenApi.Compare.Behavior

9−import Data.OpenApi.Compare.Subtree

10import Data.OpenApi.Compare.Paths

11+import Data.OpenApi.Compare.Subtree

11

12

12−checkSums

13+checkSums ::

13− :: (Ord k, Issuable l)

14+ (Ord k, Issuable l) =>

14− => Paths q r l

15+ Paths q r l ->

15− -> (k -> Issue l)

16+ (k -> Issue l) ->

16− -> (k -> ProdCons t -> CompatFormula' q AnIssue r ())

17+ (k -> ProdCons t -> CompatFormula' q AnIssue r ()) ->

17− -> ProdCons (Map k t)

18+ ProdCons (Map k t) ->

18− -> CompatFormula' q AnIssue r ()

19+ CompatFormula' q AnIssue r ()

19checkSums xs noElt check (ProdCons p c) = for_ (M.toList p) $ \(key, prodElt) ->

20checkSums xs noElt check (ProdCons p c) = for_ (M.toList p) $ \(key, prodElt) ->

20 case M.lookup key c of

21 case M.lookup key c of

21 Nothing -> issueAt xs $ noElt key

22 Nothing -> issueAt xs $ noElt key

22 Just consElt ->

23 Just consElt ->

23 let sumElts = ProdCons prodElt consElt

24 let sumElts = ProdCons prodElt consElt

24− in check key sumElts

25+ in check key sumElts

src/Data/OpenUnion/Extra.hs+5−5

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

1module Data.OpenUnion.Extra

2− ( (@@>)

2+ ( (@@>),

3− , TryLiftUnion (..)

3+ TryLiftUnion (..),

4− , pattern SingletonUnion

4+ pattern SingletonUnion,

5 )

6where

7

@@ -18,8 +18,8 @@ instance TryLiftUnion '[] where

18 tryLiftUnion _ = empty

19

20instance

21− (Typeable y, SubList ys (y : ys), TryLiftUnion ys)

21+ (Typeable y, SubList ys (y : ys), TryLiftUnion ys) =>

22− => TryLiftUnion (y ': ys)

22+ TryLiftUnion (y ': ys)

23 where

24 tryLiftUnion (x :: x) = case eqT @x @y of

25 Nothing -> reUnion <$> tryLiftUnion @ys x

stack.yaml+4−4

@@ -1,4 +1,7 @@

1−resolver: lts-18.4

1+resolver: lts-18.16

2+

3+packages:

4+ - .

2

5

3extra-deps:

6extra-deps:

4 - open-union-0.4.0.0

7 - open-union-0.4.0.0

@@ -6,6 +9,3 @@ extra-deps:

6 - github-0.26

9 - github-0.26

7 - base16-bytestring-0.1.1.7

10 - base16-bytestring-0.1.1.7

8 - http-link-header-1.0.3.1

11 - http-link-header-1.0.3.1

9−

10−apply-ghc-options: everything

11−rebuild-ghc-options: true

stack.yaml.lock+4−4

@@ -41,7 +41,7 @@ packages:

41 hackage: http-link-header-1.0.3.1

42snapshots:

43- completed:

44− size: 585817

44+ size: 586286

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

45+ url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml

46− sha256: ea3a318eafa9e9cc56bfbe46099fd0d54d32641ab7bbe1d182ed8f5de39f804c

46+ sha256: cdead65fca0323144b346c94286186f4969bf85594d649c49c7557295675d8a5

47− original: lts-18.4

47+ original: lts-18.16

test/Spec/Golden/Extra.hs+46−42

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

1module Spec.Golden.Extra

2− ( getGoldenInputs

2+ ( getGoldenInputs,

3− , getGoldenInputsUniform

3+ getGoldenInputsUniform,

4− , goldenInputsTree

4+ goldenInputsTree,

5− , goldenInputsTreeUniform

5+ goldenInputsTreeUniform,

6 )

7where

8

@@ -19,12 +19,12 @@ data TestInput t

19 | TestInputLeaf TestName t FilePath

20 deriving stock (Functor)

21

22−getGoldenInputs

22+getGoldenInputs ::

23− :: (Each s t (FilePath, FilePath -> IO a) a)

23+ (Each s t (FilePath, FilePath -> IO a) a) =>

24− => TestName

24+ TestName ->

25− -> FilePath

25+ FilePath ->

26− -> s

26+ s ->

27− -> IO (TestInput t)

27+ IO (TestInput t)

28getGoldenInputs name filepath inp = do

29 dirs' <- listDirectory filepath >>= filterM (doesDirectoryExist . (filepath </>))

30 case dirs' of

@@ -39,32 +39,34 @@ getGoldenInputs name filepath inp = do

39 TestInputNode name

40 <$> forM dirs (\dir -> getGoldenInputs dir (filepath </> dir) inp)

41

42−getGoldenInputsUniform

42+getGoldenInputsUniform ::

43− :: (Each t h (FilePath, FilePath -> IO a) a)

43+ (Each t h (FilePath, FilePath -> IO a) a) =>

44− => (Each s t FilePath (FilePath, FilePath -> IO a))

44+ (Each s t FilePath (FilePath, FilePath -> IO a)) =>

45− => TestName

45+ TestName ->

46− -> (FilePath -> IO a)

46+ (FilePath -> IO a) ->

47− -> FilePath

47+ FilePath ->

48− -> s

48+ s ->

49− -> IO (TestInput h)

49+ IO (TestInput h)

50getGoldenInputsUniform name f filepath inp = getGoldenInputs name filepath $ inp & each %~ (,f)

51

52−goldenInputsTree

52+goldenInputsTree ::

53− :: (Each s t (FilePath, FilePath -> IO a) a)

53+ (Each s t (FilePath, FilePath -> IO a) a) =>

54− => TestName

54+ TestName ->

55− -> FilePath -- ^ Root path

55+ -- | Root path

56+ FilePath ->

56− -> FilePath -- ^ Name of golden file

57+ -- | Name of golden file

57− -> s

58+ FilePath ->

59+ s ->

58− -> (t -> IO BSL.ByteString)

60+ (t -> IO BSL.ByteString) ->

59− -> IO TestTree

61+ IO TestTree

60goldenInputsTree name filepath golden inp f = do

62goldenInputsTree name filepath golden inp f = do

61 runTestInputTree golden f <$> getGoldenInputs name filepath inp

63 runTestInputTree golden f <$> getGoldenInputs name filepath inp

62

64

63−runTestInputTree

65+runTestInputTree ::

64− :: FilePath

66+ FilePath ->

65− -> (t -> IO BSL.ByteString)

67+ (t -> IO BSL.ByteString) ->

66− -> TestInput t

68+ TestInput t ->

67− -> TestTree

69+ TestTree

68runTestInputTree golden f (TestInputNode name rest) =

70runTestInputTree golden f (TestInputNode name rest) =

69 testGroup name (runTestInputTree golden f <$> rest)

71 testGroup name (runTestInputTree golden f <$> rest)

70runTestInputTree golden f (TestInputLeaf name t path) =

72runTestInputTree golden f (TestInputLeaf name t path) =

@@ -74,16 +76,18 @@ runTestInputTree golden f (TestInputLeaf name t path) =

74 (path </> golden)

76 (path </> golden)

75 (f t)

77 (f t)

76

78

77−goldenInputsTreeUniform

79+goldenInputsTreeUniform ::

78− :: ( Each t h (FilePath, FilePath -> IO a) a

80+ ( Each t h (FilePath, FilePath -> IO a) a

79− , Each s t FilePath (FilePath, FilePath -> IO a)

81+ , Each s t FilePath (FilePath, FilePath -> IO a)

80− )

82+ ) =>

81− => String

83+ String ->

82− -> FilePath -- ^ Root path

84+ -- | Root path

85+ FilePath ->

83− -> FilePath -- ^ Name of golden file

86+ -- | Name of golden file

84− -> s

87+ FilePath ->

88+ s ->

85− -> (FilePath -> IO a)

89+ (FilePath -> IO a) ->

86− -> (h -> IO BSL.ByteString)

90+ (h -> IO BSL.ByteString) ->

87− -> IO TestTree

91+ IO TestTree

88goldenInputsTreeUniform name filepath golden inp h =

92goldenInputsTreeUniform name filepath golden inp h =

89 goldenInputsTree name filepath golden (inp & each %~ (,h))

93 goldenInputsTree name filepath golden (inp & each %~ (,h))

test/Spec/Golden/TraceTree.hs+4−2

@@ -12,6 +12,7 @@ import Data.OpenApi.Compare.Validate.OpenApi ()

12import Data.Text (Text)

13import qualified Data.Text.Encoding as T

14import qualified Data.Yaml as Yaml

15+import Paths_compaREST

15import Spec.Golden.Extra

16import Spec.Golden.Extra

16import Test.Tasty (TestTree, testGroup)

17import Test.Tasty (TestTree, testGroup)

17import Text.Pandoc.Builder

18import Text.Pandoc.Builder

@@ -22,10 +23,11 @@ import Prelude hiding (id, (.))

22

23

23tests :: IO TestTree

24tests :: IO TestTree

24tests = do

25tests = do

26+ dir <- getDataDir

25 traceTreeTests <-

27 traceTreeTests <-

26 goldenInputsTreeUniform

28 goldenInputsTreeUniform

27 "TraceTree"

29 "TraceTree"

28− "test/golden/common"

30+ dir

29 "trace-tree.yaml"

31 "trace-tree.yaml"

30 ("a.yaml", "b.yaml")

32 ("a.yaml", "b.yaml")

31 Yaml.decodeFileThrow

33 Yaml.decodeFileThrow

@@ -34,7 +36,7 @@ tests = do

34 reportTests <-

36 reportTests <-

35 goldenInputsTreeUniform

37 goldenInputsTreeUniform

36 "Report"

38 "Report"

37− "test/golden/common"

39+ dir

38 "report.md"

40 "report.md"

39 ("a.yaml", "b.yaml")

41 ("a.yaml", "b.yaml")

40 Yaml.decodeFileThrow

42 Yaml.decodeFileThrow

test/golden/common/bad-oneof-unchanged/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes | [❓ Unsupported feature changes](#unsupported-changes) |

4−|--------------------|-------------------------|-------------------------------------------------------|

4+|---------------------|-------------------------|--------------------------------------------------------|

5−| 0 | 0 | 2 |

5+| 0 | 0 | 2 |

6

7# ❓ Unsupported feature changes

8

test/golden/common/enum-added/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/enum-anyof/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/id/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/json/recursive/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/maximum-lowered/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/parameters/allowEmptyValue/reset/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/parameters/allowEmptyValue/set/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/parameters/change/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/parameters/required/false/add/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/pathItem/operation/parameters/required/false/del/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/pathItem/operation/parameters/required/reset/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/parameters/required/set/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/parameters/required/true/add/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/parameters/required/true/del/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/requestBody/mediaTypeObject/add/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/requestBody/mediaTypeObject/change/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/requestBody/mediaTypeObject/del/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/requestBody/required/reset/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/requestBody/required/set/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/responses/add/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/responses/change/headers/mandatory/add/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/responses/change/headers/mandatory/del/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/responses/change/headers/optional/add/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/pathItem/operation/responses/change/headers/optional/del/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/pathItem/operation/responses/change/mediaTypeObject/add/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 1 | 0 |

5+| 1 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/responses/change/mediaTypeObject/change/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/pathItem/operation/responses/change/mediaTypeObject/del/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/pathItem/operation/responses/del/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|--------------------|--------------------------------------------------|

4+|---------------------|--------------------------------------------------|

5−| 0 | 1 |

5+| 0 | 1 |

6

7# ⚠️ Non-breaking changes

8

test/golden/common/property-removed-additional/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 3 | 3 |

5+| 3 | 3 |

6

7# ❌ Breaking changes

8

test/golden/common/property-removed/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 2 | 0 |

5+| 2 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/property-required/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/random-example/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 5 | 6 |

5+| 5 | 6 |

6

7# ❌ Breaking changes

8

test/golden/common/recursive/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/security-scheme/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 2 | 1 |

5+| 2 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/servers/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 3 | 1 |

5+| 3 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/tuple-items/heterogeneous-component-mismatch/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 2 | 2 |

5+| 2 | 2 |

6

7# ❌ Breaking changes

8

test/golden/common/tuple-items/heterogeneous-length-mismatch/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | ⚠️ Non-breaking changes |

4−|-----------------------------------------|-------------------------|

4+|------------------------------------------|-------------------------|

5−| 2 | 0 |

5+| 2 | 0 |

6

7# ❌ Breaking changes

8

test/golden/common/tuple-items/homogeneous-component-mismatch/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 4 | 2 |

5+| 4 | 2 |

6

7# ❌ Breaking changes

8

test/golden/common/tuple-items/homogeneous-length-mismatch/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 5 | 5 |

5+| 5 | 5 |

6

7# ❌ Breaking changes

8

test/golden/common/tuple-items/homogeneous-vector/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes |

4−|--------------------|-------------------------|

4+|---------------------|-------------------------|

5−| 0 | 0 |

5+| 0 | 0 |

test/golden/common/type-changing/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 6 | 6 |

5+| 6 | 6 |

6

7# ❌ Breaking changes

8

test/golden/common/unguarded-recursive/report.md+2−2

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

1# Summary

2

3| ❌ Breaking changes | ⚠️ Non-breaking changes | [❓ Unsupported feature changes](#unsupported-changes) |

4−|--------------------|-------------------------|-------------------------------------------------------|

4+|---------------------|-------------------------|--------------------------------------------------------|

5−| 0 | 0 | 1 |

5+| 0 | 0 | 1 |

6

7# ❓ Unsupported feature changes

8

test/golden/common/variant-added/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 1 | 1 |

5+| 1 | 1 |

6

7# ❌ Breaking changes

8

test/golden/common/variant-changed/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 2 | 2 |

5+| 2 | 2 |

6

7# ❌ Breaking changes

8

test/golden/common/variant-deep-changed/report.md+2−2

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

1# Summary

2

3| [❌ Breaking changes](#breaking-changes) | [⚠️ Non-breaking changes](#non-breaking-changes) |

4−|-----------------------------------------|--------------------------------------------------|

4+|------------------------------------------|--------------------------------------------------|

5−| 2 | 2 |

5+| 2 | 2 |

6

7# ❌ Breaking changes

8