unsatisfiable: Unsatisfiable type class
This package provides a
class Unsatisfiable (msg :: TypeError)
and
unsatisfiable :: forall msg a. Unsatisfiable msg => a
combinator.
There is also a plugin which
Pretty-prints
msg
s of wantedUnsatisfiable
, andSolves all other constraints if there is given
Unsatisfiable
The plugin also works with -fdefer-type-errors
.
Downloads
- unsatisfiable-0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0 |
---|---|
Dependencies | base (>=4.15 && <4.16), ghc (>=9.0.1 && <9.1) [details] |
Tested with | ghc ==9.0.1 |
License | BSD-3-Clause |
Author | Oleg Grenrus <oleg.grenrus@iki.fi>, Adam Gundry |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Category | Plugin |
Source repo | head: git clone https://github.com/phadej/unsatisfiable.git |
Uploaded | by phadej at 2021-05-28T21:55:42Z |
Distributions | |
Downloads | 228 total (1 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |