Monadoc

unsatisfiable

Version 0 revision 0 uploaded by phadej.

Package meta

Synopsis
Unsatisfiable type class
Description

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.

Author
Oleg Grenrus <oleg.grenrus@iki.fi>, Adam Gundry
Bug reports
n/a
Category
Plugin
Copyright
n/a
Homepage
n/a
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Package URL
n/a
Stability
n/a

Components