coerce-with-substitution: Coercions with improved type inference
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
This package defines aliases of Data.Coerce.coerce and
Unsafe.Coerce.unsafeCoerce that accept a type argument containing type
substitutions, creating a relationship between the argument and result
types of the coercion that GHC can use when inferring one type from the
other.
See Data.CoerceSubst for a full introduction to this package.
Properties
| Versions | 0.0.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.7 && <5) [details] |
| License | BSD-3-Clause |
| Copyright | © 2025 Ryan Hendrickson |
| Author | Ryan Hendrickson |
| Maintainer | contact-project+rhendric-haskell-coerce-with-substitution-71023049-issue-@incoming.gitlab.com |
| Category | Development |
| Home page | https://gitlab.com/rhendric/haskell-coerce-with-substitution |
| Bug tracker | https://gitlab.com/rhendric/haskell-coerce-with-substitution/-/issues |
| Source repo | head: git clone https://gitlab.com/rhendric/haskell-coerce-with-substitution.git |
| Uploaded | by rhendric at 2025-06-21T21:01:16Z |
Modules
[Index] [Quick Jump]
- Data
Downloads
- coerce-with-substitution-0.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees