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

• Solves all other constraints if there is given Unsatisfiable

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

Modules

[Index] [Quick Jump]

Downloads

• unsatisfiable-0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• phadej

For package maintainers and hackage trustees

• edit package information

Candidates

• 0