Display kind signatures and their comments in documentation (#4100 and #4119 by JordanMartinez)
The compiler now displays kind signatures for data, newtype, type
synonym, and type class declarations in generated documentation. The
compiler now also includes documentation-comments (i.e. those which start
with a | character) both above and below the associated kind signature
declaration (if any) in generated documentation, whereas previously
documentation-comments above a kind signature declaration were ignored.
Both explicitly declared and inferred kinds are included in documentation.
The compiler omits including a kind signature in generated documentation
only when the kind is considered "uninteresting". An uninteresting kind is
defined as one where all of the declaration's type parameters have kind
Type.
Display kind signatures and their comments in documentation (#4100 and #4119 by JordanMartinez)
The compiler now displays kind signatures for data, newtype, type
synonym, and type class declarations in generated documentation. The
compiler now also includes documentation-comments (i.e. those which start
with a | character) both above and below the associated kind signature
declaration (if any) in generated documentation, whereas previously
documentation-comments above a kind signature declaration were ignored.
Both explicitly declared and inferred kinds are included in documentation.
The compiler omits including a kind signature in generated documentation
only when the kind is considered "uninteresting". An uninteresting kind is
defined as one where all of the declaration's type parameters have kind
Type.
This version was pushed to npm by jalexm, a new releaser for purescript since your current version.
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
dependabot[bot]
commented
3 years ago
Bumps purescript from 0.13.8 to 0.14.3.
Release notes
Sourced from purescript's releases.
... (truncated)
Changelog
Sourced from purescript's changelog.
... (truncated)
Commits
c1f9cccRefer to binary using local-doc-root workaround (#4139)b4c90a8Prepare for v0.14.3 release (#4128)6b05869Revert "Improve apartness checking (#4064)" (#4129)f195321Improve apartness checking (#4064)4e0eac6RELEASE_GUIDE.md: s/Or alternatively/Alternatively/ (#4123)962d94fDisplay inferred kind signatures in HTML docs (#4119)7f4aea4Remove generated names from errors about instances (#4118)fcf0acbDisplay kind signatures and comments in docs (#4100)df37353Move type class instance name desugaring into type class desugaring pass (#4099)936d8d2Use GenIdent for anonymous instances (#4096)Maintainer changes
This version was pushed to npm by jalexm, a new releaser for purescript since your current version.
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)