type-errors: Tools for writing better type errors
Downloads
- type-errors-0.2.0.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.2.0.0, 0.2.0.1, 0.2.0.2 |
|---|---|
| Change log | ChangeLog.md |
| Dependencies | base (>=4.9 && <5), first-class-families (>=0.5.0.0), syb, template-haskell, th-abstraction [details] |
| Tested with | ghc ==9.6.1, ghc ==9.4.4, ghc ==9.2.7, ghc ==9.0.2, ghc ==8.10.7, ghc ==8.8.4, ghc ==8.6.5, ghc ==8.4.4, ghc ==8.2.2, ghc ==8.0.2 |
| License | BSD-3-Clause |
| Copyright | 2019 Sandy Maguire |
| Author | Sandy Maguire |
| Maintainer | sandy@sandymaguire.me |
| Revised | Revision 1 made by AndreasAbel at 2023-04-09T06:57:00Z |
| Category | Type |
| Home page | https://github.com/isovector/type-errors#readme |
| Bug tracker | https://github.com/isovector/type-errors/issues |
| Source repo | head: git clone https://github.com/isovector/type-errors |
| Uploaded | by isovector at 2023-04-08T16:53:34Z |
| Distributions | Arch:0.2.0.2, Debian:0.2.0.0, LTSHaskell:0.2.0.2, NixOS:0.2.0.2, Stackage:0.2.0.2 |
| Reverse Dependencies | 6 direct, 104 indirect [details] |
| Downloads | 7809 total (74 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] All reported builds failed as of 2023-04-08 [all 1 reports] |
Readme for type-errors-0.2.0.2
[back to package description]type-errors
Dedication
View the gradients of adversity as the colors that paint your story, and the power of experience as what makes you a great teacher, creator, philosopher, entrepreneur, artist, and human. Everything works out eventually.
Jennifer Sodini
Overview
type-errors is a collection of tools for writing better, more ergonomic, type
errors. Some of the more interesting features are the ability to observe
stuckedness and phantomness, as well as perform substitutions over types.
For more information, check out the haddock documentation.
Acknowledgments
This project wouldn't be possible without the help of two amazing people: