Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Haddock documentation and further types #6322

Merged
merged 1 commit into from
Oct 28, 2023
Merged

Add Haddock documentation and further types #6322

merged 1 commit into from
Oct 28, 2023

Conversation

mpilgrem
Copy link
Member

Renames the ExtraGlobal data constructor of InstalledPackageLocation as ExtraPkgDb.

Provides types PackageDatabase and PackageDbVariety. The former replaces the use of Maybe (InstalledPackageLocation, Path Abs Dir), where Nothing was used to represent the global package database (now there is data constructor GlobalPkgDb). The latter replaces the use of Maybe InstalledPackageLocation, where Nothing was also used to represent the global package database (now there is data constructor GlobalDb).

Also updates and corrects existing Haddock documentation. For example Sink is deprecated as a type synonym.

  • Any changes that could be relevant to users have been recorded in ChangeLog.md.
  • The documentation has been updated, if necessary

Please also shortly describe how you tested your change. Bonus points for added tests! Relying on CI.

Renames the `ExtraGlobal` data constructor of `InstalledPackageLocation` as `ExtraPkgDb`.

Provides types `PackageDatabase` and `PackageDbVariety`. The former replaces the use of `Maybe (InstalledPackageLocation, Path Abs Dir)`, where `Nothing` was used to represent the global package database (now there is data constructor `GlobalPkgDb`). The latter replaces the use of `Maybe InstalledPackageLocation`, where `Nothing` was also used to
represent the global package database (now there is data constructor `GlobalDb`).

Also updates and corrects existing Haddock documentation. For example `Sink` is deprecated as a type synonym.
@mpilgrem mpilgrem merged commit 025d384 into master Oct 28, 2023
13 checks passed
@mpilgrem mpilgrem deleted the add-docs branch October 28, 2023 00:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant