type-errors: Tools for writing better type errors

[ bsd3, library, type ] [ Propose Tags ] [ Report a vulnerability ]

Modules

[Index] [Quick Jump]

Downloads

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

Package maintainers

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 7873 total (60 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

Build Status Hackage

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:

  • kcsongor who came up with the original technology behind this library.
  • Lysxia for articulating the approach to making IfStuck work for things of all kinds, and for helping me with the substitution machinery.