unsatisfiable: Unsatisfiable type class

[ bsd3, library, plugin ] [ Propose Tags ]

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 msgs of wanted Unsatisfiable, and

  • Solves all other constraints if there is given Unsatisfiable

The plugin also works with -fdefer-type-errors.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0
Dependencies base (>=4.15 && <4.16), ghc (>=9.0.1 && <9.1) [details]
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 NixOS:0
Downloads 144 total (11 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]